QuantUM: Quantitative safety analysis of UML models
F Leitner-Fischer, S Leue - arXiv preprint arXiv:1107.1198, 2011 - arxiv.org
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 …
design alternatives. In particular, an early safety assessment of the architectural design of a …
Analysis of an Airport Surveillance Radar using the QuantUM approach
We report on the modeling and formal analysis of reliability requirements in the context of an
Airport Surveillance Radar system using SysML and probabilistic model checking. The …
Airport Surveillance Radar system using SysML and probabilistic model checking. The …
[PDF][PDF] Quantitative analysis of UML models
F Leitner-Fischer, S Leue - Proceedings of Modellbasierte Entwicklung …, 2011 - Citeseer
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 …
design alternatives. In particular, an early safety assessment of the architectural design of a …
[PDF][PDF] The quantum approach in the context of the iso standard 26262 for automotive systems
F Leitner-Fischer, S Leue - 2011 - kops.uni-konstanz.de
The forthcoming standard ISO 26262 defines processes and techniques in support of a safe
design and implementation of automotive systems. We comment on the recommendations …
design and implementation of automotive systems. We comment on the recommendations …
[PDF][PDF] Department of Computer and Information Science
A Beer - 2012 - uni-konstanz.de
Safety-critical software and systems development is subject to special dependability
requirements. Early analysis of dependability during design and development phase is often …
requirements. Early analysis of dependability during design and development phase is often …