Advances in modeling, verification and testing of safety-critical software architectures

  in Special Issue   Posted on September 28, 2020

Information for the Special Issue

Submission Deadline: Tue 15 Dec 2020
Journal Impact Factor : 0.000
Journal Name : Innovations in Systems and Software Engineering
Journal Publisher:
Website for the Special Issue: https://www.springer.com/journal/11334/updates/18127852
Journal & Submission Website: https://www.springer.com/journal/11334

Special Issue Call for Papers:

Guest Editors

Yassine Ouhammou
LIAS/ISAE-ENSMA, France
Email: yassine.ouhammou@ensma.fr

Abderrahim Ait Wakrime
Faculty of Sciences, Mohammed V University, Morocco 
Email: abderrahim.aitwakrime@um5.ac.ma

Scope

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

Closed Special Issues