Dependability: Basic Concepts and Terminology
Dependability: Basic Concepts and Terminology
An Experimental Environment for Task-Level Programming of Robots
The 2nd International Symposium on Experimental Robotics II
Method engineering for OO systems development
Communications of the ACM - Service-oriented computing
From UML/SysML to Matlab/Simulink: current state and future perspectives
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Model-Based Design for Embedded Systems
Model-Based Design for Embedded Systems
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Analysis and testing of matlab simulink models: a systematic mapping study
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Model based control system design using sysML, simulink, and computer algebra system
Journal of Control Science and Engineering
Hi-index | 0.00 |
System reliability is an important non-functional requirement whose satisfaction is even crucial for mission critical systems. However, the increase in both system complexity and accuracy required in the reliability analyses often makes inadequate traditional techniques which are mainly based on statistical and probabilistic tools and on the hierarchical decomposition of the system in terms of its components. Moreover, the integration of classical techniques in typical system development processes, and especially in the design phases, is quite difficult and thus their use is often postponed to the later development stages (e.g. system verification) with the possible risk of having to revise even basic design choices and with a consequent increase in both completion time and development cost. To address these issues, the paper proposes a Model-Based method for system reliability analysis which combines in a unified framework the benefits of popular OMG modeling languages (UML, SysML) with the wide adopted Mathworks simulation and analysis environments (Matlab, Simulink). The flexibility and scalability of the proposal, as well as its effectiveness in evaluating through simulation the system reliability performances, is exemplified through a case study concerning the reliability analysis of a Flight Management System.