posted by user: sadegh_rk || 2160 views || tracked by 1 users: [display]

DepDevOps 2022 : 3rd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems

FacebookTwitterLinkedInGoogle

Link: https://safecomp22.iks.fraunhofer.de/wp-content/uploads/2022/03/DepDevOps-2022-call-for-papers.pdf
 
When Sep 6, 2022 - Sep 6, 2022
Where Garching, Germany
Submission Deadline May 9, 2022
Notification Due May 31, 2022
Final Version Due Jun 18, 2022
Categories    formal methods   cyber-physical systems   security   data science
 

Call For Papers

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.
Topics of Interest

Contributions are sought in (but not limited to) the following 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

Important dates
Full paper submission: 9 May 2022
Notification of acceptance: 31 May 2022
Camera-ready submission: 18 June 2022
Workshop: 6 September 2022
Submission Guidelines
All papers will be reviewed by at least three members of the Program Committee. Papers must
not have been previously published or concurrently submitted elsewhere. Accepted articles will
be published by Springer in the LNCS Series. All paper submissions must be formatted according
to the LNCS templates provided by Springer.
Papers (6 - 12 pages) will be reviewed by at least three reviewers.
Manuscripts must be submitted as PDF files via EasyChair online submission system:
https://easychair.org/my/conference?conf=safecomp22

******************************************************************************
ORGANIZING COMMITTEE
- Miren Illarramendi (Mondragon University)
- Aitor Arrieta (Mondragon University)
- Irune Agirre (IKERLAN)

CONTACT
- Miren Illarramendi (millarramendi@mondragon.edu)
- Irune Agirre (iagirre@ikerlan.es )

Related Resources

IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
SPIE-Ei/Scopus-CVCM 2024   2024 5th International Conference on Computer Vision, Communications and Multimedia (CVCM 2024) -EI Compendex
DSN 2024   The 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
ELE 2024   8th International Conference on Electrical Engineering
CCGrid 2025   The 25th IEEE/ACM international Symposium on Cluster, Cloud and Internet Computing
ARIA 2024   11th International Conference on Artificial Intelligence & Applications
CCBDIOT 2024   2024 3rd International Conference on Computing, Big Data and Internet of Things (CCBDIOT 2024)
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
DTMO 2024   Digital Twins for modeling and optimization of manufacturing system operation
Ei/Scopus-CISDS 2024   2024 3rd International Conference on Communications, Information System and Data Science (CISDS 2024)