IEEE Transactionson Reliability
Special Section on Safety-critical Cyber-physical Systems（SCPS）
Call for Papers
Background
The safety-critical cyber-physical systems, such as Avionics, industrial robots, Medical Electrics, Auto-Driven Vehicle system, and Smart Power Grid system, Intelligent City and Traffic Systems, has great societal and economic impacts. However, due to its increasing complexity and time-to-market pressure, the safety and reliability of cyber-physical system design and implementation cannot be guaranteed. In sufficient analysis and verification of such designs may result in catastrophic failures, which will not only cause significant property damage but also loss of life. The challenges will be even more severe if these cyber-physical systems are safety-critical and deployed within uncertain physical environments.
To address these problems, IEEE Transactions on Reliability (TRel) will have a special section soliciting original work that makes novel theoretical or practical contributions to enhance the safety-critical cyber-physical systems paradigms. In particular, we welcome extended versions of papers that appeared in the 20th Embedded Systems Technical Conference (ESTC 2022). Submissions will be reviewed and selected based on innovation, technical correctness, presentation, and practical relevance.
Topics
Submissions related to the following topics are encouraged. However, others relevant to dependability of systems or software for safety-critical cyber-physical systems paradigms are also welcome. Practical applications will be considered as well.
Reliability, security, availability, and safety of SCPS
Intelligent Software synthesis for SCPS
Fault tolerant and trusted embedded systems/software
Testing, verification, and validation for software or system of SCPS
Formal engineering methods for SCPS
Mode-driven development of SCPS
Analysis and evaluation for non-functionality of SCPS
Software or system architecture
Big Codes data management and re-used
Intelligent software tools
Adaptive, self-managing and multi-agent systems
Human-Cyber-physical systems and IoT
Benchmarks, tools, industrial applications, and empirical studies
Other related topics
Submission
We welcome high quality submissions that are original work, not published, and not currently submitted elsewhere. We also encourage extensions to conference papers, unless prohibited by copyright, if there is a significant difference in the technical content. Improvements such as adding a new case study or including a description of additional related studies do not satisfy this requirement. A description explains the difference between the conference paper and the journal submission is required. The overlap between each submission and other articles, including the authors' own papers and dissertations, should be less than 30%. Each submission must conform to the double column, single-spaced format of printed articles in the IEEE Transactions on Reliability with all figures and tables embedded in the paper, rather than listed at the end or in the appendix. Refer to the special guidelines posted at https://mc.manuscriptcentral.com/tr-ieee.
Please submit your manuscript(s) to ESTC2022 via easychair:
https://easychair.org/conferences/?conf=the20thestc
Important Dates
Augest 20, 2022 Paper submission deadline to ESTC2022
September 20, 2022 Notification from ESTC2022
October 20, 2022 Presentation at ESTC2022
Novenber 20, 2022 Paper submission deadline to TRel
January 20, 2023 First round notification from TRel
Editor-in-Chief
Professor W. Eric Wong University of Texas at Dallas, USA
Guest Editors
Professor Yunwei Dong Northwestern Polytechnical University, China
Professor Wei Dong National University of Defense Technology, China