A core language for executable models of cyber physical systems: work in progress report

Authors:
Walid Taha;Paul Brauner;Robert Cartwright;Verónica Gaspes;Aaron Ames;Alexandre Chapoutot
Affiliations:
Halmstad University, Halmstad, Sweden and Rice University, Houston, TX;Rice University, Houston, TX;Rice University, Houston, TX;Halmstad University Halmstad, Sweden;University of Texas A&M, College Station, TX;ENSTA ParisTech, Paris, France
Venue:
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Year:
2011

Citing 13
Cited 0

The formal semantics of programming languages: an introduction

The formal semantics of programming languages: an introduction
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Functional reactive programming from first principles

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Real-time FRP

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Synchronous Programming of Reactive Systems

Synchronous Programming of Reactive Systems
Event-Driven FRP

PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Modular Specification of Hybrid Systems in CHARON

HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
E-FRP with priorities

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Implementing Haptic Feedback Environments from High-Level Descriptions

ICESS '09 Proceedings of the 2009 International Conference on Embedded Software and Systems
European Train Control System: A Case Study in Formal Verification

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Mathematical equations as executable models of mechanical systems

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Beyond zeno: get on with it!

HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control

Quantified Score

Hi-index	0.00

Visualization

Abstract

Recently we showed that an expressive class of mathematical equations can be automatically translated into simulation codes. Focusing on the expressivity of equations on continuous functions, this work considered only minimal interaction with discrete behaviors and only a static number of statically connected components. However, the interaction between continuous and hybrid components in many cyber physical domains is highly coupled, and such systems are often highly dynamic in both respects. This paper gives an overview of a proposed core language for capturing executable hybrid models of highly dynamic cyber physical systems.