Modern Avionics requirements for the Distributed Systems Annex

  • Bruce Lewis
  • Steve Vestal
  • David McConnell
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1411)


We ported an Architecture Description Language (ADL), MetaH, for automating the specification, analysis and building of Avionics/high reliability systems on top of Ada 95 and the Distributed Systems Annex (DSA). Our purpose was to explore the requirements for the DSA in such applications and to assess portability benefits. The problem domain of modern avionics will increasingly require strong partitioning of software with multilevel safety and reliability analysis to build highly complex, large, multiprocessor, predominately hard real-time software systems. This paper covers changes in the requirement driving the problem domain, the solution approach using an ADL, MetaH, on top of the DSA, and requirements for a usable DSA implementation.


Propagation Synchronization Source Module Avionic System Architecture Description Language Fault Handler 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Honeywell Technology Center, “Domain-Specific Software Architectures for Guidance, Navigation and Control,” projects/dssa, Minneapolis, MN.Google Scholar
  2. 2.
    MATRIXx User's manual, Integrated Systems, Inc., Santa Clara, CA.Google Scholar
  3. 3.
    David J. McConnell, Bruce Lewis and Lisa Gray, “Reengineering a Single Threaded Embedded Missile Application onto a Parallel Processing Platform using MetaH,” Proceedings of the 4th Workshop on Parallel and Distributed Real-Time Systems, 1996.Google Scholar
  4. 4.
    Farnam Jahanian and Aloysius K. Mok, “Modechart: A Specification Language for Real-Time Systems,” IEEE Transactions on Software Engineering, v20 n12, December 1994.Google Scholar
  5. 5.
    Mark H. Klein, John P. Lehoczky and Ragunathan Rajkumar, “Rate-Monotonic Analysis for Real-Time Industrial Computing,” IEEE Computer, January 1994.Google Scholar
  6. 6.
    Steve Vestal, “Fixed Priority Sensitivity Analysis for Linear Compute Time Models,” IEEE Transactions on Software Engineering, April 1994.Google Scholar
  7. 7.
    Andrew L. Reibman and Malathi Veeraraghavan, “Reliability Modeling: An Overview for Systems Engineers,” IEEE Computer, April 1991.Google Scholar
  8. 8.
    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 Scholar
  9. 9.
    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
  10. 10.
    Allen M. Johnson, Jr. and Miroslaw Malek, “Survey of Software Tools for Evaluating Reliability, Availability, and Serviceability,” ACM Computing Surveys, v20 n4, December 1988.Google Scholar
  11. 11.
    Gianfranco Ciardo, Jogesh K. Muppala and Kishor S. Trivedi, Manual for the SPNP Package, version 3.1, October 18, 1992, Duke University, Department of Electrical Engineering, Durham, NC.Google Scholar
  12. 12.
    W. H. Sanders, W. D. Obal, M. A. Quershi and F. K. Widjanarko, “The UltraSAN Modeling Environment,” Performance Evaluation Journal, vol. 25 no. 1, 1995.Google Scholar
  13. 13.
    Software Considerations in Airborne Systems and Equipment Certification, RTCA/DO-178B, RTCA, Inc., Washington D.C., December 1992.Google Scholar
  14. 14.
    Design Guidance for Integrated Modular Avionics, AEEC/ARINC 651, Airlines Electronic Engineering Committee/Aeronautical Radio Inc., 1991.Google Scholar
  15. 15.
    Mark Johnson, “Boeing 777 Airplane Information Management System — Philosophy and Displays,” Honeywell Air Transport Systems, Phoeniz AZ.Google Scholar
  16. 16.
    R. Jha, J. M. Kamrad, D. T. Cornhill, “Ada Program Partitioning Language: a Notation for Distributing Ada Programs,” IEEE Transactions on Software Engineering, March 1989.Google Scholar
  17. 17.
    Glade User Guide, Scholar
  18. 18.
    Steve Vestal, “Mode Changes in a Real-Time Architecture Description Language,” Second International Workshop on Configurable Distributed Systems, March 1994.Google Scholar
  19. 19.
    S. Ramos-Thuel and J. P. Lehoczky, “Algorithms for Scheduling Hard Aperiodic Tasks in Fixed-Priority Systems using Slack Stealing,” Real-Time Systems Symposium, December 1994.Google Scholar
  20. 20.
    Pam Binns, “Scheduling Slack in MetaH,” submitted Real-Time Systems Symposium work-in-progress session, December 1996.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Bruce Lewis
    • 1
  • Steve Vestal
    • 2
  • David McConnell
    • 3
  1. 1.Missile Research, Development and Engineering CenterUS Army Aviation and Missile Command, Battlefield Automation DirectorateRedstone AresnalUSA
  2. 2.Honeywell Technology CenterMinneapolisUSA
  3. 3.Tennessee Applied Physical SciencesFayettevilleUSA

Personalised recommendations