Software Fault Tolerance
High-Level Integrated Design Environment for Dependability (HIDE)
WORDS '99 Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems
Automatic Synthesis of Dynamic Fault Trees from UML System Models
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Repairable Fault Tree for the Automatic Evaluation of Repair Policies
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems
HASE '05 Proceedings of the Ninth IEEE International Symposium on High-Assurance Systems Engineering
On the architectural alignment of ATL and QVT
Proceedings of the 2006 ACM symposium on Applied computing
A system dependability modeling framework using AADL and GSPNs
Architecting dependable systems IV
Multiformalism and transformation inheritance for dependability analysis of critical systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Safety, Dependability and Performance Analysis of Extended AADL Models
The Computer Journal
A dependability profile within MARTE
Software and Systems Modeling (SoSyM)
International Journal of Critical Computer-Based Systems
Model-Driven v&v processes for computer based control systems: a unifying perspective
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
| Hi-index | 0.00 |
Maintenance of real-world systems is a complex task involving several actors, procedures and technologies. Proper approaches are needed in order to evaluate the impact of different maintenance policies considering cost/benefit factors. To that aim, maintenance models may be used within availability, performability or safety models, the latter developed using formal languages according to the requirements of international standards. In this paper, a model-driven approach is described for the development of formal maintenance and reliability models for the availability evaluation of repairable systems. The approach facilitates the use of formal models which would be otherwise difficult to manage, and provides the basis for automated models construction. Starting from an extension to maintenance aspects of the MARTE-DAM profile for dependability analysis, an automated process based on model-to-model transformations is described. The process is applied to generate a Repairable Fault Trees model from the MARTE-DAM specification of the Radio Block Centre - a modern railway controller.