Skip to search formSkip to main contentSkip to account menu

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)

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
Modeling of system properties deals with formally expressing constraints and requirements that influence and determine the… 
2017
2017
Design by contract of cyber-physical systems driven by simulation and based on properties modeling
Requirements elicitation and analysis is the basis for the successful development of a Cyber-Physical Systems (CPS). The… 
2016
2016
Automated verification of system requirements and software specifications
Many small to medium-sized enterprises that specialise in electrical or communications engineering are challenged by the… 
2014
2014
A systematic approach to transforming system requirements into model checking specifications
We propose a method that addresses the following dilemma: model checking can formally expose off-nominal behaviors and unintended… 
2007
2007
Model-Based Engineering Design Pilots at JPL
This paper discusses two recent formulation phase model-based engineering design pilot projects at the Jet Propulsion Laboratory… 
2005
2005
Functional and Non-functional Requirements Specification for Enterprise Applications
Comprehensive and accurate software requirements capture is essential for successful development of software systems. Enterprise… 
1997
1997
PARAGON: a paradigm for the specification, verification and testing of real-time systems
The PARAGON toolset provides an environment for the modular and hierarchical design of resource-bound, real-time systems. It… 
Review
1997
Review
1997
The integrated specification and analysis of functional, temporal, and resource requirements
The Graphical Communicating Shared Resources, GCSR, is a specification language with a precise, operational semantics for the… 
1995
1995
An object-oriented modeling of real-time robotic assembly system
The paper briefly illustrates an object-oriented-formal modeling of a real-time robotic assembly system. The approach provides a… 
1995
1995
TROM - An Object Model for Reactive System Development
This paper introduces and illustrates the use of TROM based methodology for formally specifying and reasoning about complex… 
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)