Multi-dimensional model based engineering using AADL

Proceedings The 19th IEEE/IFIP International Symposium on Rapid System Prototyping - Shortening the Path from Specification to Prototype, RSP 2008

Volumn , Issue , 2008, Pages

  Lewis, Bruce ^a   Feiler, Peter ^b  

^a US Army RD and E Command   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER HARDWARE; COMPUTER NETWORKS; COMPUTER SOFTWARE; COMPUTERS; EMBEDDED SYSTEMS; INTERFACES (COMPUTER); MODERNIZATION; RELIABILITY; RELIABILITY ANALYSIS; SOFTWARE ARCHITECTURE; SOFTWARE RELIABILITY; SPECIFICATIONS; SURFACE CHEMISTRY;

EMBEDDED SOFTWARES; INTERNATIONAL SYMPOSIUM; RAPID SYSTEM PROTOTYPING;

COMPUTER SYSTEMS;

EID: 51549087430     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RSP.2008.40     Document Type: Conference Paper

References (6)

1. Binns, Matt Englehart, Mike Jackson and Steve Vestal,"Domain Specific Software Architectures for Guidance, Navigation and Control," Honeywell Technology Center, Minneapolis, MN, International Journal of Software Engineering and Knowledge Engineering, Vol6, No. 2, 1996.
2. David J. McConnell, Bruce Lewis and Lisa Gray,"Reengineering a Single Threaded Embedded Missile application onto a Parallel Processing Platform using MetaH," 5t Workshop on Parallel and Distributed Real Time Systems, 1996.
3. Society of Automotive Engineers (SAE) Avionics Systems Division (ASD) AS-2C Subcommittee."Avionics Architecture Description Language Standard.", AS 5506.
4. Peter Feiler,"Evolution of an Avionics System", Paper at www.aadl.info/downloads/Models/Evolution, AADL models at www.aadl.info/ downloads/Models/IntearatedModel10292007.zip
5. Tilman J-F, Sezestre R, Schyn A."SPICES -Support for Predictable Integration of mission Critical Embedded Systems". In: AADL Standardization Meeting; 2007 January; 2007.
6. John Chilenski,"Aerospace Vehicle Systems Institute Systems and Software Integration Verification Overview", Nov 27, 2007, AADL Safety and Security Modeling Meeting.