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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automated reuse support for design of embedded avionics systems


    Contributors:
    Chawla, P. (author) / Alexander, P. (author)


    Publication date :

    2001-01-01


    Size :

    639094 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English