REMEDY'2018: foRmal ModEls for Mastering multifacEteD sYstems MEDI'2018 Conference / Le Meridien N'Fis Marrakesh, Morocco, October 24, 2018 |
Conference website | https://remedy2018.ls2n.fr/ |
Submission link | https://easychair.org/conferences/?conf=remedy2018 |
Abstract registration deadline | May 18, 2018 |
Submission deadline | June 8, 2018 |
International Workshop FoRmal ModEls for Mastering MultifacEteD SYstems (REMEDY @ MEDI 2018)
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’2018, the workshop will be scheduled on half a day (October 24th, 2018), 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 LNCS format. These submissions may be:
- Original research papers providing new concepts and results
- Experience reports, case studies
- Tool presentations
Important Dates
- Abstract submission : Friday, May 18th, 2018
- Paper submission deadline :
Friday, June 1st, 2018Friday, June 8th, 2018 - Notification of rejection/acceptance : Friday, June 29th, 2018
- Camera-ready version of accepted papers : Monday, July 9, 2018
- REMEDY Workshop : October 24, 2018, Marrakesh, Morocco
- MEDI’2018 Conference : October24-26, 2018, Marrakesh, Morocco
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
- Christian Attiogbé (University of Nantes, France)
- Yamine Ait Ameur (ENSEEIHT, France)
- Mohamed Tahar Bhiri (University of Sfax, Tunisia)
- Maurice ter Beek, (ISTI-CNR Pisa, Italie)
- Imen Ben Hafaiedh (University of Tunis El Manar, Tunisia)
- DeJiu Chen (KTH, Sweden)
- Patricia Derler (National Instruments, USA)
- Stephan Hallerstade (Aarhus University, Denmark)
- PhD Henrik Lönn (Senior expert at Volvo, Sweden)
- Eric Madelaine (Inria Sophia Antipolis, France)
- 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)
- Martin TÖRNGREN (KTH, Sweden)
- Stavros Tripakis (Univ. of Aalto, Finland)
- Hans Vangheluwe (Univ. of Antwerp, Belgium)
- Marina Walden (Abo Akademi University, Finland)
- Virginie Wiels, (ONERA, France)
Organizing committee
Publication
REMEDY'2018 proceedings will be published "Communications in Computer and Information Science", Springer
Venue
The conference (as a satellite event of MEDI'2018) will be held in Le Meridien N'Fis, Marrakesh, Morroco - Venue
Contact
All questions about submissions should be emailed to christian.attiogbe@univ-nantes.fr