Principled Cyber–Physical System Design: From Foundations and Models to Practical Engineering
Open Access
- 20 February 2026
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 59 (3) , 20-30
Abstract
We present a principled approach to engineering cyber–physical systems (CPS) based on a semantically coherent framework of models for specifying, abstracting, designing, refining, and implementing software-intensive CPS. This framework supports essential systems and software engineering principles, such as encapsulation, information hiding, modular composition, and traceability.Keywords
This publication has 13 references indexed in Scilit:
- Specifying and Implementing Interface Moore Machines by a Logic of Actions2025
- A Calculus for the Specification, Design, and Verification of Distributed Concurrent SystemsFormal Aspects of Computing, 2024
- Time, causality, and realizability: Engineering interactive, distributed software systemsJournal of Systems and Software, 2023
- Specification and verification of concurrent systems by causality and realizabilityTheoretical Computer Science, 2023
- Software System Documentation: Coherent Description of Software System Properties2022
- Model-Based Engineering of Collaborative Embedded Systems2021
- A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems2013
- Viewpoints, formalisms, languages, and tools for cyber-physical systems2012
- agendaCPS2012
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994