Using the hybrid systems interchange format to input design models to verification & validation tools

Jonathan Sprinkle, Robert Miller, Omid Shakemia, Shankar Sastry

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

The domain of hybrid systems lacks the set of mature tools which can reliably apply verification and validation (V&V) techniques for all kinds of systems. Currently, no single tool supports analysis, simulation, verification, validation, and code synthesis of controllers for hybrid systems. As such, it becomes necessary to depend on several tools for analysis of different aspects of the system. This paper 1,2 describes the utilization of the definition of a system in more than one toolsuite, while reducing the required effort for the same engineers that design the controllers to interface to the V&V toolsuites.

Original languageEnglish (US)
Title of host publicationProceedings - 2005 IEEE Aerospace Conference
DOIs
StatePublished - 2005
Externally publishedYes
Event2005 IEEE Aerospace Conference - Big Sky, MT, United States
Duration: Mar 5 2005Mar 12 2005

Publication series

NameIEEE Aerospace Conference Proceedings
Volume2005
ISSN (Print)1095-323X

Other

Other2005 IEEE Aerospace Conference
CountryUnited States
CityBig Sky, MT
Period3/5/053/12/05

ASJC Scopus subject areas

  • Aerospace Engineering
  • Space and Planetary Science

Fingerprint Dive into the research topics of 'Using the hybrid systems interchange format to input design models to verification & validation tools'. Together they form a unique fingerprint.

Cite this