Generating Embedded Software From Hierarchical Hybrid Models

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Model-Based Design
CPS Formal Methods
Hybrid system
embedded software
formal language
code generation
modularity
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Ivancic, Franjo
Kim, Jesung
Contributor
Abstract

Benefits of high-level modeling and analysis are significantly enhanced if code can be generated automatically from a model such that the correspondence between the model and the code is precisely understood. For embedded control software, hybrid systems is an appropriate modeling paradigm because it can be used to specify continuous dynamics as well as discrete switching between modes. Establishing a formal relationship between the mathematical semantics of a hybrid model and the actual executions of the corresponding code is particularly challenging due to sampling and switching errors. In this paper, we describe an approach to compile the modeling language CHARON that allows hierarchical specifcations of interacting hybrid systems. We show how to exploit the semantics of CHARON to generate code from a model in a modular fashion, and identify sufficient conditions on the model that guarantee the absence of switching errors in the compiled code. The approach is illustrated by compiling a model for coordinated motion of legs for walking onto Sony's AIBO robot.

Advisor
Date of presentation
2003-06-11
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T21:48:01.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Copyright ACM, 2003. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM SIGPLAN Notices, Volume 38, Issue 7, Proceedings of the 2003 ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2003), pages 171-182. Publisher URL: http://doi.acm.org/10.1145/780732.780756
Recommended citation
Collection