IEEE International Workshop on Dependability Testing and Evaluation of Safety-Critical Systems (DTES 2021)


Description


A safety-critical system (SCS) refers to the system whose incorrect function or failure can lead to catastrophic consequences, such as casualties or damage to equipment or facilities. Typical safety critical systems include high speed rails, automatic driving vehicles, power grids, ships, aerospace, aviation, electronics, medical and financial systems, etc.

With the extensive use of the Internet of things, big data, cloud computing, deep learning and other new emerging technologies, the complex interaction among software, hardware, network and the environment makes safety-critical systems more difficult to be fully tested and evaluated for dependability.

The DTES workshop seeks to bring together worldwide researchers and industry practitioners together to discuss cutting-edge theories, methods, and technologies to explore and inspire the innovative ideas and advanced solutions in the related fields.

Topics


The list of topics includes, but is not limited to:

  • Algorithms, tools and implementation support of SCS testing
  • Benchmark suites definitions and evaluation criteria for SCS
  • Model-based SCS dependability analysis and evaluation
  • Architecture-oriented SCS dependability analysis and evaluation
  • Data-driven SCS defect prediction and localization
  • Defect characterization of SCS
  • Formal methods for SCS dependability
  • Online evaluation and prediction of SCS dependability
  • Simulation methods for SCS dependability
  • Reliability, resilience, and vulnerability for SCS

Submission


Authors are invited to submit original unpublished research papers as well as industrial practice papers. Simultaneous submissions to other conferences are not permitted. Detailed instructions for electronic paper submission, panel proposals, and review process can be found at https://qrs21.techconf.org/submission.

The length of a camera ready paper will be limited to eight pages. Each paper should include a title, the name and affiliation of each author, a 150-word abstract, and up to 6 keywords. Shorter version papers (up to four pages) are also allowed.

All papers must conform to the QRS conference proceedings format (PDF | Word DOCX | Latex) and Submission Guideline set in advance by QRS 2021. At least one of the authors of each accepted paper is required to pay full registration fee and present the paper at the workshop. Arrangements are being made to publish selected accepted papers in reputable journals. Submissions must be in PDF format and uploaded to the conference submission site.

Submission

Program Chair


Shunkun Yang's avatar
Shunkun Yang

Beihang University

Program Committee


NameAffiliation
Daqing LiBeihang University
Dongxu LiAustralian National University
Dan LuUniversity of Zaragoza
Minyan LuBeihang University
Lingzhong MengInstitute of Software Chinese Academy of Sciences
Huansheng NingUniversity of Science and Technology Beijing
Qi ShaoBeihang University
Minghao YangBeihang University
Jiaquan ZhangUniversity of Göttingen
Xingyu ZhaoUniversity of Liverpool
Wenbing ZhaoCleveland State University