Spacecraft early design validation using formal methods-Reference-Cited by-同舟云学术

Spacecraft early design validation using formal methods

Published:2014-12 Issue: Volume:132 Page:20-35
ISSN:0951-8320
Container-title:Reliability Engineering & System Safety
language:en
Short-container-title:Reliability Engineering & System Safety

Author:

Bozzano Marco,Cimatti Alessandro,Katoen Joost-Pieter,Katsaros Panagiotis,Mokos Konstantinos,Nguyen Viet Yen,Noll Thomas^ORCID,Postma Bart^ORCID,Roveri Marco

Funder

ESA/ESTEC

Thales Alenia Space

Publisher

Elsevier BV

Subject

Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality

Reference72 articles.

1. System engineering general requirements, Technical Report, ECSS-E-ST-10C, ESA requirements and standards division, Noordwijk, Netherlands; March 2009.

2. Dvorak DL. NASA study on flight software complexity, Technical Report, California Institute of Technology; 2009.

3. COMPASS Website, 〈compass.informatik.rwth-aachen.de〉.

4. Principles of model checking;Baier,2008

5. Model-checking algorithms for continuous-time markov chains;Baier;Trans Softw Eng,2003

Cited by 46 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Evaluation of visual property specification languages based on practical model-checking experience;Journal of Systems and Software;2024-10

2. Parameter synthesis for Markov models: covering the parameter space;Formal Methods in System Design;2024-02-17

3. SAFEST: Fault Tree Analysis Via Probabilistic Model Checking;2024 Annual Reliability and Maintainability Symposium (RAMS);2024-01-22

4. COMPASTA: Integrating COMPASS Functionality into TASTE;ACM SIGAda Ada Letters;2023-10-30

5. COMPASTA = COMPASS + TASTE;CEAS Space Journal;2023-08-09