[AISWorld] CfP: The First Workshop on Dependability Modeling and Design (WDMD) at ISSRE2021

[Nuno Laranjeiro]

=========================CALL FOR PAPERS=========================

                           WDMD 2021

       The First Workshop on Dependability Modeling and Design (WDMD) 2021
                    co-located with ISSRE 2021

                http://2021.issre.net/WDMD
                     Wuhan, China - Hybrid Event
                       October 25 - 28, 2021

Regular Papers and Abstract:
   * Submission deadline: August 3, 2021
   * Notification deadline: August 21, 2021
   * Camera-ready deadline: August 28, 2021
=================================================================

====== Scope ======

Dependability Modeling and Design refers to the real interaction between business and dependability ability technology based on the support and capabilities provided by information technology. Dependability Modeling and Design consists of three modules: conceptual model for dependability, digitalization design for dependability, and software dependability. The digitalization design for dependability is divided in to knowledge formalization, activity automation, and data-driven evolution.
Conceptual Model for Dependability：With the development of science and technology, the composition of the system becomes more and more complex, resulting in more and more prominent problems of system dependability. In addition, with the continuous evolution from closed system to autonomous system, the conceptual model of dependability based on closed systems is no longer applicable for autonomous systems. How to construct a new conceptual model for dependability based on the human factors, specifications, implementations, environments, and requirements becomes a very challenging problem.
Dependability Ontology and Meta-model：The concept of ontology originates from philosophy and is used to express the origin of the world and the nature of being. Dependability ontology is a standardized description of dependability conceptualization. Standardized description represents taking a formal, machine-readable form of expression. Dependability meta-models define specifications that describe dependability-related models, that is, the elements that make up each dependability model and the relationships between the elements. Meta-model makes knowledge general and reusable.
Digitalization Design for Dependability：System dependability engineering is key technique to deal with system failures during the whole life of the system. With the increasing complexity of the system, the construction for the dependability capability of the system development also becomes challenging. We expect dependability digital engineering system which can establish modeled and automated dependability analysis for the concept phase, planning phase, development phase, and verification phase，resulting in an interpretable, inheritable, and reusable dependability process technology.
Software Dependability：The scale of the software system becomes larger and more complex, and its dependability is becoming much more difficult to guarantee. The applications of software also have high requirements for the dependability of system operation. In some key application fields, such as digital wisdom medicine, precision manufacturing and so on, the dependability requirements are very high (at least 99.9999%). We expect to establish industry available software dependability metrics system, evaluation model, design, and verification methods.

====== Topics ======

The list of relevant topics include but is not limited to:
   * Dependability concept model
   * The ontology of dependability and its applications (Read more in Overview)
   * Dependability meta-model (Read more in Overview)
   * Dependability digital engineering system theory and methods (Read more in Overview)
   * Model based dependability engineering
   * SysML based dependability modeling
   * Software dependability model
   * Software dependability design
   * Software dependability evaluation
   * Software fault tolerance
   * Artificial intelligence dependability analysis
   * Software dependability testing
   * Dependability tools

====== Venue ======

The First Workshop on Dependability Modeling and Design Workshop WDMD will be held in conjunction
with the 32nd edition of the ISSRE Conference that will be held in Wuhan, China,
Oct 25 - 28, 2021. Also this year both the WDMD Workshop and the ISSRE
Conference will adopt a hybrid model allowing either in-person or online remote
presentations.

Information regarding how to follow the events will be provided in the next
future.

====== Regular Papers and Abstract ======

Papers submitted for evaluation must be original, unpublished, and not submitted
for publication elsewhere.

Any submission of a contribution implies that, if accepted for presentation, at
least one of its proponents must register (paying the requested fee) and attend
the conference for giving the presentation.

===== Submissions =====

The goal of the WDMD is to bring together researchers and practitioners working on the conceptual model for dependability, the digitalization design for dependability, and the software dependability. While the event is scheduled to take place in person we also welcome proposals for remote presentations.

Paper are submitted via Easychair available at: https://easychair.org/my/conference?conf=issrew2021

Please select a track named “The First Workshop on Dependability Modeling and Design” for the WDMD. All the accepted papers will be included in the companion proceeding of ISSRE 2021.

Papers must be submitted following:

Submission Guidelines: 
Step 1: Please click the link, https://easychair.org/my/conference?conf=issrew2021, if you do not havce easychair account, please register.
Step 2: Click link "make a new submission".
Step 3: Please select item: "The First Workshop on Dependability Modeling and Design" and then click continue button.
Step 4: Please fill all the detail info and submit.

Workshop Template:
1) Package (use bare_conf.tex) (ZIP): https://www.ieee.org/content/dam/ieee-org/ieee/web/org/pubs/conference-latex-template_10-17-19.zip
2) Word Template (DOCX): https://www.ieee.org/content/dam/ieee-org/ieee/web/org/conferences/conference-template-a4.docx

===== Dates =====

   * Submission deadline: August 3, 2021
   * Notification deadline: August 21, 2021
   * Camera-ready deadline: August 28, 2021

===== Publication =====

Accepted peer-reviewed papers will be included in a supplemental volume of the
ISSRE conference proceedings, and published by the IEEE Computer Society on
IEEE Xplore.

===== Program Co-Chairs =====

  * Jianhui Jiang - Tongji University, China
  * Zhi Jin, Peking University, China
  * Zheng Zheng, Beihang University, China

===== Contact =====

For any question, curiosity or report, please do not hesitate to contact us at:
  * wdmd2021 at 126.com