Deriving Safety Software Requirements from an AltaRica System Model

Authors:
Sophie Humbert;Christel Seguin;Charles Castel;Jean-Marc Bosc
Affiliations:
Turbomeca, Bordes Cedex, 64511;ONERA Centre de Toulouse, Toulouse Cedex,;ONERA Centre de Toulouse, Toulouse Cedex,;Turbomeca, Bordes Cedex, 64511
Venue:
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Year:
2008

Citing 5
Cited 0

Software safety in embedded computer systems

Communications of the ACM
The AltaRica formalism for describing concurrent systems

Fundamenta Informaticae - Special issue prepared in tribute to Peter Ernst on the occasion of his retirement
Towards integrated safety analysis and design

ACM SIGAPP Applied Computing Review - Special issue on saftey-critical software
From Safety Analysis to Software Requirements

IEEE Transactions on Software Engineering
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models

DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a methodology to derive software functional requirements from Preliminary System Safety Assessment analysis (PSSA) of helicopter turboshaft engines. The proposed process starts by extracting functional failure paths from system failure propagation models, using AltaRica models and AltaRica tools. Then the paper shows how to analyse these paths to generate minimal combinations of functional software requirements. This approach is applied to a part of the control system of a helicopter turboshaft engine.