loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
Model-Based Integration of Safety Analysis and Reliable Software Development
Sedona, Arizona
February 02-February 04
ISBN: 0-7695-2347-1
ASCII Text
x 
 
Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernandez, "Model-Based Integration of Safety Analysis and Reliable Software Development," Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on, pp. 312-319, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005.
 
 
BibTex
x
 
@article{ 10.1109/WORDS.2005.43,
author = {Miguel A. de Miguel and Bernard Pauly and Thierry Person and Javier Fernandez},
title = {Model-Based Integration of Safety Analysis and Reliable Software Development},
journal ={Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on},
volume = {0},
year = {2005},
issn = {1530-1443},
pages = {312-319},
doi = {http://doi.ieeecomputersociety.org/10.1109/WORDS.2005.43},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on
TI - Model-Based Integration of Safety Analysis and Reliable Software Development
SN - 1530-1443
SP312
EP319
A1 - Miguel A. de Miguel,
A1 - Bernard Pauly,
A1 - Thierry Person,
A1 - Javier Fernandez,
PY - 2005
KW - null
VL - 0
JA - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on
ER -
 
Miguel A. de Miguel, E.T.S.I. Telecomunicaci?n Ciudad Universitaria, Madrid Spain
Bernard Pauly, Thales-ATM
Thierry Person, Thales-ATM
Javier Fernandez, E.T.S.I. Telecomunicaci?n Ciudad Universitaria, Madrid Spain

Software development of safety critical systems must combine the application of software developments techniques and safety analysis. The safety analyzers and software architects must have a common understanding of what makes a system safe, and what mitigation means improve the software component reliability and quality.

Model driven development is an approach to reduce the gap between safety analysis technologies (e.g. FMECA and FTA) and software development languages e.g. UML). Model driven technologies (e.g. metamodels and model transformation) give support for the integration of safety analysis concepts (e.g. risks, hazards and mitigation means) and software development concepts (e.g. components), and for the direct application of safety analysis on to software architectures.

Citation:
Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernandez, "Model-Based Integration of Safety Analysis and Reliable Software Development," words, pp.312-319, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005
Usage of this product signifies your acceptance of the Terms of Use.