2nd International Workshop on Modeling, Verification and Testing of Dependable Critical Systems - DETECT 2019

Країна: Франція

Місто: Toulouse

Тези до: 15.06.2019

Дати: 28.10.19 — 31.10.19

Область наук: Фізико-математичні;

Швидкі посилання

Розкажіть колегам:

Е-мейл Оргкомітету: bderrahim.ait-wakrime(at)railenium.eu

Організатори: DETECT Committee


The International Workshop DETECT 2019 ​will be held in conjunction with 9th International Conference on Model & Data Engineering (MEDI), Toulouse, France (28-31 October 2019)​. DETECT 2019 will provide to the scientific community a dedicated forum for discussing and representing experiences, state-of-the-art reports and work in-progress related to the model-based engineering on design, verification and testing of dependable critical systems.

The area of critical systems represents 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. The international workshop on moDeling, vErification and Testing of dEpendable CriTical systems (DETECT) will be mainly related to the model-based system engineering paradigm. DETECT aims to create a common community from academia and industry to share best practices, tools and methodologies considering functional and/or non-functional aspects (e.g., scheduling, performance, security, safety, etc.)


Workshop topics include, but not limited to:

  • Formal specification and verification of dependable and critical systems
  • Domain specific modeling languages, ontologies, methods and frameworks
  • System evaluation of functional and non-functional properties (scheduling, performance, security, safety, etc.)
  • Methodologies and Tools for CPS and RTES Design
  • Model-based testing of dependable critical systems
  • Test models of dependable critical systems
  • Data engineering facilities and requirement engineering techniques for ensuring dependability of critical systems
  • Realistic case studies, applications and experimentation

Веб-сторінка конференції: https://detect.ensma.fr/2019/