Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(1)
Performance Analysis
Subscribe
Academic
Publications
Safety, Dependability, and Performance Analysis of Extended AADL Models
Edit
Safety, Dependability, and Performance Analysis of Extended AADL Models
(
Citations: 8
)
BibTex
|
RIS
|
RefWorks
Download
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Marco Roveri
Journal:
The Computer Journal - CJ
, vol. doi: 10.10, no. 7, 2010
DOI:
10.1093/comjnl/bxq024
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
comjnl.oxfordjournals.org
)
Citation Context
(7)
...A formal semantics of the SLIM language [
7
] was developed that precisely characterizes the complete set of nominal and error behaviors of a given system model...
...ESA has therefore initiated a follow-up project to COMPASS with the aim to define a graphical notation that covers the full SLIM language as defined in the COMPASS project [
7
], to develop a front-end tool that allows to edit, load, and store models in the graphical notation and have it integrated in the current COMPASS toolset and evaluated in an industrial context...
Yuri Yushstein
,
et al.
System-Software Co-Engineering: Dependability and Safety Perspective
...In the COMPASS project [
33
], the SLIM language [34] was developed which formalizes a subset of the AADL and its error annex...
Matthias Gudemann
,
et al.
Towards model-driven safety analysis
...COMPASS toolset. An in-depth discussion of the toolset, the formal semantics of AADL and the relation to other works can be found in our journal paper [
9
]...
Marco Bozzano
,
et al.
A Model Checker for AADL
...In the COMPASS project [
17
] the FSAP-NuSMV/SA [6] framework is combined with the MRMC [18] probabilistic model checker to allow for the analysis of systems for Aerospace applications specified in the SLIM [19] language, which is inspired by AADL [20], [21]...
M. Gudemann
,
et al.
A Framework for Qualitative and Quantitative Formal Model-Based Safety...
...The AADL modeling language of [
7
] supports dynamic reconfiguration of component connections...
Suzana Andova
,
et al.
Towards Dynamic Adaptation of Probabilistic Systems
Order by:
Citations
(8)
System-Software Co-Engineering: Dependability and Safety Perspective
(
Citations: 1
)
Yuri Yushstein
,
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Xavier Olive
,
Marco Roveri
Conference:
IEEE International Conference on Space Mission Challenges for Information Technology - SMC-IT
, 2011
Integrating AADL-Based Tool Chain into Existing Industrial Processes
Alexey Khoroshilov
,
Igor Koverninskiy
,
Alexander Petrenko
,
Alexander Ugnenko
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, 2011
Towards model-driven safety analysis
Matthias Gudemann
,
Frank Ortmeier
Conference:
International Workshop on Dependable Control of Discrete Systems - DCDS
, 2011
A Model Checker for AADL
(
Citations: 1
)
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Marco Roveri
,
Ralf Wimmer
Published in 2010.
A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis
(
Citations: 1
)
M. Gudemann
,
F. Ortmeier
Published in 2010.