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.
The list of topics includes, but is not limited to:
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 QRS submission.
Each submission can have a maximum of ten pages. It should include a title, the name and affiliation of each author, a 300-word abstract, and up to 6 keywords. Shorter version papers (up to six 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 2025. At least one of the authors of each accepted paper is required to pay the full registration fee and present the paper at the workshop. Submissions must be in PDF format and uploaded to the conference submission site. Arrangements are being made to publish extended version of top-quality papers in selected SCI journals.
Submission| Name | Affiliation |
|---|---|
| Daqing Li | Beihang University |
| Dongxu Li | Australian National University |
| Dan Lu | University of Zaragoza |
| Minyan Lu | Beihang University |
| Lingzhong Meng | Institute of Software Chinese Academy of Sciences |
| Huansheng Ning | University of Science and Technology Beijing |
| Qi Shao | Beihang University |
| Minghao Yang | Beihang University |
| Jiaquan Zhang | University of Göttingen |
| Xingyu Zhao | University of Liverpool |
| Wenbing Zhao | Cleveland State University |
