Computer Science – Software Engineering
Scientific paper
2011-07-06
EPTCS 57, 2011, pp. 16-30
Computer Science
Software Engineering
In Proceedings QAPL 2011, arXiv:1107.0746
Scientific paper
10.4204/EPTCS.57.2
When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day work. This is mainly due to the lack of methods that can be directly applied to architecture level models, for instance given as UML diagrams. Also, it is necessary that the description methods used do not require a profound knowledge of formal methods. Our approach bridges this gap and improves the integration of quantitative safety analysis methods into the development process. All inputs of the analysis are specified at the level of a UML model. This model is then automatically translated into the analysis model, and the results of the analysis are consequently represented on the level of the UML model. Thus the analysis model and the formal methods used during the analysis are hidden from the user. We illustrate the usefulness of our approach using an industrial strength case study.
Leitner-Fischer Florian
Leue Stefan
No associations
LandOfFree
QuantUM: Quantitative Safety Analysis of UML Models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with QuantUM: Quantitative Safety Analysis of UML Models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and QuantUM: Quantitative Safety Analysis of UML Models will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-678818