|
The Hybrid Systems Interchange Format (HSIF) was a good start to an open-source
format for sharing hybrid systems models between academic hybrid systems
tools (see references below). The next step is to apply the lessons
learned in HSIF development and usage to a standard or package which will work
well
with
commercial
(or otherwise mature)
- simulators,
- development environments,
- verification/validation engines, and
- code generators.
The development of this tool is the goal of the hyper group. We meet regularly
on Fridays at 2:00 in 337 Cory Hall, just after the studygroup meeting. Before
attending, please request to join the group, so that we will know to order
you a lunch.
References
- A brief
academic overview of the HSIF proposal
- Download
the HSIF tool from Vanderbilt University's the Institute for Software
Integrated Systems (ISIS) MoBIES Page.
- Luca Carloni, Maria D. Di Bebedetto, Alessandro Pinto and Albert Sangiovanni-Vincentelli.
"Modeling
Techniques, Programming Languages Design Toolsets and Interchange Formats
for Hybrid Systems",
Columbus Project, DHS3.
|
