Call for papers: Advances in modeling, verification and testing of safety-critical software architectures

Guest Editors

Yassine Ouhammou

Abderrahim Ait Wakrime
Faculty of Sciences, Mohammed V University, Morocco 


The area of critical systems represents the intersection of several systems criteria based on dependability properties like availability, reliability, reparability, maintainability, etc. Due to their heterogeneity and variability, critical systems require the expertise of modelling, verification and testing domains to ensure their dependability and safety.

This special issue aims to present best practices, tools and methodologies taking into account the functional and non-functional aspects (including, but not limited to: scheduling, performance, security, safety, etc.).

This special issue will be a collection of papers on the following topics in the context of Critical dependable systems:

  • Formal specification of software architectures and verification of dependable and critical systems
  • Domain specific modelling languages, ontologies, methods and software frameworks for critical systems
  • Software architecture evaluation of functional and non-functional properties (performance, security, safety, etc.)
  • Methodologies and Tools for CPS architectures and RTES Design
  • Model-based testing of dependable critical systems
  • Test models of dependable critical systems
  • Data engineering facilities and requirement engineering techniques for software architectures of critical systems

All original manuscripts that fit within the scope are welcome. Authors of papers presented at the DETECT 2020 workshop are especially encouraged to submit to this SI.

Important dates

Submission of manuscripts: 15 December 2020
Initial notification: 1 March 2021
Submission of revised papers: 30 April 2021
Notification to authors (final decision): 31 May 2021