Author(s): A. Khalfallah, S. Bahsoun, H. Basson &
tion of F.ME.A and SA-RT: a way
to enhance dependability characteristics of
*CRIN, BP239, 54 506 Vandoeuvre, France
&7&T d% Fe/2z?/, 7g ^^ Fe/zz?/, France
^ Universite du Littoral, IUT de Calais, 3 rue Louis
This paper investigates critical systems from the software engineering perspective.
particularly focuses on analysing the system'models building activities defined as Software
Process Modeling and tries to lead to a response to problems such as:
- Is it possible to enhance the dependability characteristics of the system by using a
development environment where constraints about the development activities can be expressed
- Which operation could be automated in a critical system development environment
leading to a better dependability.
Early activities in the system life cycle related to dependability (such as preliminary hasard
analysis) are ...
Size: 1,529 kb
Paper DOI: 10.2495/SQM940331
the Full Article
This article is part of the WIT OpenView scheme and you can download the full text Adobe PDF article for FREE by clicking the 'Openview' icon below.
this page to a colleague.
This paper can be found in the following bookSoftware Quality Management II Vol 1 Managing Quality Systems Buy