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
(9)
Analytical Model
Architectural Design
Fault Tree Analysis
Integrable System
Model Checking
Multidisciplinary Approach
Software Safety
Spectrum
Fault Tree
Subscribe
Academic
Publications
System-Software Co-Engineering: Dependability and Safety Perspective
Edit
System-Software Co-Engineering: Dependability and Safety Perspective
(
Citations: 1
)
BibTex
|
RIS
|
RefWorks
Download
Yuri Yushstein
,
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Xavier Olive
,
Marco Roveri
The need for an integrated system-software co- engineering framework to support the design of modern space systems is pressing. The current tools and formalisms tend to be tailored to specific analysis techniques and are not amenable for the full
spectrum
of required system aspects such as safety, dependability and performability. Additionally, they cannot handle the intertwining of hardware and software interaction. As such, the current practices lack integration and coherence. We recently developed a coherent and
multidisciplinary approach
towards developing space systems at
architectural design
level, linking all of the aforementioned aspects, and assessed it with several industrial evaluations. This paper reports on the approach, the evaluations and our perspective on current and future developments.
Conference:
IEEE International Conference on Space Mission Challenges for Information Technology - SMC-IT
, 2011
DOI:
10.1109/SMC-IT.2011.16
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.
(
ieeexplore.ieee.org
)
(
ieeexplore.ieee.org
)
Citation Context
(1)
...The RAMS analyses as provided by the toolset were found to be mature enough to be adopted by industry, and the corresponding results allowed the evaluation of design alternatives [
6
]...
Joost-Pieter Katoen
.
Towards Trustworthy Aerospace Systems: An Experience Report
References
(5)
Safety, Dependability, and Performance Analysis of Extended AADL Models
(
Citations: 8
)
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
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
(
Citations: 7
)
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Marco Roveri
Conference:
International Conference on Computer Safety, Reliability and Security - SAFECOMP
, vol. 5775, pp. 173-186, 2009
Slicing AADL Specifications for Model Checking
(
Citations: 2
)
Maximilian R. Odenbrett
,
Viet Yen Nguyen
,
Thomas Noll
Published in 2010.
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
(
Citations: 12
)
Jamieson M. Cobleigh
,
George S. Avrunin
,
Lori A. Clarke
Journal:
ACM Transactions on Software Engineering and Methodology - TOSEM
, vol. 17, no. 2, pp. 1-52, 2008
Local Proofs for Linear-Time Properties of Concurrent Programs
(
Citations: 5
)
Ariel Cohen
,
Kedar S. Namjoshi
Conference:
Computer Aided Verification - CAV
, pp. 149-161, 2008
Order by:
Citations
(1)
Towards Trustworthy Aerospace Systems: An Experience Report
Joost-Pieter Katoen