Modeling Techniques, Programming Languages, and Design Toolsets for Hybrid Systems
Luca P. Carloni, Maria Domenica DiBenedetto, Roberto Passerone, Alessandro Pinto, Alberto Luigi Sangiovanni-Vincentelli · 2004
This report is a critical review of existing modeling techniques, programming languages, and design toolsets for hybrid systems. We analyze industrial and academic tools with the intent of comparing their applicability and the different models used to support the tools. In addition to the review, we also provide comments and recommendations on how to build a standard interchange format and a standard representation language for hybrid systems that will enable better interaction between groups working on the design of embedded controllers based on hybrid system technology.