The following workshops will be held as part of SafeComp 2021, on Tuesday 7th September:
DECSoS 2021 - 16th International Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems
This workshop at SAFECOMP follows its own tradition since 2006. In the past, it focussed on the conventional type of “embedded systems”, covering all dependability properties. To emphasise more the relationship to physics, mechatronics and the interaction with a somehow unpredictable environment, the terminology changed to “cyber-physical systems”. A new focus is on trustworthiness of smart systems composed from cognitive CPS integrated into IoT infrastructure, challenging system dependability assurance.
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.
COSMOS: Challenges in applying DevOps to complex cyber-physical systems
Sebastiano Panichella, Zurich University of Applied Sciences
Abstract: Much of the increasing complexity of ICT systems is being driven by the more distributed and heterogeneous nature of these systems, with Cyber-Physical Systems accounting for an increasing portion of Software Ecosystems. This basic premise underpins the COSMOS proposal which focuses on blending best practices DevOps solutions with the development processes used in the CPS context: this will enable the CPS world to deliver software more rapidly and result in more secure and trustworthy systems. COSMOS brings together a balanced consortium of big industry, SMEs and academics which will develop enhanced DevOps pipelines which target development of CPS software.
The COSMOS CPS pipelines will be validated against 5 use cases provided by industrial partners representing healthcare, avionics, automotive, utility and railway sectors. These will act as reference use cases when promoting the technology amongst Open Source and standardization communities. For the former a specific community building activity will be performed to stimulate engagement with Open Source; for the latter, the standards experience of the coordinator and partners will be employed to promote COSMOS technologies within heavily regulated sectors where there is an increasing need for well-defined software V&V solutions.
MAPSOD 2021 - 1st International Workshop on Multi-concern Assurance Practices in Software Design
MAPSOD will bring together members of the research, industry, and other communities from various fields involved in the evaluation, assurance, and certification of software-intensive systems, with a particular focus on the transfer of results from fundamental research in model-based development, and tool-supported methodologies for the development of software architectures and assurance cases which address multiple system characteristics including security, safety, reliability, availability, and robustness that can find practical application in the industrial development of cyber-physical systems. Furthermore, industrial perspectives on how to adopt development processes supporting design activities that are flexible enough to support multi concern assurance while minimising additional time, effort, and costs is of interest.
This workshop will take place on the afternoon of 7 September.
WAISE explores new ideas on safety engineering for AI-based systems, ethically aligned design, regulation and standards for AI-based systems. In particular, WAISE will provide a forum for thematic presentations and in-depth discussions about safe AI architectures, ML safety, safe human-machine interaction, bounded morality and safety considerations in automated decision-making systems, in a way that makes AI-based systems more trustworthy, accountable and ethically aligned.
WAISE aims to bring together experts, researchers, and practitioners, from diverse communities, such as AI, safety engineering, ethics, standardisation and certification, robotics, cyber-physical systems, safety-critical systems, and application domain communities such as automotive, healthcare, manufacturing, agriculture, aerospace, critical infrastructures, and retail.