Improving Predictability in Embedded Real-Time Systems

Parent SEI Program

Dynamic Systems Program

Parent Projects

Performance-Critical Systems

Related Publications

Dependability Modeling with the Architecture Analysis & Design Language (AADL)

Modeling of System Families

Peter H. Feiler
Bruce Lewis (U.S. Army Aviation and Missile Command)
Steve Vestal (Honeywell Technology Center)

Special Report
CMU/SEI-2000-SR-011

PDF File

This paper discusses a model-based architectural approach for improving predictability of performance in embedded real-time systems. This approach utilizes automated analysis of task and communication architectures to provide insight into schedulability and reliability during design. Automatic generation of a runtime executive that performs task dispatching and inter-task communication eliminates manual coding errors and results in a system that satisfies the specified execution behavior. The MetaH language and toolset supports this model-based approach. MetaH has been used by the U.S. Army in a pilot project applied to missile guidance systems. Reduced time and cost benefits that have been observed will be discussed as a case study. The paper closes by outlining the current state of commercial availability of such technology and efforts to develop standards, such as those put forth by the Society of Automotive Engineers (SAE); Avionics Systems Division (ASD); working group on Avionics Architecture Description Language (AADL); and the Object Management Group (OMG) Unified Modeling Language (UML) working group on real-time and performance support in UML.