Statecharts: A visual formalism for complex systems
Science of Computer Programming
Real-time object-oriented modeling
Real-time object-oriented modeling
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
The Unified Modeling Language user guide
The Unified Modeling Language user guide
PLC-automata: a new class of implementable real-time automata
Theoretical Computer Science - Special issue on real-time systems and concurrent and distributed software
The embedded machine: predictable, portable real-time code
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Linear System Theory and Design
Linear System Theory and Design
Linear Systems
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
What's Ahead for Embedded Software?
Computer
Proceedings of the First International Workshop on Embedded Software
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Omnidirectional Locomotion for Quadruped Robots
RoboCup 2001: Robot Soccer World Cup V
Giotto: A Time-Triggered Language for Embedded Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Modular Code Generation from Hybrid Automata based on Data Dependency
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Counter-example guided predicate abstraction of hybrid systems
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Distributed-code generation from hybrid systems models for time-delayed multirate systems
Proceedings of the 5th ACM international conference on Embedded software
Generating optimized code from SCR specifications
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
Time-triggered implementations of dynamic controllers
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
An analysis framework for network-code programs
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Dispatch sequences for embedded control models
Journal of Computer and System Sciences
Journal of Visual Languages and Computing
The Challenges of Building Advanced Mechatronic Systems
FOSE '07 2007 Future of Software Engineering
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Model-Driven Development of Reliable Automotive Services
Robust safety of timed automata
Formal Methods in System Design
Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A formal representation of discrete event models in Ptolemy II
ICACT'10 Proceedings of the 12th international conference on Advanced communication technology
SPARDL: a requirement modeling language for periodic control system
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Implementation of timed automata: an issue of semantics or modeling?
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Time-Triggered Implementations of Dynamic Controllers
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A novel requirement analysis approach for periodic control systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
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 specifications 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.