Sensors· 2015Q1
The Past, Present and Future of Cyber-Physical Systems: A Focus on Models
- 668citations
- Q1SCImago
- 2015year
Short summary
Deterministic models, like those used in differential equations and synchronous logic, can be practically realized in complex cyber-physical systems (CPSs), overcoming historical challenges in preserving determinism.
AI-generated from the title and abstract; the full text is not read.
Key points
- Deterministic models (e.g., differential equations, synchronous logic) have historically driven technological advancements.
- Cyber-physical systems (CPSs) often combine models in ways that break determinism.
- The PRET project shows that timing precision from synchronous logic can be achieved in software.
- The Ptides project demonstrates practical deterministic models for distributed CPSs.
- These projects serve as existence proofs for deterministic CPS modeling.
AI-generated from the title and abstract; the full text is not read.
Abstract
This paper is about better engineering of cyber-physical systems (CPSs) through better models. Deterministic models have historically proven extremely useful and arguably form the kingpin of the industrial revolution and the digital and information technology revolutions. Key deterministic models that have proven successful include differential equations, synchronous digital logic and single-threaded imperative programs. Cyber-physical systems, however, combine these models in such a way that determinism is not preserved. Two projects show that deterministic CPS models with faithful physical realizations are possible and practical. The first project is PRET, which shows that the timing precision of synchronous digital logic can be practically made available at the software level of abstraction. The second project is Ptides (programming temporally-integrated distributed embedded systems), which shows that deterministic models for distributed cyber-physical systems have practical faithful realizations. These projects are existence proofs that deterministic CPS models are possible and practical.
The authors' abstract, as published at the source. Sensors, 2015 · DOI ↗
Continue with a free account
Ask the paper: 3 free questions a day about this paper; save it, get its citation, new summaries every day for your field. Takeaways are Premium.
Continue free on the webSign in with Google or Apple; no card needed. You come back to this paper.
On your phone:
Field: Hardware and Architecture
Hardware and ArchitectureComputer Science