Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,708,358 papers from all fields of science
Search
Sign In
Create Free Account
Verification (spaceflight)
Known as:
Verification
Verification in the field of space systems engineering covers two verification processes: Qualification and Acceptance
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
System requirements (spacecraft system)
Verification and validation
Broader (1)
Systems engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Simulation-based verification of system requirements: An integrated solution
F. Aiello
,
A. Garro
,
Y. Lemmens
,
S. Dutré
IEEE 14th International Conference on Networking…
2017
Corpus ID: 10554353
Modeling of system properties deals with formally expressing constraints and requirements that influence and determine the…
Expand
2017
2017
Design by contract of cyber-physical systems driven by simulation and based on properties modeling
A. Tundis
,
M. Mühlhäuser
2017
Corpus ID: 54206547
Requirements elicitation and analysis is the basis for the successful development of a Cyber-Physical Systems (CPS). The…
Expand
2005
2005
An environment for compositional specification verification of complex embedded systems
H. Wittke
2005
Corpus ID: 26549329
This work is concerned with the automated verification of models of embedded systems using Model Checking. On the basis of the…
Expand
1997
1997
PARAGON: a paradigm for the specification, verification and testing of real-time systems
H. Ben-Abdallah
,
D. Clarke
,
I. Lee
,
O. Sokolsky
IEEE Aerospace Conference
1997
Corpus ID: 62284532
The PARAGON toolset provides an environment for the modular and hierarchical design of resource-bound, real-time systems. It…
Expand
Review
1997
Review
1997
The integrated specification and analysis of functional, temporal, and resource requirements
H. Ben-Abdallah
,
Insup Lee
,
Y. S. Kim
Proceedings of ISRE '97: 3rd IEEE International…
1997
Corpus ID: 206994954
The Graphical Communicating Shared Resources, GCSR, is a specification language with a precise, operational semantics for the…
Expand
1995
1995
TROM - An Object Model for Reactive System Development
Ramesh Achuthan
,
V. Alagar
,
T. Radhakrishnan
Asian Computing Science Conference
1995
Corpus ID: 29785449
This paper introduces and illustrates the use of TROM based methodology for formally specifying and reasoning about complex…
Expand
1995
1995
An object-oriented modeling of real-time robotic assembly system
Ramesh Achuthan
,
V. Alagar
,
T. Radhakrishnan
Proceedings of First IEEE International…
1995
Corpus ID: 43814182
The paper briefly illustrates an object-oriented-formal modeling of a real-time robotic assembly system. The approach provides a…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE