REMEDY2019: foRmal modEls for Mastering heterogeneous multifacEteD sYstems ENSEEIHT Engineer school Toulouse, France, October 28, 2019 |
Conference website | https://remedy2019.ls2n.fr/ |
Submission link | https://easychair.org/conferences/?conf=remedy2019 |
Abstract registration deadline | May 10, 2019 |
Submission deadline | June 14, 2019 |
International Workshop FoRmal ModEls for Mastering Heterogeneous MultifacEteD SYstems (REMEDY @ MEDI 2019) - October 28th - Toulouse France
news, may 23 2019: the workshop proceedings will be published in a CCIS volume with Springer (http://www.springer.com/series/7899)
Numerous software-based systems are distinguished by their needs to handle simultaneously multiple facets: complex behaviours, intensive data, continuous reaction with their environment, evolving physical environments, time properties, robustness to failure, etc.
Modelling, analysing and building such multifaceted systems are still challenging research concerns.
The purpose of the workshop is to connect researchers and practionners working on various aspects of such systems which involve heterogeneous components, distributed and embedded systems, reactive systems, etc.
As an event of MEDI’2019, the workshop will be scheduled on half a day (October 28th, 2019), for the presentation of papers selected by an international programme committee.
Submission Guidelines
All submitted papers must be 12-14 pages long, following the Springer CCIS format. Please, see http://www.springer.com/series/7899
These submissions may be:
- Original research papers providing new concepts and results
- Experience reports, case studies
- Tool presentations
Important Dates
- Abstract submission :
Friday,May 10th, 2019, June 23th 2019 - Paper submission deadline :
Friday, June 14th, 2019, June 30th, 2019 - Notification of rejection/acceptance : Friday,
July 4th, 2019, July 19th, 2019 - Camera-ready version of accepted papers : Thuesday,
July 16, 2019, August 2, 2019 - REMEDY Workshop : October 28, 2019, Toulouse, France
- MEDI’2019 Conference : October 28-31, 2019, Toulouse, France
List of Topics
The topics of interest of the workshop include, but are not limited to:
- New concepts, models, theory and tools for multifacted systems
- Formal modelling of multifaceted systems;
- Formal modelling of embedded systems and mechatronic systems
- Analysis of interactive distributed systems
- Standards for interchange between models, methods, provers, model checkers
- All aspects of interaction between formal analysis tools
- Correct-by-construction (refinement-based) methods
- Contract-based design and verification
- Probabilistic modelling and analysis
- Compositional approaches to heterogeneous systems
- Heterogeneous models for cyber-physical or mechatronic systems
- Case studies
Committees
Program Committee Co-chairs
- Christian Attiogbé (University of Nantes, France) is Professor in Computer Science at University of Nantes. His research interests include formal approaches for software modelling and analysis, correct-by-construction using refinement, heterogeneous systems.
- Patricia Derler (National Instruments, USA), is Research Scientist at National Instruments, Berkeley. Her research surrounds modeling and simulation of Cyber-Physical Systems with a focus on timed models of computations, correct-by-construction methodologies for system-level design and analysis as well as modeling of predictable behavior in software, platform, network and environment.
- Martin Törngren (KTH, Sweden) is a Professor in Embedded Control Systems at the Department of Machine Design at KTH. He has a strong interest in multidisciplinary research spanning systems, software, control, computer science and mechatronics. Past years he has in particular focused on model based engineering, safety and architectural design in the context of software-intensive cyber-physical systems. He is the initiator of the KTH-industry competence network (ICES) and has extensive experience in leading multidisciplinary academia/industry collaborations.
Program Committee (under construction)
- Christian Attiogbé (University of Nantes, France)
- Yamine Ait Ameur (ENSEEIHT, France)
- Luis Barbosa (University of Minho, Portugal)
- Maurice ter Beek, (ISTI-CNR Pisa, Italie)
- Sadok Ben Yahia, University of Tunis
- DeJiu Chen (KTH, Sweden)
- Patricia Derler (National Instruments, USA)
- Stephan Hallerstade (Aarhus University, Denmark)
- Slim Kallel, RedCad, University of Sfax
- Dominique Mery (University of Nancy, France)
- Mohamed Messabihi (University of Tlemcen, Algeria)
- Hassan Mountassir (University of Besançon, France)
- Manuel Núñez, (Universidad Complutense of Madrid, Spain)
- Iliena Ober, IRIT, Université de Toulouse, France
- Jérôme Rocheteau (ICAM/LS2N, France)
- Martin TÖRNGREN (KTH, Sweden)
- Ismael Bouassida Rodriguez, RedCad, University of Sfax
- Stavros Tripakis (Univ. of Aalto, Finland)
- Hans Vangheluwe (Univ. of Antwerp, Belgium)
- Marina Walden (Abo Akademi University, Finland)
- Virginie Wiels, (ONERA, France)
- ...
Organizing committee
- Please see MEDI 2019 organization committee
Publication
REMEDY'2019 proceedings will be published in a CCIS volume with Springer (new, may 23) https://www.springer.com/series/7899
Venue
The conference (as a satellite event of MEDI'2019) will be held from 28 to 31 October 2019 in Toulouse, France https://www.irit.fr/MEDI2019/committees.html
Contact
All questions about submissions should be emailed to christian.attiogbe@univ-nantes.fr