Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
An integrated tool set for software safety analysis
Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
Real-time object-oriented modeling
Real-time object-oriented modeling
Towards integrated safety analysis and design
ACM SIGAPP Applied Computing Review - Special issue on saftey-critical software
Model Driven Architecture: Applying MDA to Enterprise Computing
Model Driven Architecture: Applying MDA to Enterprise Computing
SecureUML: A UML-Based Modeling Language for Model-Driven Security
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
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)
Improving System Reliability with Automatic Fault Tree Generation
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
The Pragmatics of Model-Driven Development
IEEE Software
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Sound methods and effective tools for model-based security engineering with UML
Proceedings of the 27th international conference on Software engineering
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends (Lecture Notes in Computer Science)
An automated dependability analysis method for COTS-based systems
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Model-Driven safety evaluation with state-event-based component failure annotations
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Integrating Safety Analyses and Component-Based Design
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Architecting dependable systems IV
Probabilistic optimization and assessment of voting strategies for X-by-wire systems
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Generalizable safety annotations for specification of failure patterns
Software—Practice & Experience
Capture and reuse of composable failure patterns
International Journal of Critical Computer-Based Systems
Towards an integration of standard component-based safety evaluation techniques with SaveCCM
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
A safety-focused verification using software fault trees
Future Generation Computer Systems
Compositional temporal fault tree analysis
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Hi-index | 0.00 |
Model-driven and component-based software engineering methodologies are currently key factors for the successful construction of complex software systems. To effectively apply these methodologies to mission- and safety-critical systems, component-based models should also support hazard analysis techniques and enable the automatic construction of safety cases. This paper outlines a technique, which annotates components with modular failure mode assumptions, described in the Failure Propagation Transformation Notation (FPTN) and generates an analyzable failure propagation model for the complete system. Based on this technique, a model-based safety evaluation is possible, which enables the automatic generation of safety cases based on system models. Consequently, a consistency between the safety case and the system model can be ensured, even if the system's architecture is changed.