TY - GEN
T1 - Using the hybrid systems interchange format to input design models to verification & validation tools
AU - Sprinkle, Jonathan
AU - Miller, Robert
AU - Shakemia, Omid
AU - Sastry, Shankar
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=33751533732&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33751533732&partnerID=8YFLogxK
U2 - 10.1109/AERO.2005.1559595
DO - 10.1109/AERO.2005.1559595
M3 - Conference contribution
AN - SCOPUS:33751533732
SN - 0780388704
SN - 9780780388703
T3 - IEEE Aerospace Conference Proceedings
BT - Proceedings - 2005 IEEE Aerospace Conference
T2 - 2005 IEEE Aerospace Conference
Y2 - 5 March 2005 through 12 March 2005
ER -