IET Cyber-Physical Systems: Theory & Applications

Call for Papers

 

IET Cyber-Physical Systems: Theory & Applications

Special Issue on Safety-Critical Cyber Physical Systems

 

Cyber-Physical Systems (CPS) deal with the cyber control and physical processes as well as the interactions between them. In the domains of automobile and aerospace (A/A), many CPS are safety-critical systems, such as cruise control systems and flight control systems. Undiscovered software or hardware problems in the design may lead to severe safety issues. Late-phase fault detection and rework can risk significant loss in both time and money.

 

To address these issues, early-phase rigorous design, modeling and verification of CPS is promoted. At the same time, novel, trustworthy, yet efficient approaches to address various challenges of CPS, such as complexity, scalability, security, heterogeneity and interoperability, are desired in the A/A industrial context to meet the market requirements of quality, dependability, cost and time. This special issue will present the state-of-the-art research results on the topics of safety-critical CPS in the A/A domains, particularly for the autonomous vehicles and Unmanned Aerial Vehicles.

 

The areas of interests include, but are not limited to, the following CPS-relevant topics:

 

–        Model-based design approaches

–        Software/Hardware codesign approaches

–        Requirement formalization and validation approaches

–        CPS safety and security

–        Complexity and scalability

–        Heterogeneity and interoperability

–        Timing analysis and verification

–        Architecture design and analysis

–        Simulation, testing and formal verification

–        Hybrid systems modeling, verification, and reachability analysis

–        Synthesis of CPS

–        CPS in Autonomous vehicles and Unmanned Aerial Vehicles

 

Important dates:

 

–        Submission Deadline        Dec 31, 2016

–        Notification Due               Mar 2, 2017

–        Final Version Due              Apr 30, 2017

–        Publication Date               Jul 2017

 

 

All papers must be submitted through the journal’s Manuscript Central system:

http://mc.manuscriptcentral.com/iet-cps

 

For enquiries regarding this Special Issue please contact the Guest Editors:

 

–        Dr. Huafeng Yu, Boeing Research & Technology, USA, E: huafeng.yu@boeing.com

–        Dr. Corina Pasareanu, NASA, USA, E: corina.s.pasareanu@nasa.gov

–        Dr. Stanley Bak, Air Force Research Laboratory, USA, E: stanley.bak.1@us.af.mil

–        Dr. Ramesh S, General Motors, USA, E: ramesh.s@gm.com

–        Prof. Xin Li, Carnegie Mellon University, USA, E: xinli@cmu.edu

–        Prof. Qi Zhu, University of California, Riverside, USA, E: qzhu@ece.ucr.edu

 

 

All submissions are subject to the journal’s peer-review procedures. The authors should follow the journal’s Author Guide at

 

http://digital-library.theiet.org/journals/author-guide when preparing papers for submission to the Special Issue.

 

This special issue is supported by IEEE Technical Committee on Cyber-Physical Systems.

 

Thank you.

 

Best regards,

 

Huafeng Yu

Senior Researcher

Boeing Research & Technology

Tel: +1 256 937 5386

Mail: Huafeng.Yu@boeing.com