Robert Allen
ABSTRACT
An architecture description language (ADL) specifies the structure of an overall system as an assembly of interacting components. ADLs can serve as input to a variety of development tools. We outline the Avionics Architecture Description Language, an emerging SAE standard for describing the architectures of hard real-time, safety-critical embedded computer systems. We describe a suite of tools that perform a set of verification, modeling and analysis, and implementation activities given an AADL specification. We summarize a study that applied these technologies using data about a complex avionics system, identifying and discussing some of the issues raised by this exercise.
- Software Considerations in Airborne Systems and Equipment Certification, RTCA/DO-178B, RTCA, Inc., Washington D.C., December 1992.Google Scholar
- Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, SAE/ARP 4761, December 1996.Google Scholar
- Real-Time Systems, special issue on worst-case execution-time analysis, v18, n2/3, May 2000.Google Scholar
- MetaH User's Guide, Honeywell Laboratories, 3660 Technology Drive, Minneapolis, MN, www.htc.honeywell.com/metah.Google Scholar
- Neil C. Audsley, Alan Burns, Robert I. Davis, Ken W. Tindell and Andy J. Wellings, "Fixed Priority Pre-emptive Scheduling: An Historical Perspective," Journal of Real-Time Systems, 8, pp 173-198. Google ScholarDigital Library
- Pam Binns, "Scheduling Slack in MetaH," Real-Time Systems Symposium, work-in-progress session, December 1996.Google Scholar
- Pam Binns, "Incremental Rate Monotonic Scheduling for Improved Control System Performance," Real-Time Applications Symposium, 1997. Google ScholarDigital Library
- Pam Binns and Steve Vestal, "Message Passing in MetaH using Precedence-Constrained Multi-Criticality Preemptive Fixed Priority Scheduling," Life Cycle Software Engineering Conference, Redstone Arsenal, AL, August 2000.Google Scholar
- Pam Binns and Steve Vestal, "Formalizing Software Architectures for Embedded Systems," First International Workshop on Embedded Software, Tahoe City, CA, October 2001. Google ScholarDigital Library
- Pam Binns, Steve Vestal, William Sanders, Jay Doyle and Dan Deavours, "MetaH/Möbius Integration Report," prepared by Honeywell Laboratories and University of Illinois, prepared for U.S. Army AMCOM Software Engineering Directorate, April, 2000.Google Scholar
- R. L. Graham, "Bounds on Multiprocessing and Timing Anomalies," SIAM Journal of Applied Mathematics, v17, March 1969.Google Scholar
- Holger Hermanns, Ulrich Herzog and Vassilis Mertsiotakis, "Stochastic Process Algebras as a Tool for Performance and Dependability Modeling," Proceedings of the IEEE International Computer Performance and Dependability Symposium (IPDS'95), April 24-26, 1995, Erlangen, Germany. Google ScholarDigital Library
- Farnam Jahanian and Aloysius K. Mok, "Modechart: A Specification Language for Real-Time Systems," IEEE Transactions on Software Engineering, v20 n12, December 1994. Google ScholarDigital Library
- José Javier Gutiérrez García and Michael González Harbour, "Optimized Priority Assignment for Tasks and Messages in Distributed Hard Real-Time Systems," Third Workshop on Parallel and Distributed Real-Time Systems, April 1995. Google ScholarDigital Library
- J. C. Gutiérrez and M. González Harbour, "Schedulability Analysis for Tasks with Static and Dynamic Offsets," 19th IEEE Real-Time Systems Symposium, 1998. Google ScholarDigital Library
- Bruce Lewis, "Software Portability Gains Realized with MetaH, an Avionics Architecture Description Language," 18thDigital Avionics Systems Conference, St. Louis, MO, October 24-29, 1999.Google Scholar
- Frederick T. Sheldon, Krishna M. Kavi and Farhad A. Kamangar, "Reliability Analysis of CSP Specifications: A New Method Using Petri Nets," Proceedings of AIAA Computing In Aerospace, San Antonio, TX, March 28-30, 1995.Google Scholar
- Jun Sun and Jane Liu, "Synchronization Protocols in Distributed Real-Time Systems," Proceedings of the 16th International Conference on Distributed Computing Systems, May, 1996. Google ScholarDigital Library
- J. Sun and J. Liu, "Bounding the End-to-End Response Time in Multiprocessor Real-Time Systems," Third Workshop on Parallel and Distributed RealTime Systems, April, 1995. Google ScholarDigital Library
- Steve Vestal, "Fixed Priority Sensitivity Analysis for Linear Compute Time Models," IEEE Transactions on Software Engineering, April 1994. Google ScholarDigital Library
- Steve Vestal, "Modeling and Verification of Real-Time Software Using Extended Linear Hybrid Automata," NASA Langley Formal Methods Workshop, June 2000, shemesh.larc.nasa.gov/fm/Lfm2000/Proc/Google Scholar
- Steve Vestal, "MetaH Support for Real-Time Multi-Processor Avionics," 5th IEEE Workshop on Parallel and Distributed Real-Time Systems, 1997. Google ScholarDigital Library
- Steve Vestal, "Mode Changes in a Real-Time Architecture Description Language," International Workshop on Configurable Distributed Systems, March 1994.Google Scholar
- Steve Vestal, "MetaH Avionics Architecture Description Language Software and System Safety and Certification Study," prepared by Honeywell Laboratories, prepared for U.S. Army AMCOM Software Engineering Directorate, March 2001.Google Scholar
Recommendations
Software architecture supporting integrated real-time systems
To achieve reliability, reusability, and cost reduction, a significant trend in building large complex real-time systems is to integrate separate application modules of different criticalities in a common hardware platform. An essential requirement of ...
Executable Specifications for Real-Time Distributed Systems
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchronous communication. This paper describes a timed architecture design ...
Analyzing the real-time behaviour of deeply embedded event driven systems
LCTES '07: Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systemsMost embedded control systems react on events in the real world by reading sensors and controlling actuators in real-time. This general behavior can be directly mapped onto event-driven systems in a natural and straightforward manner for a large variety ...
Comments