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.
MODSARE-V: validation of dependability and safety critical software components with model based requirements
MODSARE-V: Validierung von verlässigkeits- und sicherheitskritischen Softwarekomponenten mit modellbasierten Anforderungen
2010
4 Seiten, 1 Bild, 14 Quellen
(nicht paginiert)
Conference paper
Storage medium
English
British Library Conference Proceedings | 2010
|Dependability validation, evaluation and testing of safety-critical aerospace systems
British Library Conference Proceedings | 1999
|Ensuring Dependability and Safety in the Development of Mission/Safety-Critical Software
British Library Conference Proceedings | 2009
|Software Dependability & Safety Methods According to ECSS
British Library Conference Proceedings | 2005
|SOFTWARE SAFETY AND DEPENDABILITY FOR RAILWAY CONTROL SYSTEMS
British Library Conference Proceedings | 2010
|