Computer Science – Software Engineering
Scientific paper
2004-07-20
In C.Michael Holloway, editor, Lfm2000, Fifth NASA Langley Formal Methods Workshop, Williamsburg, Virginia, June 2000, number
Computer Science
Software Engineering
Presented at LfM2000, published in the proceedings
Scientific paper
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern control applications belong to this class of systems, where a digital controller interacts with a physical environment. In this article we illustrate how a combination of the formal method VDM and the computer algebra system Mathematica can be used to model and simulate both aspects: the control logic and the physics involved. A new Mathematica package emulating VDM-SL has been developed that allows the integration of differential equation systems into formal specifications. The SAFER example from Kelly (1997) serves to demonstrate the new simulation capabilities Mathematica adds: After the thruster selection process, the astronaut's actual position and velocity is calculated by numerically solving Euler's and Newton's equations for rotation and translation. Furthermore, interactive validation is supported by a graphical user interface and data animation.
Aichernig Bernhard K.
Kainhofer Reinhold
No associations
LandOfFree
Modeling and Validating Hybrid Systems Using VDM and Mathematica does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Modeling and Validating Hybrid Systems Using VDM and Mathematica, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modeling and Validating Hybrid Systems Using VDM and Mathematica will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-143124