Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
Honeywell Technology Center, “Domain-Specific Software Architectures for Guidance, Navigation and Control,” http://www.htc.honeywell.com/ projects/dssa, Minneapolis, MN.
MATRIXx User's manual, Integrated Systems, Inc., Santa Clara, CA.
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.
Farnam Jahanian and Aloysius K. Mok, “Modechart: A Specification Language for Real-Time Systems,” IEEE Transactions on Software Engineering, v20 n12, December 1994.
Mark H. Klein, John P. Lehoczky and Ragunathan Rajkumar, “Rate-Monotonic Analysis for Real-Time Industrial Computing,” IEEE Computer, January 1994.
Steve Vestal, “Fixed Priority Sensitivity Analysis for Linear Compute Time Models,” IEEE Transactions on Software Engineering, April 1994.
Andrew L. Reibman and Malathi Veeraraghavan, “Reliability Modeling: An Overview for Systems Engineers,” IEEE Computer, April 1991.
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.
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.
Allen M. Johnson, Jr. and Miroslaw Malek, “Survey of Software Tools for Evaluating Reliability, Availability, and Serviceability,” ACM Computing Surveys, v20 n4, December 1988.
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.
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.
Software Considerations in Airborne Systems and Equipment Certification, RTCA/DO-178B, RTCA, Inc., Washington D.C., December 1992.
Design Guidance for Integrated Modular Avionics, AEEC/ARINC 651, Airlines Electronic Engineering Committee/Aeronautical Radio Inc., 1991.
Mark Johnson, “Boeing 777 Airplane Information Management System — Philosophy and Displays,” Honeywell Air Transport Systems, Phoeniz AZ.
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.
Glade User Guide, ftp://cs.nyu.edu/pub/gnat/glade.
Steve Vestal, “Mode Changes in a Real-Time Architecture Description Language,” Second International Workshop on Configurable Distributed Systems, March 1994.
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.
Pam Binns, “Scheduling Slack in MetaH,” submitted Real-Time Systems Symposium work-in-progress session, December 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lewis, B., Vestal, S., McConnell, D. (1998). Modern Avionics requirements for the Distributed Systems Annex. In: Asplund, L. (eds) Reliable Software Technologies — Ada-Europe. Ada-Europe 1998. Lecture Notes in Computer Science, vol 1411. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055006
Download citation
DOI: https://doi.org/10.1007/BFb0055006
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64536-8
Online ISBN: 978-3-540-69802-9
eBook Packages: Springer Book Archive