The need for an integrated system-software co-engineering framework to support the design of modern space systems is pressing. The current tools and formalisms tend to be tailored to specific analysis techniques and are not amenable for the full spectrum of required system aspects such as safety, dependability and performability. Additionally, they cannot handle the intertwining of hardware and software interaction. As such, the current practices lack integration and coherence. We recently developed a coherent and multidisciplinary approach towards developing space systems at architectural design level, linking all of the aforementioned aspects, and assessed it with several industrial evaluations. This paper reports on the approach, the evaluations and our perspective on current and future developments.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    System-Software Co-Engineering: Dependability and Safety Perspective


    Contributors:
    Yushtein, Y. (author) / Bozzano, M. (author) / Cimatti, A. (author) / Katoen, J. (author) / Nguyen, V. Y. (author) / Noll, Th (author) / Olive, X. (author) / Roveri, M. (author)


    Publication date :

    2011-08-01


    Size :

    1183562 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Are Safety, Security, and Dependability Achievable Software?

    Fletcher, S. K. / System Safety Society | British Library Conference Proceedings | 1996


    Software Dependability & Safety Methods According to ECSS

    Hernek, M. / International Association for the Advancement of Space Safety / European Space Agency | British Library Conference Proceedings | 2005


    SOFTWARE SAFETY AND DEPENDABILITY FOR RAILWAY CONTROL SYSTEMS

    Bryan, P.J. / Institution of Engineering and Technology | British Library Conference Proceedings | 2010


    Dependability and Safety Issues for Aerospace Software: A Systematic Approach

    Vozella, A. / D Anna, G. / Gigante, G. et al. | British Library Conference Proceedings | 2008


    Ensuring Dependability and Safety in the Development of Mission/Safety-Critical Software

    da Mota Silva, S. / Roeloffs, B. / Bugter, R. et al. | British Library Conference Proceedings | 2009