Automated reuse support for design of embedded avionics systems

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_X. We describe our approach and the results of AutoSoft project in detail below