Software Engineering Journal - Special issue on Mascot 3
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
Early quality prediction of component-based systems - A generic framework
Journal of Systems and Software
Constructing Models with the Human-Usable Textual Notation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
FPTC: Automated Safety Analysis for Domain-Specific Languages
Models in Software Engineering
Probabilistic Failure Propagation and Transformation Analysis
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Architecting dependable systems IV
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
Application of software health management techniques
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A component model for hard real-time systems: CCM with ARINC-653
Software—Practice & Experience
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
Early safety evaluation of design decisions in E/E architecture according to ISO 26262
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems
The art and science of software architecture
ECSA'07 Proceedings of the First European conference on Software Architecture
Revealing complexity through domain-specific modelling and analysis
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
Hi-index | 0.00 |
This paper describes a modular representation and compositional analysis of a system's hardware and software components, called Fault Propagation and Transformation Calculus (FPTC). We show, given an architectural description of how components are combined into a whole system, together with an FPTC expression of each component's failure behaviour, how the failure properties of the whole system can be computed automatically from the individual FPTC expressions. From a safety point of view, this provides some idea of robustness: the system's capability to withstand certain types of failures in individual components. It also provides a way to understand how and where to develop fault accommodation within an architecture.