With the growing complexity of software and systems, any contemporary software and system architecture contains components developed by different teams or organizations, resulting in increasingly greater costs for integration, test, deployment and use. We need: (i) advanced modeling techniques, which will permit us to represent semantically-rich information about architectures, their components, and their interfaces, and (ii) automated synthesis tools that will exploit semantically-rich models to enable easy integration, test, deployment and use. We describe a solution based upon two key technologies: (i) an emerging System Level Design Language called Rosetta, and (ii) formal specification based retrieval engine. Specifically, this paper describes the approach and results of a project called AutoSoft that confirmed our ability to support automatic reuse of software components within Wind River Systems MATRIX/sub X/. We describe our approach and the results of AutoSoft project in detail below.
Automated reuse support for design of embedded avionics systems
2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542) ; 6 ; 2857-2862 vol.6
2001-01-01
639094 byte
Conference paper
Electronic Resource
English
Reuse and Interoperability of Avionics for Space Systems
NTIS | 2007
|Reuse and Interoperability of Avionics for Space Systems
NTRS | 2007
|Reuse and Interoperability of Avionics for Space Systems
AIAA | 2007
|Technologies for Avionics Embedded Computer Systems
NTIS | 1994
|Security audit for embedded avionics systems
Tema Archive | 1990
|