Modeling, verification and Testing of dependable critical systems (VSI:DETECT-2021)

Scope and Aim:

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 modeling, 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:

The topics of interest include, but are not limited to:

• Formal specification and modeling of dependable critical systems,
• Rigorous model-based verification and validation methods for dependable critical systems,
• Domain specific modeling languages, ontologies, methods and software frameworks for critical systems,
• Modeling of software architectures and evaluation of their functional and non-functional properties (performance, security, safety, etc.),
• Model-based methodologies and tools for developing CPS architectures and RTES design,
• Model-based testing of dependable critical systems,
• Data engineering facilities and requirement engineering techniques for critical systems,
• Realistic case studies, applications and experimentation studies.

All original manuscripts that fit within the scope are welcome. Authors of papers presented at the DETECT 2021 workshop (https://detect.ensma.fr/2021/) are especially encouraged to submit to this SI.

Submission Details:

General information for submitting papers to JSA can be found at https://www.journals.elsevier.com/journal-of-systems-architecture. Submissions should be made online at https://www.editorialmanager.com/jsa/. Please select the “VSI:DETECT-2021” option as the type of the paper during the submission process. Please direct all enquiries regarding this SI to the guest editors.

JSA has adopted the Virtual Special Issue Model to speed up the publication process, where Special Issue papers are published in regular issues, but marked as SI papers. Acceptance decisions are made on a rolling basis. Therefore, authors are encouraged to submit papers early, and need not wait until the submission deadline.

Important Dates

Submission deadline: September 10, 2021

Initial notification: November 10, 2021

Submission deadline for revised papers: December 10, 2021

Final acceptance/rejection notification: January 30, 2022

Publication: As per the policy of journal

Guest Editors:

Yassine Ouhammou, LIAS, ISAE-ENSMA, Futuroscope, France.
Email: [email protected]

Abderrahim Ait Wakrime, Computer Science Department, Faculty of Sciences, Mohammed V University, Rabat, Morocco.  Email: [email protected]

Colin Snook, Electronics & Computer Science, University of Southampton, United Kingdom.
Email: [email protected]