We are looking for highly motivated PhD candidates in cyber-physical system design.
Keywords: Cyber-physical systems design, Hybrid systems modeling, Domain specific modeling languages, Model composition, Co-simulation, Requirements engineering, Contract based design, Interface theories, Embedded code generation.
Scientific context: Hybrid system modeling [1,2,3] is extensively used to design computer-controlled physical systems. A hybrid system consists of differential equations coupled to a discrete control program, capturing the nonsmooth behavior of the physics and the behavior of the software and computing architecture. Hybrid system modeling languages and tools such as Simulink or Modelica are now instrumental in all systems industries (aeronautics, automotive, railway, energy…). The design of the system is a concurrent activity involving several stakeholders (engineers, teams or companies) . They proceed by separating concerns, using specific and specialized formalisms and models of computation ranging from continuous to discrete . They start from a set of high-level functional and non-functional requirements and aim at producing heterogeneous but executable models , resulting from the composition of several dedicated (domain-specific) models relative to the various concerns on the system.
Until now, all concerns are usually captured in a uniform modeling and simulation environment with a fixed semantics of the relationships between the various models. In this area, Simulink is a de facto standard design framework, and Modelica a new player. However, more and more domain-specific modeling languages recently appeared for levering on specific experience of particular domains such as embedded and real-time systems . To support this need, Model Driven Engineering provides all the required facilities to design and implement new DSMLs to define the various concerns, usually discrete, of a system . However, these new DSMLs suffer from being disconnected from physics modeling and simulation environments.
Work: In this PhD thesis, we propose to explore the relationship between discrete and continuous in the context of systems engineering in the field of embedded systems. The main objective is to explore the notion of behavioral interfaces (e.g., contracts) for safe composition between continuous models and discrete domain-specific models [7, 8].
In practice, the discrete part would be describe thanks to a domain specific modeling language implemented using model driven engineering (and in particular Eclipse EMF and the GEMOC Studio [13,14]). We expect a language workbench where we can easily define a domain specific modeling language(s), and use it to model discrete concerns connected to continuous phenomenon of a hybrid system. The workbench would offer advanced mechanisms to infer efficient behavioral interfaces from the operational semantics, as well as the required information from the abstract syntax for communicating with continuous phenomenon.
The continuous and nonsmooth behavior of the physics would be described in a hybrid system modeler (e.g., Zélus , a hybrid modeling language where the continuous dynamics is expressed using ordinary differential equations, and mode switching and discrete state jumps are expressed using the dataflow synchronous model of computation). The combination of the software and the physics would be obtained by co-simulation or by translation of both parts to the hybrid system modeler.
Working Environment: The candidate will work at INRIA in the DIVERSE and Hycomes teams (workplace: Université Rennes 1, Campus de Beaulieu, 35000 Rennes, France), the contract is for 36 months, and the monthly net salary is 1600 euros.
How to apply: Please send your application (PDF) as soon as possible. Screening of applications starts immediately and continues until the position is filled. Send cover letter including names of at least two referees, CV, PDFs of Master thesis (or draft), and possibly up to three most relevant publications to Benoit Combemale and Benoit Caillaud.
 Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Non-Standard Semantics of Hybrid Systems Modelers. Journal of Computer and System Sciences (JCSS), 78(3):877-910, 2012.
 Benveniste, A., “Compositional and uniform modelling of hybrid systems,” Decision and Control, 1996., Proceedings of the 35th IEEE Conference on , vol.1, no., pp.153,158 vol.1, 11-13 Dec 1996 doi: 10.1109/CDC.1996.574279
 Timothy Bourke and Marc Pouzet. 2013. Zélus: a synchronous language with ODEs. InProceedings of the 16th international conference on Hybrid systems: computation and control(HSCC ’13). ACM, New York, NY, USA, 113-118. DOI=10.1145/2461328.2461348 http://doi.acm.org/10.1145/2461328.2461348
 James D. Herbsleb. 2007. Global Software Engineering: The Future of Socio-technical Coordination. In 2007 Future of Software Engineering (FOSE ’07). IEEE Computer Society, Washington, DC, USA, 188-198. DOI=10.1109/FOSE.2007.11 http://dx.doi.org/10.1109/FOSE.2007.11
 Benoit Combemale, Julien DeAntoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, Jeff Gray, “Globalizing Modeling Languages,” Computer, vol. 47, no. 6, pp. 68-71, June, 2014
 David Harel and Assaf Marron. 2012. The quest for runware: on compositional, executable and intuitive models. Softw. Syst. Model. 11, 4 (October 2012), 599-608. DOI=10.1007/s10270-012-0258-8 http://dx.doi.org/10.1007/s10270-012-0258-8
 Luca de Alfaro and Thomas A. Henzinger. 2001. Interface automata. In Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-9). ACM, New York, NY, USA, 109-120. DOI=10.1145/503209.503226 http://doi.acm.org/10.1145/503209.503226
 Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, and Roberto Passerone. 2011. A Modal Interface Theory for Component-based Design. Fundam. Inf. 108, 1-2 (January 2011), 119-149.
 When Systems Engineering Meets Software Language Engineering (Jean-Marc Jézéquel, David Mendez, Thomas Degueule, Benoit Combemale, Olivier Barais), In Complex Systems Design & Management (CSD&M’14), Springer, 2014.
 Reifying Concurrency for Executable Metamodeling (Benoit Combemale, Julien Deantoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert France), In 6th International Conference on Software Language Engineering (SLE 2013) (Richard F. Paige Martin Erwig, Eric van Wyk, eds.), Springer-Verlag, 2013. http://hal.inria.fr/hal-00850770
 Modelica: https://www.modelica.org
 Zélus: http://zelus.di.ens.fr
 The GEMOC Initiative: http://gemoc.org
 The GEMOC Studio: https://ci.inria.fr/gemoc/job/org.gemoc.gemoc_studio.root