The Open Workshop on Synchronous Languages and Systems
SYNCHRON, the International Open Workshop on Synchronous Programming, is devoted to all aspects of synchronous programming: languages, compiling techniques, formal methods, programming environments, execution platforms, semantics issues, code generation. This traditional workshop has become the annual rendez-vous hotpot of the synchronous community and a ’must’ event for anyone interested in keeping up with the latest developments, in front and behind the scenes, in academic and industrial synchronous research. The workshop is renowned for its informal and open character.
2016 Edition Bamberg, Germany
2015 Edition Kiel, Germany
2014 Edition Aussois, France
2013 Edition back to Dagstuhl for the 20th anniversary!
2012 Edition Le Croisic, France
2011 Edition Paris, France
2010 Edition Fréjus, France
2009 Edition Dagstuhl, Germany
2008 Edition Aussois, France
2007 Edition Bamberg, Germany
2006 Edition L’alpe d’Huez, France
2005 Edition Qwara, Malta
2004 Edition Dagstuhl, Germany
2003 Edition Luminy, France
2002 Edition La Londe les Maures, France
2001 Edition Dagstuhl, Germany
2000 Edition St Nazaire, France
1999 Edition Hyères, France
1998 Edition Gandía, Spain
1997 Edition Roscoff, France
1996 Edition Dagstuhl, Germany
1995 Edition Luminy, France
1994 Edition Dagstuhl, Germany
Title: Energy consumption in embedded systems; abstractions for software models, programming languages and verification methods
Author: Florence Maraninchi
(thanks to: M. Moy, L. Mounier, L. Maillet-Contoz, D. Barthel, J.
Cornet, C. Helmstetter, T. Bouhadiba, N. Berthier, L. Samper, …)
Recent Papers (2016):
Implementing a Real-Time Avionic Application on a Many-Core Processor
Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond
42nd European Rotorcraft Forum (ERF’16)
Control-oriented Models for a shared IoT Infrastructure in Smart Cities
Laurent Lemke, Florence Maraninchi, Didier Donsez, Gilles Privat
Modeling power consumption and temperature in TLM models
Matthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi
LITES – Leibniz Transactions on Embedded Systems, Vol 3, No 1 (2016)
The “research topics” category also lists the main papers, with direct pointers to ResearchGate.
Wednesday March 23, 9h30.
Resource-constrained real-time embedded software and systems
Embedded software and systems are already everywhere (in nuclear power plants, smart grids, pacemakers, cars, trains and subways, planes, rockets and satellites, etc.). Most of these contexts are said to be safety-critical: a failure can cause human injuries or death, or severe environment damage. Others might be “only” business-critical: a failure costs a lot of money. To guarantee a very low probability of failure, the most critical systems are based on costly hardware redundancy, dedicated software development methods, and costly validation methods.
Nanosatellites are not safety-critical, and probably not as business-critical as big commercial satellites. Moreover, they are highly resource-constrained (energy consumption, memory, computing power). These observations could lead to choose cheap solutions. However, given the development time and the cost of the launch procedure, failures should be avoided.
We advocate the idea that the development of embedded software and systems for nanosatellites should try and benefit from the accumulated experience on the development of more critical systems; a key problem is to understand which constraints can be relaxed, and which level of quality can be obtained at a reasonable cost.
Argos is a pure synchronous language inspired by Statecharts. It is a synchronous language in which basic programs are explicit Mealy machines, and the compositions operators are the parallel composition and the hierarchic composition. Automata in the Family of Synchronous Languages is a presentation that contains a good summary of Argos.
Students and Main Collaborations:
- PhD Students: Muriel Vachon, Yann Rémond, Lionel Morel
- Collaborations: Airbus, EsterelTechnologies, Schneider Electric, …
- Argos: an Automaton-Based Synchronous Language
- Operational and Compositional Semantics of Synchronous Automaton Compositions
- Verifying Quantitative Real-Time Properties of Synchronous Programs
- Compiling Argos into Boolean Equations
- A Multiparadigm Language for Reactive Systems
- Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra
- Static timing analysis of real-time systems
- Compositional semantics of non-deterministic synchronous languages
- On the Symbolic Analysis of Combinational Loops in Circuits and Synchronous Programs
- Mode-Automata: About Modes and States for Reactive Systems
- Mode-Automata: a new domain-specific construct for the development of safe critical systems
- Effective programming language support for discrete-continuous mode-switching control systems
- Applying Formal Methods to Industrial Cases: The Language Approach (The Production-Cell and Mode-Automata)
- Running-modes of real-time systems: A case-study with mode-automata
- MATOU: An Implementation of Mode-Automata
External References to this Work:
- Amaury Graillat, Master II R, 2014-2015 (with Matthieu Moy)
- Hanan Kanso, Master II R, 2013-2014 (with Matthieu Moy)
- Abdelhaq Beladjine, master II R 2009-2010
- Sofiane Kara Mostefa, master II R 2009-2010
- Laurie Lugrin, Master II R, 2008-2009 (with Laurent Mounier)
- Nicolas Berthier, Master II R, 2007-2008 (with Christophe Rippert)
- Quentin Meunier, Master II R, 2006-2007 (with Karine Altisen)
- Giovanni Funchal, Master IIR, 2006-2007 (with Matthieu Moy)
- Tayeb Sofiane Bouhadiba, Master IIR, 2005-2006
- Muhammad Muzammil Shahbaz, Master IIR, 2004-2005 (with Matthieu Moy)
- David Stauch, Master IIR 2003-2004 (with Karine Altisen)
- Jacques Ndjeng Ndjeng, DEA 2002-2003
- Aurélie Clodic , DEA 2001-2002
- Lionel Morel, DEA 2000-2001
- Fabien Gaucher, DEA 1999-2000
- Yann Rémond, DEA 1997-1998
- Traian Popovici, Master Diploma, Rumania, 1995-1996
- Muriel Vachon, DEA 1990-1991
A collaboration with Airbus Helicopters.
Title Critical Real-Time Embedded Systems on Manycore Architectures
- Co-supervized by Pascal Raymond
- In collaboration with Nicolas Valot, Airbus Helicopters.
A collaboration with STMicroelectronics
In the context of the OpenES European CATRENE project.
Keywords: transaction-level modeling, systems-on-a-chip, component-based design and modeling, performance properties of hardware/software systems
Short Description: In the framework of a recently started European CATRENE project, the synchrone group at VERIMAG is looking for candidates for a 3-year Phd scholarship starting October 2013. The candidate will work in cooperation with STMicrolectronics and the other academic and industrial partners of the project (including TU Eindhoven, Synopsys NL, …).
The Synchrone group at VERIMAG has been working in close cooperation with STMicroelectronics since 2002 (already 4 co-supervized PhD students graduated). The general topic of the collaboration is transaction-level modeling for systems-on-a-chip, considering functional, timing and energy consumption properties. The language SystemC is the standard of the domain, and the transaction-level modeling principles (TLM) are now normalized. See related publications.
In the context of the project, we propose the following topic: high-level hierarchical component-based models for functional and non-functional (timing, energy) properties of systems-on-a-chip. High-level meaning higher than SystemC/TLM here. We will keep in mind that the models have to be interoperable with existing SystemC/TLM components, and that the models should be executable. The candidate will benefit from the availability of realistic case-studies provided by the industrial partners; he/she will also start from a well developed set of tools and approaches.