The Past, Present and Future of Cyber-Physical Systems: A Focus on Models

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.

[1]  Stephen A. Edwards,et al.  A disruptive computer design idea: Architectures with repeatable timing , 2009, 2009 IEEE International Conference on Computer Design.

[2]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[3]  Edward A. Lee.  Constructive Models of Discrete and Continuous Physical Phenomena , 2014, IEEE Access.

[4]  Simon Bliudze,et al.  An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction , 2014 .

[5]  Edward A. Lee,et al.  The Case for Timing-Centric Distributed Software Invited Paper , 2009, 2009 29th IEEE International Conference on Distributed Computing Systems Workshops.

[6]  Edward A. Lee,et al.  Operational Semantics of Hybrid Systems , 2005, HSCC.

[7]  Edward A. Lee,et al.  On the schedulability of real-time discrete-event systems , 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).

[8]  Edward A. Lee,et al.  Distributed Real-Time Software for Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[9]  Marc Pouzet,et al.  The fundamentals of hybrid systems modelers , 2010, 49th IEEE Conference on Decision and Control (CDC).

[10]  Jayadev Misra,et al.  Distributed discrete-event simulation , 1986, CSUR.

[11]  Stephen A. Edwards,et al.  The Case for the Precision Timed (PRET) Machine , 2007, 2007 44th ACM/IEEE Design Automation Conference.

[12]  Edward A. Lee,et al.  Modal Models in Ptolemy , 2010, EOOLT.

[13]  Edward A. Lee.  The problem with threads , 2006, Computer.

[14]  Edward A. Lee,et al.  PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice , 2009, LCTES '09.

[15]  Tomas Mirtin.  Realtime programming language PEARL - Concept and characteristics , 1978, COMPSAC.

[16]  R.M. Fujimoto,et al.  Parallel and distributed simulation systems , 2001, Proceeding of the 2001 Winter Simulation Conference (Cat. No.01CH37304).

[17]  Pieter J. Mosterman,et al.  A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models , 2013, MPM@MoDELS.

[18]  Hideyuki Tokuda,et al.  A Time-Driven Scheduling Model for Real-Time Operating Systems , 1985, RTSS.

[19]  George S. Fishman,et al.  Discrete-event simulation , 2001 .

[20]  Niklaus Wirth,et al.  Toward a discipline of real-time programming , 1977, CACM.

[21]  Robert I. Davis,et al.  Mixed Criticality Systems - A Review , 2015 .

[22]  Alan Burns,et al.  Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition , 2009, International computer science series.

[23]  Edward A. Lee,et al.  Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems , 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.

[24]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[25]  John C. Eidson,et al.  Measurement, Control, and Communication Using IEEE 1588 , 2006 .

[26]  Yunsup Lee,et al.  The RISC-V Instruction Set Manual , 2014 .

[27]  Gérard Berry,et al.  The constructive semantics of pure esterel , 1996 .

[28]  H. S. Wolff,et al.  iRun: Horizontal and Vertical Shape of a Region-Based Graph Compression , 2022, Sensors.

[29]  David Broman,et al.  Requirements for Hybrid Cosimulation , 2014 .

[30]  Zohar Manna,et al.  Verifying Hybrid Systems , 1992, Hybrid Systems.

[31]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[32]  Joe Armstrong,et al.  Concurrent programming in ERLANG , 1993 .

[33]  John Wawrzynek,et al.  Chisel: Constructing hardware in a Scala embedded language , 2012, DAC Design Automation Conference 2012.

[34]  J.A. Stankovic,et al.  Misconceptions about real-time computing: a serious problem for next-generation systems , 1988, Computer.

[35]  Ton Lindstrøm.  Nonstandard Analysis and its Applications: AN INVITATION TO NONSTANDARD ANALYSIS , 1988 .

[36]  Edward A. Lee,et al.  Simulation and Implementation of the PTIDES Programming Model , 2008, 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications.

[37]  Claes Wikström,et al.  Concurrent programming in ERLANG (2nd ed.) , 1996 .

[38]  Andreas Gerstlauer,et al.  System Design , 2012 .

[39]  Elizabeth Latronico,et al.  System Design, Modeling, and Simulation Using Ptolemy Ii Ontologies , 2013 .

[40]  David Broman,et al.  FlexPRET: A processor platform for mixed-criticality systems , 2014, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

[41]  Timothy Bourke,et al.  Non-standard semantics of hybrid systems modelers , 2012, J. Comput. Syst. Sci..

[42]  Christoph M. Kirsch,et al.  Giotto: a time-triggered language for embedded programming , 2003 .

[43]  George S. Fishman,et al.  Discrete-Event Simulation : Modeling, Programming, and Analysis , 2001 .

[44]  Alan Burns,et al.  Real-Time Systems and Programming Languages , 2009 .

[45]  David Broman,et al.  WCET-aware dynamic code management on scratchpads for Software-Managed Multicores , 2014, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

[46]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[47]  Christopher Frost,et al.  Spanner: Google's Globally-Distributed Database , 2012, OSDI.

[48]  A. Cataldo,et al.  A constructive fixed-point theorem and the feedback semantics of timed systems , 2006, 2006 8th International Workshop on Discrete Event Systems.

[49]  K. Mani Chandy,et al.  Distributed Simulation: A Case Study in Design and Verification of Distributed Programs , 1979, IEEE Transactions on Software Engineering.

[50]  Edward A. Lee,et al.  A Programming Model for Time-Synchronized Distributed Real-Time Systems , 2007, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).

[51]  Edward A. Lee,et al.  Toward an Effective Execution Policy for Distributed Real-Time Embedded Systems , 2008 .

[52]  Edward A. Lee,et al.  Real-Time Distributed Discrete-Event Execution with Fault Tolerance , 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.

[53]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[54]  Edward A. Lee,et al.  Modeling Timed Systems , 2013 .

[55]  David Broman,et al.  A PRET microarchitecture implementation with repeatable timing and competitive performance , 2012, 2012 IEEE 30th International Conference on Computer Design (ICCD).

[56]  Edward A. Lee,et al.  Temporal isolation on multiprocessing architectures , 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

[57]  Edward A. Lee,et al.  PRET DRAM controller: Bank privatization for predictability and temporal isolation , 2011, 2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[58]  Alberto L. Sangiovanni-Vincentelli,et al.  A Contract-Based Methodology for Aircraft Electric Power System Design , 2014, IEEE Access.

[59]  Solomon W. Golomb,et al.  Mathematical Models: Uses and Limitations , 1971 .

[60]  Christos G. Cassandras,et al.  Discrete event systems : modeling and performance analysis , 1993 .

[61]  Zohar Manna,et al.  From Timed to Hybrid Systems , 1991, REX Workshop.

[62]  David R. Jefferson,et al.  Virtual time , 1985, ICPP.

[63]  Michael Mendler,et al.  Constructive Boolean circuits and the exactness of timed ternary simulation , 2012, Formal Methods Syst. Des..

[64]  Edward A. Lee,et al.  On the design of concurrent, distributed real-time systems , 2009 .

[65]  Stephan Merz,et al.  Model Checking , 2000 .

[66]  David L. Mills,et al.  Computer network time synchronization : the network time protocol on earth and in space , 2006 .

[67]  Christos G. Cassandras,et al.  Discrete-Event Systems , 2005, Handbook of Networked and Embedded Control Systems.

[68]  David J. Murray-Smith,et al.  Continuous System Simulation , 1994 .

[69]  Jia Zou,et al.  From Ptides to PtidyOS, Designing Distributed Real-Time Embedded Systems , 2011 .

[70]  Pablo Alvarez,et al.  THE WHITE RABBIT PROJECT , 2009 .

[71]  F. H. Adler.  Cybernetics, or Control and Communication in the Animal and the Machine. , 1949 .

[72]  Michael Zimmer,et al.  PTIDES model on a distributed testbed emulating smart grid real-time applications , 2011, 2011 2nd IEEE PES International Conference and Exhibition on Innovative Smart Grid Technologies.

[73]  Alexander D. Stoyen,et al.  Real-Time Euclid: A language for reliable real-time systems , 1989, IEEE Transactions on Software Engineering.

[74]  B. P. Ziegler,et al.  Theory of Modeling and Simulation , 1976 .

[75]  Professor Dr. Niklaus Wirth,et al.  Programming in Modula-2 , 1982, Springer Berlin Heidelberg.

[76]  Edward A. Lee,et al.  A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs , 2012, 2012 IEEE 20th International Symposium on Field-Programmable Custom Computing Machines.