ARINC Specification 653 Based Real-Time Software Engineering

Chapter 2 (JZ) - Specification and Design of Real-Time Software In this chapter, we introduce principles and notations for real-time software development. Concepts of software development methodologies, including methods, techniques and tools for real-time systems are presented. Basic aspects of requirements specification for real-time software are outlined. Notions of a physical diagram and a context diagram are introduced, including the major components of the environment. Two major approaches for software design: structured and object-oriented development are overviewed.

Journal of Computing and Information Technology, 2000

In the paper some experiences of joining two methodologies, which were originally independently developed in different institutions, with the goal to overcome the possible discrepancies due to the separate design of the hardware and the software part of an embedded real-time application are presented.

1999

The Object Oriented community is converging towards a unified development process driven by Use Cases[1], where the Unified Modelling Language (UML)[3] has become the standard analysis and design language.

EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696)

− − − − This paper presents the Java version of the AOCS Framework. The AOCS Framework is an object-oriented software framework for real-time satellite control systems. It provides a set of design patterns, an adaptable architecture, and a set of configurable components that support the instantiation of satellite control applications. It was originally implemented in C++ but has now been ported to Java. The paper advocates the use of framework technology as the best way to promote software reuse in the control systems domain and discusses the precautions that must be taken to use this technology with Java as an implementation language in the presence of real-time constraints. It also presents two examples of instantiations of the AOCS Frameworks with two different Real-Time Java implementations.

1992

This paper presents an introduction to the basic issues involved in real-time systems. Both real-time operating systems and real-time programming languages are explored. Concurrent programming and process sychronization and communication are also discussed. The real-time requirements of the Naval Postgraduate School Autonomous Under Vehicle (AUV) are then examined. !0. D)ISTRIBUTION/AVAILABILITY OF ABSTRACT |21.-ABSTRACT SECURITY CLASSIFICATION [ UNCLASSIFIED/UNLIMITED [] SAME AS RPT. [] DT1C USERS UNCLASSIFIED !2a. NAME OF RESPONSIBLE INDIVIDUAL 122b. T8 EPHONE (include Area Code, 122c.eFFMq SYMBOL

[1992] Proceedings IEEE/AIAA 11th Digital Avionics Systems Conference

This paper presents the design of an Advanced Avionics Verification and Validation (AAV&V) system. The AAV&V system supports the complete software development process as well as the V&V of existing software and incorporates a variety of existing and emerging analysis and testing techniques. The development of a prototype MV&V system currently underway is also discussed.

2004

The outline of the paper is as follow. Digital control aspects are introduced in Section 2. Definitions and characteristics of real-time systems are described in Section 3. Here, some common mistakes and misconceptions by developing realtime control software are also discussed. Section 4 treats the implementation of real-time controllers and Section 5 summarizes some important specifications for the implementation of real-time control systems as well as some well-known commercial products. Finally, conclusions are drawn in Section 6.

2002

The work in progress presented in the present paper is focused on the HW/SW Codesign of embedded systems with a special emphasis on the Bottom-Up design process. A Meta-Model concept is introduced that gives the ability to create strict, computable and unambiguous component description, based on the OMG Standard MOF and the W3C recommendation XML Schema. The concept is currently being implemented and verified with a real world embedded system for medical applications.

In this paper, a design methodology for the design of microelectronic systems which includes hardware and software for open-loop and closed-loop control will be presented. An integrated approach to specification and design, analysis and simulation of the overall system has been developed. This provides for a systematic, computer aided approach to requirements definition, specification and design as well as verification and validation of the results. As embedded systems often require real-time capa- bilities, the environment presented gives special consider- ation to these constraints. We give an example for concrete applications, which shows, how the design of real-time embedded systems is supported by the design methodology and environment.

West African Journal of Industrial and Academic Research, 2014

Real-time systems are normally deployed in a wide range of applications such as transportation systems, manufacturing process, process control, military, space exploration, and telecommunications. These systems must satisfy not only logical functional requirements but also physical properties such as timeliness, Quality of Service and reliability. The cross-cutting behaviours imposed by these functional properties and dependencies on operational characteristics such as hardware, Operating System and firmware platforms that are used; have traditionally led to hard-to-code, hard-to-understand and hard-to-change software that are engineered. In this research paper we have identified few software engineering issues in the development of real time systems and provided brief description of each of those issues and strived to make serious effort to proffer creditable and functional solutions. Key Words : Real time systems, logical functional requirements, Quality of Service, Reliability, ...