posted by user: amyhf || 13958 views || tracked by 7 users: [display]

IETCPS 2017 : IET Cyber-Physical Systems: Theory & Applications, Special Issue on Safety-Critical Cyber Physical Systems

FacebookTwitterLinkedInGoogle

Link: http://digital-library.theiet.org/content/journals/iet-cps/info/special-issues;jsessionid=1ytyhtqhf58e2.x-iet-live-01
 
When N/A
Where N/A
Submission Deadline Dec 31, 2016
Notification Due Mar 2, 2017
Final Version Due Apr 30, 2017
Categories    cyber-physical systems   safety-critical systems   embedded systems   automotive and aerospace
 

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 2016

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.

Related Resources

CFC-Data Analytics/Smart Cities 2017   Call for Chapters (Taylor & Francis): Data Analytics Applications for Smart Cities
ICCS - IEEE 2017   The UND-SCIEI International Conference on Cyber-Security in Aerospace, Computer Science, and Electrical Engineering (ICCS 2017)--IEEE, Ei Compendex and Scopus
IET CPS - Special Issue 2017   IET Cyber-Physcial Systems - Smart Vision Circuits and Systems for Internet of Things
ICICM - IEEE 2017   IEEE--2017 the 2nd International Conference on Integrated Circuits and Microsystems (ICICM 2017)--Ei Compendex and Scopus
CPSNGN 2017   Cyber-Physical Systems for Next Generation Networks
SI-Elsevier-Smart Infrastructure-IoT 2017   Special Issue of Automation in Construction: Smart Infrastructure, Construction and Building Internet of Things
CPS-SPC 2017   ACM Workshop on Cyber-Physical Systems Security & Privacy (CPS-SPC)
IJESA 2017   International Journal of Embedded Systems and Applications
CyberICPS 2017   3rd Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems
ICAEE - EI 2017   2017 the 4th International Conference on Advances in Electronics Engineering (ICAEE 2017)--EI Compendex, Scopus