Correct-by-construction code generation from hybrid automata specification

IWCMC 2011 - 7th International Wireless Communications and Mobile Computing Conference

Volumn , Issue , 2011, Pages 1660-1665

  Bresolin, Davide ^a   Di Guglielmo, Luigi ^a   Geretti, Luca ^a   Villa, Tiziano ^a  

^a UNIVERSITY OF VERONA   (Italy)

Author keywords

code generation; embedded systems; hybrid automata; implementability; SystemC; verification

Indexed keywords

AUTOMATED FLOW; CODE GENERATION; CORRECT-BY-CONSTRUCTION; HYBRID AUTOMATONS; HYBRID MODEL; IMPLEMENTABILITY; SYSTEMC; SYSTEMC LANGUAGE; TIMED AUTOMATA;

EMBEDDED SYSTEMS; MOBILE COMPUTING; NETWORK COMPONENTS; SPECIFICATIONS; WIRELESS TELECOMMUNICATION SYSTEMS;

AUTOMATA THEORY;

EID: 80052483128     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWCMC.2011.5982784     Document Type: Conference Paper

References (14)

1. T. Henzinger, "The Theory of Hybrid Automata," in IEEE Symposium on Logic in Computer Science (LICS), 1996, pp. 278-292.
2. The MathWorks, Inc., "Simulink 7.6," http://www.mathworks.com, 2010.
3. Center for Hybrid and Embedded Software Systems (CHESS), University of California at Berkeley, "Ptolemy II," http://ptolemy.berkeley.edu/ ptolemyII/.
4. T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi, "TIMES - A Tool for Modelling and Implementation of Embedded Systems," in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2002, pp. 460-464.
5. M. Wulf, L. Doyen, and J. Raskin, "Almost ASAP Semantics: from Timed Models to Timed Implementations," Formal Aspects of Computing, vol. 17, no. 3, pp. 319-341, 2005.
6. R. Alur, F. Ivancic, J. Kim, I. Lee, and O. Sokolsky, "Generating Embedded Software from Hierarchical Hybrid Models," in ACM SIGPLAN Conference, vol. 38-7, 2003, pp. 171-182.
7. M. Noga, "BrickOS," http://brickos.sourceforge.net.
8. K. Altisen and S. Tripakis, "Implementation of Timed Automata: an Issue of Semantics or Modeling?" in Formal Modeling and Analysis of Timed Systems (FORMATS), 2005, pp. 273-288.
9. F. Cassez, T. Henzinger, and J. F. Raskin, "A Comparison of Control Problems for Timed and Hybrid Systems," in Hybrid Systems: Computation and Control (HSCC), 2002, pp. 134-148.
10. Open SystemC Initiative, "SystemC," 1999, http://www.systemc. org.
11. L. Benvenuti, A. Ferrari, E. Mazzi, and A. Vincentelli, "Contract-based Design for Computation and Verification of a Closed-loop Hybrid System," Hybrid Systems: Computation and Control, pp. 58-71, 2008.
12. E. Beigné, F. Clermidy, S. Miermont, P. Vivet, and G. MINATEC, "Dynamic Voltage and Frequency Scaling Architecture for Units Integration within a GALS NoC," in ACM/IEEE International Symposium on Networks-on-Chip (NoCS), 2008, pp. 129-138.
13. C. Sonntag, R. Schiffelers, D. van Beek, J. Rooda, and S. Engell, "Modeling and Simulation using the Compositional Interchange Format for Hybrid Systems," in International Conference on Mathematical Modelling (MATHMOD), 2009, pp. 640-650.
14. A. Balluchi, A. Casagrande, P. Collins, A. Ferrari, T. Villa, and A. Sangiovanni-Vincentelli, "Ariadne: a Framework for Reachability Analysis of Hybrid Automata," in International Symposium on Mathematical Theory of Networks and Systems (MTNS), 2006.