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



    Conference:

    Conference; Budapest, Data systems in aerospace; DASIA 2010 ; 2010



    Publication date :

    2010-01-01


    Size :

    16 pages


    Remarks:

    Held in e-store (RMS)



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




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

    Maia Mozart Silveira, Daniel Tomas de / Schoofs, Tobias / Alana Salazar, Elena et al. | Tema Archive | 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