mo deling, v erification and testing of d ependable cri tical systems
In conjunction with 10th International Conference on Model and Data Engineering
21-23 June 2021, Tallinn, Estonia
The International Workshop DETECT 2021 will be held in conjunction with 10th International Conference on Model and Data Engineering (MEDI), Tallinn, Estonia (21-23 June 2021). DETECT 2021 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 system architecture challenges and model-based system engineering practices on design, verification and testing of dependable systems.
All accepted papers will be published in Communications in Computer and Information Science (CCIS) by Springer.
All papers presented in DETECT 2021 will be invited for a special issue in the Journal of Systems Architecture (JSA), Elsevier (IF = 2.552) - (More details).
Critical systems are increasingly used in a variety of domains and in several forms (e.g., cyber physical systems, embedded systems, real-time systems). Such systems are becoming more and more complex as they are networked and composed of heterogeneous subsystems. Integration of components, contributed by respective domain experts, is one of the key challenges in engineering system architectures. Deploying cyber-physical and internet-of-things systems in disparate critical domains requires engineers to ensure the safety and dependability of those systems. The DETECT workshop focuses on all aspects of model-based system engineering of critical systems. 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 (scheduling, performance, security, safety, etc.) of such systems.
From recent headlines, it is clear that current digital systems are brittle and easy to subvert. There are a number of fundamental reasons for this: mostly having to do with complexity and the nonlinear dynamical system out of which a computer is made. Understanding the fundaments of complex dynamical computational systems helps to form the solution space. Formal verification of safety, security and reliability would seem to provide a path out of this predicament: dramatic successes of its application are not lacking. However, unlike traditional software development, no commonly accepted tool chain for correct-by-construction (CxC) development for practical software has evolved. Some speculation will be devoted to the requirements of such a tool chain and what shape it might eventually take. Currently, few languages have an accepted formal semantics let alone proof tools for verification. A reasonably well-accepted semantics for C is available and elements necessary for such a tool chain already exist. Some time will be spent on our own efforts to create a workflow for CxC of high-consequence controls in the C language. Using freely available tools and some commonly-used engineering-design applications, we have demonstrated a compelling, if incomplete answer. This effort may point the way to a more satisfying tool chain which could open the way to developing more reliable software.
Rob Armstrong is a Senior Scientist at Sandia National Laboratories. He is developing applications of formal methods in high-consequence controls and his research interests are in complex dynamical systems.
Workshop topics include, but not limited to:
DETECT 2021 invites papers in three categories. Submission guidelines for each category of paper are as follows:
Each submitted paper must be original, unpublished and not submitted elsewhere. Contributions must 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 2021 Easychair site: https://easychair.org/my/conference?conf=detect20210At least one author of each accepted paper must attend the conference to present the work.
For any question, please contact the pc chairs directly.
Accepted workshop papers will be published by Springer in "Communications in Computer and Information Science".
Accepted and presented papers in DETECT 2021 will be invited for a special issue in the Journal of Systems Architecture (JSA), Elsevier (IF = 2.552). Invited papers must be extended in at least 30% of new material for the journal submission.