Building a Hybrid Systems Modeler on Synchronous Languages Principles

Autor: Jean-Louis Colaço, Albert Benveniste, Cédric Pasteur, Timothy Bourke, Benoît Caillaud, Marc Pouzet

Publikováno v: Proceedings of the IEEE
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568-1592. ⟨10.1109/JPROC.2018.2858016⟩
Proceedings of the IEEE, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568-1592. ⟨10.1109/JPROC.2018.2858016⟩

International audience; Hybrid systems modeling languages that mix discrete and continuous time signals and systems are widely used to develop Cyber-Physical systems where control software interacts with physical devices. Compilers play a central rol

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f641d247d2db8df85cf93ee72fc63ab
https://doi.org/10.1109/jproc.2018.2858016

A Synchronous Look at the Simulink Standard Library

Autor: Cédric Pasteur, Francois Carcenac, Bruno Pagano, Timothy Bourke, Jean-Louis Colaço, Marc Pouzet

Publikováno v: EMSOFT 2017-17th International Conference on Embedded Software
EMSOFT 2017-17th International Conference on Embedded Software, Oct 2017, Seoul, South Korea. pp.23

Hybrid systems modelers like Simulink come with a rich collection of discrete-time and continuous-time blocks. Most blocks are not defined in terms of more elementary ones—and some cannot be—but are instead written in imperative code and explaine

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9f455d8545ac22dcbeb07d58a4fb1de
https://hal.inria.fr/hal-01575631/document

Time Refinement in a Functional Synchronous Language

Autor: Louis Mandel, Cédric Pasteur, Marc Pouzet

Publikováno v: Science of Computer Programming
Science of Computer Programming, 2015
PPDP '13-15th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming
PPDP '13-15th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. pp.169-180, ⟨10.1145/2505879.2505904⟩
PPDP
Science of Computer Programming, Elsevier, 2015

International audience; Concurrent and reactive systems often exhibit multiple time scales. This situation occurs, for instance, in the discrete simulation of a sensor network where the time scale at which agents communicate is very different from th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e56adcbdcc8303258f2a663c95ba0536
https://inria.hal.science/hal-01242733

Reactivity of Cooperative Systems

Autor: Louis Mandel, Cédric Pasteur

Publikováno v: Static Analysis ISBN: 9783319109350
SAS

Cooperative scheduling enables efficient sequential implementations of concurrency. It is widely used to provide lightweight threads facilities as libraries or programming constructs in many programming languages. However, it is up to programmers to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::cc5f1db1f6b4d559797283be7a8edbf1
https://doi.org/10.1007/978-3-319-10936-7_14