The wide use of RAMS methods and techniques (e.g. SFMECA, SFTA, HAZOP, HA...) in critical software development resulted in the specification of new software requirements, design constraints and other issues such as mandatory coding rules. Given the large variety of RAMS Requirements and Techniques, different types of Verification and Validation (V&V) are spread over the phases of the software engineering process. As a result, the V&V process becomes complex and the cost and time required for a complete and consistent V&V process is increased. By introducing the concept of a model based approach to facilitate the RAMS requirements definition process, the V&V may be reduce in time and effort. MODSARE-V is demonstrates the feasibility of this concept based on case studies applied to ground or on-board software space projects with critical functions/components. This paper describes the approach adopted at MODSARE-V to realize the concept into a prototype and summarizes the results and conclusions met after the prototype application on the case studies.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    MODSARE-V: validation of dependability and safety critical software components with model based requirements


    Additional title:

    MODSARE-V: Validierung von verlässigkeits- und sicherheitskritischen Softwarekomponenten mit modellbasierten Anforderungen




    Publication date :

    2010


    Size :

    4 Seiten, 1 Bild, 14 Quellen


    Remarks:

    (nicht paginiert)




    Type of media :

    Conference paper


    Type of material :

    Storage medium


    Language :

    English




    MODSARE-V: Validation of Dependability and Safety Critical Software Components with Model Based Requirements

    de Maia Mozart Silveira, D.T. / Schoofs, T. / Salasar, E.A. et al. | British Library Conference Proceedings | 2010


    Dependability validation, evaluation and testing of safety-critical aerospace systems

    Carreira, J. / Costa, D. / Eurospace | British Library Conference Proceedings | 1999


    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


    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