ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS Home

ACM Transactions on Cyber-Physical Systems

Volume 9, Issue 1

January 2025

ACM Transactions on Cyber-Physical Systems (TCPS) is the premier journal for the publication of high-quality original research papers and survey papers that have scientific and technological understanding of the interactions of information processing, networking and physical processes. TCPS covers the following topics:

Computation Abstractions
System Modeling and Languages
System Compositionality and Integration
Design Automation and Tool Chains
Trustworthy System Designs
Resilient and Robust System Designs
Human in the Loop

The application domains covered by TCPS include, but are not limited to: Healthcare, Transportation, Automotive, Avionics, Energy, Living Space, and Robotics.

Editor-in-Chief:

Chenyang Lu

Subscribe to Journal Recommend ACM DL

ALREADY A SUBSCRIBER?SIGN IN

Bibliometrics

Subject Areas

Announcements

Congratulations to IMWUT’s founding editor-in-chief, Gregory Abowd, who received 2025 ACM SIGCHI Special Recognition Award “for his extraordinary ability to inspire and mentor individuals from diverse backgrounds and his commitment to fostering collaboration, creativity, and impact”!

ACM Transactions on Cyber-Physical Systems Received Its First Impact Factor

We are delighted to announce that ACM Transactions on Cyber-Physical Systems received its first Impact Factor in the latest Journal Citation Reports release from Clarivate Analytics. Its 2022 IF is 2.3. To read the full announcement, please click here for more information.

ACM Updates Its Peer Review Policy

ACM is pleased to announce that its Publications Board has approved an updated Peer Review Policy. If you have any questions regarding the update, the associated FAQ addresses topics such as confidentiality, the use of large language models in the peer review process, conflicts of interest, and several other relevant concerns. If there are any issues that are not addressed in the FAQ, please contact ACM’s Director of Publications, Scott Delman.

New ACM Policy on Authorship

ACM has a new Policy on Authorship, covering a range of key topics, including the use of generative AI tools. Please familiarize yourself with the new policy and the associated list of Frequently Asked Questions.

Lorem ipsum dolor sit amet, consectetur adipiscing elit. senectus et netus et malesuada fames ac turpis egestas. commodo vitae, ornare sit amet, wisi. Donec non enim in turpis pulvinar facilisis.

Lorem ipsum dolor sit amet, consectetuer adipiscing elit.
Aliquam tincidunt mauris eu risus.

Most Frequent Affiliations

Most Cited Authors

Latest Issue

Volume 9, Issue 1 January 2025
ISSN:2378-962X
EISSN:2378-9638
View Table of Contents
research-article
Support of MISRA C++ Analyzer for Reliability of Embedded Systems
- Che-Chia Lin
  Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan
  ,
- Wei-Hsu Chu
  Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan
  ,
- Chia-Hsuan Chang
  Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan
  ,
- Hui-Hsin Liao
  Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan
  ,
- Chun-Chieh Yang
  Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan
  ,
- Jenq-Kuen Lee
  Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan
  ,
- Yi-Ping You
  Department of Computer Science, National Yang Ming Chiao Tung University, Hsinchu, Taiwan
  ,
- Tien-Yuan Hsieh
  Industrial Technology Research Institute, Hsinchu, Taiwan
January 2025Article No.: 9 pp 1-27 https://doi.org/10.1145/3611390
research-article
Open Access
Hybrid Modular Redundancy: Exploring Modular Redundancy Approaches in RISC-V Multi-core Computing Clusters for Reliable Processing in Space
- Michael Rogenmoser
  ETH Zürich, Switzerland
  ,
- Yvan Tortorella
  Università di Bologna, Zürich, Italy
  ,
- Davide Rossi
  Università di Bologna, Zürich, Italy
  ,
- Francesco Conti
  Università di Bologna, Zürich, Italy
  ,
- Luca Benini
  ETH Zürich, Switzerland and Università di Bologna, Zürich, Italy
January 2025Article No.: 8 pp 1-29 https://doi.org/10.1145/3635161