DepDevOps 2020: 1st International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems VIP Executive Art´s Hotel Lisbon, Portugal, September 12-15, 2020 |
Conference website | http://safecomp2020.di.fc.ul.pt/ |
Submission link | https://easychair.org/conferences/?conf=depdevops2020 |
Submission deadline | May 25, 2020 |
In recent years it has become evident that the use of software to perform critical functions is on the rise. As a result, dependable embedded systems are getting more intelligent and automated. For instance, the automotive industry is a clear witness of this trend, where more and more Advanced Driver-Assistance Services (ADAS) are already embedded in cars. This results in a dramatic increase of software complexity, which also requires hardware platforms with higher computing power. All these trends hinder the safety certification, as it is increasingly difficult to guarantee at design time that system errors are prevented or controlled in such a way that there will be no unreasonable risk associated to the electrical/electronic system component at operation time. These challenges are leading to the need for new development practices that reduce the overall system development time and costs without compromising safety and certification.
The rise of new connection technologies (e.g., 5G) bring new opportunities in terms of the download of frequent software updates of new (improved) releases and sending back operation-time information for fixing bugs and enhance the design. Advances done in new development practices like DevOps have shown effectiveness in software development while reducing overall development costs. The DevOps paradigm aims at having seamless methods for the Design-Operation Continuum of software systems. This paradigm has shown promising results in different domains, including web and mobile engineering. Its practices can bring several advantages to dependable CPSs, including bug fixing based on operational data, the inclusion of new functionalities, etc.
However, in the context of dependable CPSs, several challenges arise, requiring DevOps paradigms to have adaptations from several perspectives: the environment in which the CPS operates needs to be considered when updating the software, dependability of software needs to be ensured to a certain level, software fault might lead to severe damages, etc. Furthermore, the safety-critical industry has well-established safety-lifecycles dictated by safety standards and adopting the DevOps paradigm has several open research challenges.
The Dep-DevOps workshop explores innovative solutions towards the adoption of DevOps in the safety-critical domain, considering all software and hardware aspects from system specification and design up to its verification and validation considering continuous software deployment and monitoring features as well as the certification. Workshop proceedings will be provided as complementary book to the SAFECOMP Proceedings in Springer LNCS.
Submission Guidelines
You are invited to submit three types of papers:
- Full paper (up to 12 pages)
- Short papers (up to 6 pages)
- Journal-first papers (extended abstract up to 2 pages). PLEASE NOTE that the extended abstracts will not be published by Springer LNCS.
Please keep your paper format according to Springer LNCS formatting guidelines (single-column format): https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
Manuscripts must be submitted as PDF files via EasyChair online submission system:
https://easychair.org/conferences/?conf=depdevops2020
All papers will be peer-reviewed by the Program Committee (minimum of 3 reviewers per paper). The workshop follows a single-blind reviewing process.
List of Topics
- Safe and secure continuous deployment of software updates for CPSs
- Over the air software updates of CPSs
- Runtime verification methods of CPSs
- Assurance and certification of DevOps methodologies for CPSs
- Runtime monitoring on complex high-performance/heterogeneous platforms
- Secure data transmission
- Traceability between operational data with development data
- Automated methodologies for testing, verification and validation of CPSs
Committees
Program Committee
- Wasif Afzal (MDH University)
- Shaukat Ali (Simula Research Laboratory)
- Aitor Agirre (Ikerlan)
- Irune Agirre (Ikerlan)
- Paolo Arcaini (National Institute of Informatics, Japan)
- Aitor Arrieta (Mondragon University)
- Fran J. Cazorla (BSC)
- Leonidas Kosmidis (BSC)
- Jon Perez (Ikerlan)
- Mikel Azkarate-Askasua (Ikerlan)
- Goiuria Sagardui (Mondragon University)
- Kim Grüttner (Offis)
- Haris Isakovic (TU Wien)
- Miren Illarramendi (Mondragon University)
- Blanka Kremer (Ikerlan)
- Eduard Paul Enoiu (MDH University)
- Shuai Wang (Testify)
- Radu Grosu (TU Wien)
- Ezio Bartocci (TU Wien)
Organizing committee
- Haris Isakovic (TU Wien)
- Miren Illarramendi (Mondragon University)
- Aitor Arrieta (Mondragon University)
- Irune Agirre (IKERLAN)
Venue
The conference will be held in the VIP Executive Art’s Hotel. This hotel is a four-star hotel that is strategically located in the Parque das Nações area, Lisbon’s modern business centre, offering an easy access to several leisure, restaurant and entertainment areas.
Contact
- Haris Isakovic (haris@vmars.tuwien.ac.at)
- Miren Illarramendi (millarramendi@mondragon.edu)