A formal method for early spacecraft design verification
A formal method for early spacecraft design verification
- New search for: Fischer, Philipp M.
- New search for: Ludtke, Daniel
- New search for: Schaus, Volker
- New search for: Gerndt, Andreas
- New search for: Fischer, Philipp M.
- New search for: Ludtke, Daniel
- New search for: Schaus, Volker
- New search for: Gerndt, Andreas
In the early design phase of a spacecraft, various aspects of the system under development are described and modeled using parameters such as masses, power consumption or data rates. In particular power and data parameters are special since their values can change depending on the spacecrafts operational mode. These mode-dependent parameters can be easily verified to static requirements like a maximumdata rate. Such quick verifications allow the engineers to check the design after every change they apply. In contrast, requirements concerning the mission lifetime such as the amount of downlinked data during the whole mission, demands a more complex procedure. We propose an executable model together with a simulation framework to evaluate complex mission scenarios. In conjunction with a formalized specification of mission requirements it allows a quick verification by means of formal methods.
Document information
A formal method for early spacecraft design verification
2013-03-01
3778327 byte
Conference paper
Electronic Resource
English