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 12 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.
[1]
Steve Vestal,et al.
Domain-Specific Software Architectures for Guidance, Navigation and Control
,
1996,
Int. J. Softw. Eng. Knowl. Eng..
[2]
Steve Vestal,et al.
Improving Predictability in Embedded Real-Time Systems
,
2000
.
[3]
Lisa Gray,et al.
Reengineering a Single Threaded Embedded Missile Application onto a Parallel Processing Platform Using MetaH
,
2004,
Real-Time Systems.
[4]
David Garlan,et al.
Documenting software architectures: views and beyond
,
2002,
25th International Conference on Software Engineering, 2003. Proceedings..