Scope

Critical systems are more and more used in different domains and under several forms (e.g., cyber physical systems, embedded systems, real-time systems) and become more complex since they can be networked and composed of heterogeneous subsystems. Due to their heterogeneity and variability, critical systems require the expertise of modeling, verification and testing area to ensure their dependability and safety of their software architectures. The international workshop on moDeling, vErification and Testing of dEpendable CriTical systems (DETECT) will be mainly based on model-based system engineering paradigm and software architecture challenges. Also, DETECT aims to create a common community from academia and industry to share best practices, tools and methodologies taking into account the functional and non-functional aspects (e.g., scheduling, performance, security, safety, etc.).

Call for Contributions

Critical systems are emerging research fields where the safety is dependent upon the precise operations of the system. With this in mind, the software architecture is one of the most challenging topics for critical dependable systems since it requires integrating solutions from experts of various domains. Also, integration of components contributed by respective domain experts is one of the key challenges in engineering software architectures. Yet, deploying for example cyber-physical and internet-of-thing systems in several critical domains requires to ensure the safety and dependability of those systems. DETECT 2020 aims to bring together researchers from participating domains with practitioners to identify new frontiers in software architecture engineering of critical dependable systems, discuss challenges raised by real-world applications, and transfer latest insights from research to industry.

Topics

Workshop topics include, but not limited to:

• Formal specification of software architectures and verification of dependable and critical systems
• Domain specific modeling 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’ software architectures
• Data engineering facilities and requirement engineering techniques for critical systems
• Realistic case studies, applications and experimentation studies, applications and experimentation

Committees

Workshop Co-chairs

• Yassine Ouhammou, LIAS/ISAE-ENSMA, France
• Abderrahim Ait Wakrime, FSR Mohammed V University, Morocco

Program Committee

• Shaukat Ali, Simula, Norway
• Youness Bazhar, ASML, Netherlands
• Alessandro Biondi, Scuola Superiore Sant’Anna, Italy
• Mohamed Yassin Chkouri, Abdelmalek Essaâdi University, Morocco
• Khalil Drira, LAAS-CNRS - University of Toulouse, France
• Rachida Dssouli, Concordia University, Canada
• Mamoun Filali-Amine, IRIT, France
• Abdelouahed Gherbi, ETS Montreal, Canada
• Fahad Golra, Agileo Automation, France
• Paul Gibson, Telecom sudParis, France
• Emmanuel Grolleau, LIAS/ISAE-ENSMA, France
• Geoff Hamilton, Dublin City University, Ireland
• Jameleddine Hassine, KFUPM, KSA
• Jérome Hugues, SEI CMU, USA
• Gwanggil Jeon, Incheon National University, Korea
• Slim Kallel, University of Sfax, Tunisia
• Tomasz Kloda, Technische Universität München, Germany
• Zakaria Maamar, Zayed University, Dubai, UAE
• Van-Hien Ngo, STE Hanoi University, Vietnam
• Réda Nouacer, CEA, France
• Mehrdad Saadatmand, RISE SICS Västerås, Sweden
• Colin Snook, University of Southampton, United Kingdom
• Laura Titolo, NASA - National Institute of Aerospace, USA
• Faiez Zalila, CETIC, Belgium

Submission

DETECT 2020 invites papers in three categories. Submission guidelines for each category of paper are as follows:

1. Regular research papers: contributions should describe original work (12-14 pages including all text, figures, references and appendices).
2. Industrial case studies and lessons learned papers: works with experiences and notable industrial advances using model-driven engineering technology for verification and testing purposes (12-14 pages including all text, figures, references and appendices).
3. Short papers and position papers: research in progress, tools presentations, and new ideas (6-10 pages including all text, figures, references and appen- dices).

Each submitted paper must be original, unpublished and not submitted elsewhere. ​Contributions should be written in English and be prepared using Springer’s Lecture Notes in Computer Science (LNCS) format. Submitted papers will be carefully evaluated by at least three reviewers.

Submissions must be in PDF format and should be made using the DETECT 2020 Easychair site: https://easychair.org/conferences/?conf=detect2020

Accepted workshop papers will be published by Springer in "Communications in Computer and Information Science".

Accepted and presented papers in DETECT 2020 will be invited for a special issue in the NASA Journal: Innovations in Systems and Software Engineering, Springer. Invited papers must be extended in at least 30% of new material for the journal submission - (More details).

At least one author of each accepted paper must attend the conference to present the work.

For any question, please contact the workshop chairs directly.

Important Dates

• Abstract submission: 28 June, 2020
• Full paper submission deadline: 24 June, 2020 28 June, 2020(AoE)
• Notification of acceptance: 8 July, 2020
• Camera-ready papers: 13 July, 2020
• DETECT Workshop 14 September, 2020

Accepted Papers

• Measurement-based timing analysis on heterogeneous MPSoCs: a practical approach

  Roy Jamil, Emmanuel Grolleau, Bernard Dautreveaux and Antoine Bertout

• Awas: AADL Information Flow and Error Propagation Analysis Framework

  Hariharan Thiagarajan, John Hatcliff and Robby

• Formal verification of run-to-completion style statecharts using Event-B

  Karla Morris, Colin Snook, Thai Son Hoang, Geoffrey C. Hulette, Rob Armstrong and Michael Butler

• A Simulator Coupling Architecture for the Creation of Digital Twins

  Thomas Kuhn, Pablo Oliveira Antonino and Adam Bachorek

• Integrating Runtime Verification into an Automated UAS Traffic Management System

  Matthew Cauwels, Abigail Hammer, Benjamin Hertz, Phillip Jones and Kristin Rozier

• Dependability of Model-Driven Executable DSLs: Critical Review and Solutions

  Akram Idani

Program

Previous editions

• DETECT 2019
• DETECT 2018