ACM Transactions on

Cyber-Physical Systems (TCPS)

Latest Articles

Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies

The dynamic nature of complex Cyber-Physical Systems puts extra requirements on their functionalities: they not only need to be dependable, but also... (more)

QoS-Driven Data Processing Algorithms for Smart Electric Grids

Smart-grid applications have widely varying data needs as well as bandwidth and latency requirements. The usual approach to accumulating the available... (more)


CFP: Special Issue on Dependability in Cyber Physical Systems and Applications
This special issue focuses on bringing together current research ideas and techniques from researchers and practitioners belonging to a myriad of research areas, with the final goal of sharing their specific challenges and solutions for CPS dependability. More specifically, contributions related to dependability aspects of CPS applications/systems in practice are of interest. For more information, visit the Special Issue webpage.

CFP: Special Issue on Medical Cyber-Physical Systems

This special issue seeks papers describing significant research contributions in the domain of medical cyber-physical systems; each paper should show enough evidence of contributions to medical cyber-physical systems applications and systems in practice. For more information, visit the Special Issue webpage.

CFP: Special Issue on Internet of Things

This special issue focuses on the technical issues we face when designing, engineering, deploying, and maintaining the IoT. We seek high-quality and unpublished papers that push research in all the facets of the IoT. Contributions may present and solve open technical problems, integrate novel solutions efficiently, and focus on the performance evaluation and comparison with existing standards. Both theoretical and experimental studies are welcome. For more information, visit the Special Issue webpage.

CFP: Special Issue on Smart Homes, Buildings, and Infrastructures

The purpose of this special issue is to present the state-of-the-art CPS research for building efficient smart homes, buildings, and infrastructures. The submissions should address the above challenges with a system perspective that includes both cyber and physical aspects, and should articulate how proposed approaches may be applied in practical CPS systems. For more information, visit the Special Issue webpage.

About TCPS

Cyber-Physical Systems (CPS) has emerged as a unifying name for systems where the cyber parts, i.e., the computing and communication parts, and the physical parts are tightly integrated, both at the design time and during operation. Such systems use computations and communication deeply embedded in and interacting with physical processes to add new capabilities to physical systems. These cyber-physical systems range from miniscule (pace makers) to large-scale (a national power-grid). There is an emerging consensus that new methodologies and tools need to be developed to support cyber-physical systems.  READ MORE

Forthcoming Articles
Dependable Model Driven Development of CPS: From Stateflow Simulation to Verified Implementation

Simulink is widely used for model-driven development (MDD) of cyber-physical systems. Typically, the Simulink based development starts with Stateflow modeling, followed by simulation, validation and code generation mapped to physical execution platforms. However, recent industrial trends have raised the demands of rigorous verification on safety-critical applications, which is unfortunately challenging. Even the constructed Stateflow model and the generated code pass the validation of Simulink Design Verifier and Simulink Polyspace, respectively, the system may still fail due to some implicit bugs contained in the model and the generated code. In this paper, we present a novel approach to bridge the Stateflow based model driven development and a well-defined rigorous verification. First, we develop a self-contained toolkit to translate Stateflow model into timed automata, where major advanced modeling features in Stateflow are supported. Taking advantage of the strong verification capability of Uppaal, we can not only find bugs in Stateflow models which are missed by Simulink Design Verifier, but also check more important temporal properties. Next, we customize a runtime verifier for the generated non-intrusive VHDL and C code of Stateflow model for monitoring. The major strength of the customization is the flexibility to collect and analyze runtime properties with a pure software monitor, which offers more opportunities for engineers to achieve high reliability of the target system compared with the traditional act that only relies on Simulink Polyspace. We incorporate these two parts into original Stateflow based MDD seamlessly. In this way, safety-critical properties are both verified at the model level, and at the consistent system implementation level with physical execution environment in consideration. We apply our approach to the development of a typical cyber-physical systemtrain communication controller based on the International Electrotechnical Commission standard 61375. Experiments show that more ambiguousness in the standard are detected during Uppaal verification, and the errors have been confirmed. Furthermore, the verified implementation has been deployed on real trains.

All ACM Journals | See Full Journal Index

Search TCPS
enter search term and/or author name