RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop
RUME, the runtime verification and monitoring technologies for embedded systems workshop, aims at presenting state-of-the-art research, experimentation, significant and original realizations that focus on the design and implementation of runtime verification and monitoring services for embedded systems in both academic and industrial worlds.
The 2018 edition is co-located with the 23rd International Conference on Reliable Software Technologies, Ada-Europe 2018, in Lisbon, Portugal. The workshop will take place on Monday, June 18, 2018.
Ruby 1 Room
|09h30||F. Singhoff||NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems|
|J. Rufino||Hardware Support to Non-intrusive Runtime Verification on Processor Technologies|
|S. Rubini||A Real-Time System Monitoring driven by Scheduling Analysis|
|11h30||Non-intrusive Runtime Verification within a System-on-Chip|
|V. Nicolas||Veriﬁcation of Scheduling Properties Based on Execution Traces|
|J. Rufino||Non-intrusive Observation and Runtime Verification of Avionic Systems|
|14h00||F. Singhoff||EU Project Proposal|
|16h00||J. Rufino||EU Project Proposal (if required)|
Call for Papers
Expected contributions include but are not limited to the following topics, but should all consider monitoring runtime verification of embedded systems:
- Reconfigurable architectures
- Heterogeneous MPSOC and Multicore
- Sensor networks
- Mixed-criticality systems
- Cyber physical systems
- Internet of things
- Methods, software and tool chains
- Model-driven Engineering
- Real-time, concurrency, scheduling and temporal performance
- File systems, storage, and I/Os
- Performance evaluation and optimization
- Safety and security concerns
- Case studies and application projects
Papers can focus on new methods, theories, technologies providing monitoring services or performing on line verifications. Case-studies, examples of use are also welcome.
The workshop will be organized in two sessions. The first session will be devoted to scientific presentations of selected contributions. The second session of the workshop will be an open discussion related to European project proposals around monitoring and runtime verification for embedded systems. People who are only interested on the session about European project proposals is welcome.
- Submission deadline - abstract (extended): May 10th 2018
- Submission deadline - full paper (extended): May 17th 2018
- Notifications to authors: May 28th 2018
- Camera ready versions: June 7th 2018
- Workshop date: June the 18th 2018
Proceedings are expected to be publish in the Ada User Journal (http://www.ada-europe.org/auj/home). Papers should not exceed 4 pages according to the Ada User Journal template. Please, see http://www.ada-europe.org/auj/guide/ for the Microsoft Word or LaTeX Ada User Journal template.
The submission should be made through Easychair, using the following link: https://www.easychair.org/conferences/?conf=rume180
José Rufino, LASIGE/University of Lisboa, Portugal
Frank Singhoff, Lab-STICC/Université de Bretagne Occidentale, France
Jalil Boukhobza, Lab-STICC/Université de Bretagne Occidentale, France
Christian Colombo, University of Malta, Malta
Yliès Falcone, Univ. Grenoble Alpes/Inria, LIG, France
João Lourenço, NOVA LINCS-Universidade NOVA de Lisboa, Portugal
Leonardo Mariani, University of Milano Bicocca, Italia
David Pereira, CISTER Research Centre/ISEP, Portugal
Luis Miguel Pinho, CISTER Research Centre/ISEP, Portugal
Stéphane Rubini, Lab-STICC/Université de Bretagne Occidentale, France
José Rufino, LASIGE/Universidade de Lisboa, Portugal
Frank Singhoff, Lab-STICC/Université de Bretagne Occidentale, France
Volker Stolz, Western Norway University of Applied Sciences, Norway
DeCPS 2018 - Workshop on Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering
In recent years, the Internet-of-things has experienced an extraordinary development with a broad impact on society, however, there is still a gap between the physical world and the cyber one. This has been made possible by rapid advances in the information and communication technologies, in parallel with highly sophisticated embedded systems. As a consequence, the way systems are engineered needs to be changed, as cyber and physical systems cannot be considered disconnected anymore.
Cyber Physical Systems (CPS) constitute a new class of engineered systems, integrating software control and decision making with signals from an uncertain and dynamic environment. Internet transformed the way people interact and deal with information. CPS technology transformed the way people interact with engineered systems. The interest in Cyber Physical Systems research has tremendously increased, as proved by the considerable attention that funding agencies and programs, namely National Science Foundation (NSF) and H2020, devote to the field. On the other hand United States of America has placed CPS on the top of the priority list for federal research investment since 2008 (report of the President's Council of Advisors on Science and Technologies (PCAST)). Challenges addressed are adaptability, scalability, resiliency, dependability, and usability.
CPS are considered a disruptive technology which will transform the traditional manufacturing into Industry 4.0 solutions, and are used in a very wide spectrum of applications: smart mobility, autonomous driving, digital healthcare, smart grids and buildings, digital consumer products and services. "In conclusion, the emerging Digital (R)-evolution relies heavily on Embedded Intelligent Systems technologies in domains where it is paramount that Europe takes leadership role" (Laila Gide, "The pathway to digital transformation: an opportunity for Europe", ARTEMIS Magazine 20 May 2016).
Diamante 1 Room
10:00 ENABLE-S3: Validation & Testing of complex automated systems, Sergio Saez, ITI, Spain
10:30 REASSURE - Secure Runtime Verification for Reliable Real-Time Embedded Software, Luis Miguel Pinho, CISTER/ISEP, Portugal
11:30 AQUAS: A project to bridge the gaps between safety and security processes, Silvia Mazzini, Intecs, Italy
12:00 FED4SAE - A Digital Innovation Hubs for the Smart Anything Everywhere Initiative, Laurent Rioux, Thales, France
12:30 SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication, Bruno Gonçalves, GMV, Portugal
14:00 SCOTT - Secure Connected Trustable Things, José Neves, GMV, Portugal
14:30 Productive 4.0 - Opening the gates to the digital future, TBD
15:00 Discussion on future topics and projects
The workshop will gather together industrial practitioners and researchers in the topics of interest which include, but are not limited to:
- Vehicle of the Future
- Transport and Mobility
- Industry 4.0 in transportation sector
- Security and comfort of the end-user
- Human/Machine Interaction
- Safety and Security
The workshop will also include contributions from relevant projects in the domain, such as Productive 4.0, Amass, ENABLE-S3, SafeCOP, SCOTT, etc. The post-workshop proceedings will be published in the Ada User Journal.
- Sergio Saez, Universidad Politecnica Valencia, Spain
- Pierpaolo Cincilla, IRT SystemX, France
- Mohamed-Emine Laarouchi, CEA, France
- Sebti Mouelhi, ECE Paris, France
- Daniela Cancila, CEA LIST, France
- Martin Torngren, KTH Royal Institute of Technology, Sweden
- Alessandra Bagnato, SOFTEAM, France
- Cristina De Luca, Infineon Technologies Austria AG Austria
- Silvia Mazzini, INTECS Italy
- Laurent Rioux, Thales, France
- Luis Miguel Pinho, CISTER, Portugal
- Submission of regular papers (4 pages, style AUJ) industrial presentations (abstract): 25 April 2018
- Notification of acceptance to all authors: 15 Mai 2018
- Camera-ready version of papers required: 15 September 2018
- Publication on Ada User Journal: December 2018
Authors for papers and industrial presentations shall submit their work via EasyChair at https://easychair.org/conferences/?conf=decps2018.
Paper templates can be found at http://www.ada-europe.org/auj/guide.