Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components

View Related Documents

Book Chapter
Hierarchically Performed Hazard Origin and Propagation Studies
Yiannis Papadopoulos and John A. McDermid
Lecture Notes in Computer Science, 1999, Volume 1698, Computer Safety, Reliability and Security, Page 688
- Download PDF (133.7 KB)
Book Chapter
SafeSpection – A Systematic Customization Approach for Software Hazard Identification
Christian Denger, Mario Trapp and Peter Liggesmeyer
Lecture Notes in Computer Science, 2008, Volume 5219, Computer Safety, Reliability, and Security, Pages 44-57
- Download PDF (323.6 KB)
Journal Article
Integrated safety analysis of requirements specifications
F. Modugno, N. G. Leveson, J. D. Reese, K. Partridge and S. D. Sandys
Requirements Engineering, 1997, Volume 2, Number 2, Pages 65-78
- Download PDF (1.9 MB)
Book Chapter
MAFIIA — An Architectural Description Framework: Experience from the Health Care Domain
Ståle Walderhaug, Erlend Stav, Stein L. Tomassen, Lillian Røstad and Nils B. Moe
2006, Interoperability of Enterprise Software and Applications, Pages 43-54
- Download PDF (109.7 KB)
Book Chapter
Beyond the Horizon: Planning Future European ICT R&D
Keith G. Jeffery
Lecture Notes in Computer Science, 2006, Volume 3831, SOFSEM 2006: Theory and Practice of Computer Science, Pages 49-60
- Download PDF (188.1 KB)
Book Chapter
Applying Product Line to the Embedded Systems
Haeng-Kon Kim
Lecture Notes in Computer Science, 2006, Volume 3982, Computational Science and Its Applications - ICCSA 2006, Pages 163-171
- Download PDF (756.8 KB)
Book Chapter
Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform
Klaus D. Mueller-Glaser, Clemens Reichmann, Markus Kuehl and Stefan Benz
Lecture Notes in Computer Science, 2006, Volume 4147, Automotive Software – Connected Services in Mobile Networks, Pages 15-30
- Download PDF (438.5 KB)
Book Chapter
Supporting Security Sensitive Architecture Design
Muahmmad Ali Babar, Xiaowen Wang and Ian Gorton
Lecture Notes in Computer Science, 2005, Volume 3712, Quality of Software Architectures and Software Quality, Pages 140-154
- Download PDF (301.7 KB)
Book Chapter
Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process
Lars Grunske, Bernhard Kaiser and Ralf H. Reussner
Lecture Notes in Computer Science, 2005, Volume 3778, Component-Based Software Development for Embedded Systems, Pages 249-274
- Download PDF (520.3 KB)
Book Chapter
A Meta-model for Requirements Engineering in System Family Context for Software Process Improvement Using CMMI
Rodrigo Cerón, Juan C. Dueñas, Enrique Serrano and Rafael Capilla
Lecture Notes in Computer Science, 2005, Volume 3547, Product Focused Software Process Improvement, Pages 291-313
- Download PDF (289.5 KB)

Abstract

One of possible ways to achieve a very high level of confidence in a system is to develop its adequate model and then to analyse the properties of this model. The paper presents how object oriented modelling extended with formal specifications is used to support FMEA of software intensive systems. The paper refers to the case study of a computerised railway signalling system.

Fulltext Preview

Image of the first page of the fulltext document

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

SpringerLink

Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components

View Related Documents

Abstract

Fulltext Preview