Abstract
Architecture Description Languages provide significant opportunity for the incorporation of formal methods and engineering models into the analysis of software and system architectures. A standard is being developed for embedded real-time safety critical systems which will support the use of various formal approaches to analyze the impact of the composition of systems from hardware and software and which will allow the generation of system glue code with the performance qualities predicted. The standard, the Avionics Architecture Description Language (AADL), is based on the MetaH language developed under DARPA and US Army funding and on the model driven architectural based approach demonstrated with this technology over the last 8 years. The AADL standard will include a UML profile useful for avionics, space, automotive, robotics and other real-time concurrent processing domains including safety critical applications. The paper provides an overview of the concepts supported in MetaH and the AADL as examples of the architecture based model driven paradigm and notes several new model based approaches becoming available.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Binns, P., Englehart, M., Jackson, M., Vestal, S.: Domain Specific Software Architectures for Guidance, Navigation and Control, Honeywell Technology Center, Minneapolis, MN. International Journal of Software Engineering and Knowledge Engineering 6(2), 201–227 (1996)
Klein, M.H., Lehoczky, J.P., Rajkumar, R.: Rate-Monotonic Analysis for Real-Time Industrial Computing. IEEE Computer (January 1994)
McConnell, D.J., Lewis, B., Gray, L.: Reengineering a Single Threaded Embedded Missile application onto a Parallel Processing Platform using MetaH. In: 5th Workshop on Parallel and Distributed Real Time Systems (1996)
Jahanian, F., Mok, A.K.: Modechart:A Specification Language for Real- Time Systems. IEEE Transactions on Software Engineering 20(12) (December 1994)
Reibman, A.L., Veeraraghavan, M.: Reliability Modeling: An Overview for Systems Engineers. IEEE Computer (April 1991)
Software Considerations in Airborne Systems and Equipment Certification, RTCA/DO- 178B, RTCA, Inc., Washington D.C. (December 1992)
Binns, P.: Scheduling slack in MetaH. In: Binns, P. (ed.) Real-Time Systems Symposium (December 1994)
Kruger, J.W., Vestal, S., Lewis, B.: Fitting the Pieces Together: System/ Software Analysis and Code Integration Using MetaH. In: Digital Avionics Systems Conference (1998)
Feiler, P.H., Lewis, B., Vestal, S.: Improving Predictability in Embedded Realtime Systems, Carnegie Mellon Software Engineering Institute, CMU/SEI-2000-SR-011 (October 2000)
Farail, P., Dissaux, P.: COTRE a Software Design Workshop. In: DASIA 2002 (May 2002)
Selic, B.: Performance Oriented UML. In: Tutorial, 3rd International Workshop On Software and Performance (July 2002)
Boehm, B.: Overview, Mini Tutorial, http://sunset.usc.edu/research/MBASE/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lewis, B. (2004). Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems. In: Wirsing, M., Knapp, A., Balsamo, S. (eds) Radical Innovations of Software and Systems Engineering in the Future. RISSEF 2002. Lecture Notes in Computer Science, vol 2941. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24626-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-24626-8_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21179-2
Online ISBN: 978-3-540-24626-8
eBook Packages: Springer Book Archive