Distributed Real-Time Software for Cyber–Physical Systems

Real-time embedded software today is commonly built using programming abstractions with little or no temporal semantics. This paper addresses this problem by presenting a programming model called programming temporally integrated distributed embedded systems (PTIDES) that serves as a coordination language for model-based design of distributed real-time embedded systems. Specifically, the paper describes the principles of PTIDES, which leverages network time synchronization to provide a determinate distributed real-time semantics. We show how PTIDES can function as a coordination language, orchestrating components that may be designed and specified using different formalisms. We show the use of this environment in the design of interesting and practical cyber-physical systems, such as a power plant control system.

• Publication year

  2012

• Venue

  Proceedings of the IEEE

• Publication date

  2012-01-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/JPROC.2011.2161237
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• I and J

  2012cited by this paper
• Quantitative Analysis of Systems Using Game-Theoretic Learning

  2012cited by this paper
• GameTime: A Toolkit for Timing Analysis of Software

  2011cited by this paper
• From Ptides to PtidyOS, Designing Distributed Real-Time Embedded Systems

  2011cited by this paper
• Measurement

  2010cited by this paper
• Modal Models in Ptolemy

  2010cited by this paper
• PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice

  2009influential reference
• Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems

  2009cited by this paper
• CPO semantics of timed interactive actor networks

  2008cited by this paper
• Simulation and Implementation of the PTIDES Programming Model

  2008cited by this paper
• Causality interfaces for actor networks

  2008cited by this paper
• The worst-case execution-time problem—overview of methods and survey of tools

  2008cited by this paper
• Game-theoretic timing analysis

  2008cited by this paper
• The Algebra of Connectors—Structuring Interaction in BIP

  2008influential reference
• Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems

  2007cited by this paper
• A Programming Model for Time-Synchronized Distributed Real-Time Systems

  2007cited by this paper
• Consensus and Cooperation in Networked Multi-Agent Systems

  2007cited by this paper
• Influence of cultivation temperature on the ligninolytic activity of selected fungal strains

  2006cited by this paper
• Measurement, Control, and Communication Using IEEE 1588 (Advances in Industrial Control)

  2006cited by this paper
• Flexray - A communication network for automotive control systems

  2006cited by this paper
• The Emergence of Networking Abstractions and Techniques in TinyOS

  2004cited by this paper
• The time-triggered architecture

  2003cited by this paper
• Model-integrated development of embedded software

  2003cited by this paper
• Taming heterogeneity - the Ptolemy approach

  2003cited by this paper
• Actor-Oriented Design of Embedded Hardware and Software Systems

  2003cited by this paper
• Discrete Event Systems

  1999cited by this paper
• Modeling concurrent real-time processes using discrete events

  1999cited by this paper
• A framework for comparing models of computation

  1998cited by this paper
• Coordination Models and Languages

  1998cited by this paper
• Analysing real-time communications: controller area network (CAN)

  1994cited by this paper
• Discrete event systems : modeling and performance analysis

  1993cited by this paper
• Statecharts: A Visual Formalism for Complex Systems

  1987influential reference
• Distributed Simulation: A Case Study in Design and Verification of Distributed Programs

  1979cited by this paper
• and as an in

  year unknowncited by this paper

• An Empirical Evaluation of White-box and Black-box Test Case Prioritization Techniques in CPSs Modeled in Simulink

  2025influential citation
• Real-Time Systems & Digital Twins: Exploring Integration Challenges and Requirements

  2025cites this paper
• A Real-Time Operating System for Physical and Logical Time-Triggered Distributed Computing

  2024cites this paper
• A Logical Time-Triggered Distributed Computing Environment for Cyber-Physical Systems

  2023cites this paper
• Real-Time Probabilistic Programming

  2023cites this paper
• Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm

  2023influential citation
• FIRE: A Finely Integrated Risk Evaluation Methodology for Life-Critical Embedded Systems

  2022cites this paper
• Cyber-Physical Systems as Key Element to Industry 4.0: Characteristics, Applications and Related Technologies

  2022cites this paper
• Integrated modeling method of Cyber physical system based on extended AADL

  2021cites this paper
• Time for All Programs, Not Just Real-Time Programs

  2021cites this paper
• Programmable Logic Controllers in the Context of Industry 4.0

  2021influential citation
• Opportunities for Industrial Control

  2020influential citation
• Ant Colony System for Energy Consumption Optimization in Mobile IoT Networks

  2020cites this paper
• Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems

  2020cites this paper
• F-DCS: FMI-Based Distributed CPS Simulation Framework with a Redundancy Reduction Algorithm

  2020cites this paper
• A survey of model-driven techniques and tools for cyber-physical systems

  2020cites this paper
• The architecture and key technologies for an industrial Internet with synergy between the cloud and clients

  2020cites this paper
• Modeling and Decision-Making Methods for a Class of Cyber–Physical Systems Based on Modified Hybrid Stochastic Timed Petri Net

  2020cites this paper
• Chapter 2 Fundamentals of ZigBee and WiFi

  2019cites this paper
• Engineering cyber‐physical systems through performance‐based modelling and analysis: A case study experience report

  2019cites this paper
• On Enabling Technologies for the Internet of Important Things

  2019influential citation
• Pareto efficient multi-objective black-box test case selection for simulation-based testing

  2019cites this paper
• BEEER: distributed record and replay for medical devices in hospital operating rooms

  2019cites this paper
• Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems

  2019cites this paper
• Implementation of a Large-Scale Platform for Cyber-Physical System Real-Time Monitoring

  2019cites this paper
• Optimization techniques for time-critical cyber-physical systems

  2019cites this paper
• Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines

  2019cites this paper
• Cyber-Physical System as the Development of Automation Processes at All Stages of the Life Cycle of the Enterprise Through the Introduction of Digital Technologies

  2019cites this paper
• Communication Solutions for the Integration of Distributed Control in Logistics Systems

  2019cites this paper
• Code generation for distributed embedded systems with VDM-RT

  2019cites this paper
• Reactors: A Deterministic Model for Composable Reactive Systems

  2019cites this paper
• Ant Colony Based Energy Consumption Optimization for Mobile IoT Networks

  2019cites this paper
• Real-Time Verification for Distributed Cyber-Physical Systems

  2019cites this paper
• Concurrency and Synchronization in Structured Cyber Physical Systems

  2018cites this paper
• Deterministic Timing for the Industrial Internet of Things

  2018cites this paper
• A Component Architecture for the Internet of Things

  2018cites this paper
• Simulation-driven Development of Self-adaptive Transportation Systems

  2018cites this paper
• Models of Timed Systems

  2018cites this paper
• Timed C: An Extension to the C Programming Language for Real-Time Systems

  2018cites this paper
• Environment for integration of distributed heterogeneous computing systems

  2018cites this paper
• What Is Real Time Computing? A Personal View

  2018cites this paper
• INTELLI 2018 Proceedings

  2018cites this paper
• Adapting Swarm Applications: A Systematic and Quantitative Approach

  2018cites this paper
• Component Models for Embedded Systems in Industrial Cyber-Physical Systems

  2018cites this paper
• Time Task Scheduling for Simple and Proximate Time Model in Cyber-Physical Systems

  2018cites this paper
• A Time-Triggered Distributed Computing Environment for Cyber-Physical Systems Based on Physical Time and Logical Time

  2018influential citation
• Realization of distributed system models using code generation extensions

  2018cites this paper
• Embedded Systems Security for Cyber-Physical Systems

  2018cites this paper
• Efficient and Scalable Runtime Monitoring for Cyber–Physical System

  2018cites this paper
• Delay-based Distribution and Optimization of A Simulation Model

  2018cites this paper
• Fault Modeling and Simulation Based on Cyber Physical System in Complex Distribution Network

  2018cites this paper
• Transitioning From Standard Automation Solutions to Cyber-Physical Production Systems: An Assessment of Critical Conceptual and Technical Challenges

  2018cites this paper
• Time in SCCharts

  2018cites this paper
• Time-selective data fusion for in-network processing in ad hoc wireless sensor networks

  2018cites this paper
• Cyber Physical System (CPS)-Based Industry 4.0: A Survey

  2017cites this paper
• The application of production-related information technology architecture to improve on visual management systems within the manufacturing industry

  2017cites this paper
• Theoretical Foundations for Cyber-Physical Systems: A Literature Review

  2017cites this paper
• A Case Study to Elicit Challenges for Performance Engineering of Cyber Physical Systems

  2017cites this paper
• Co-simulation: State of the art

  2017cites this paper
• HOPES: Programming Platform Approach for Embedded Systems Design.

  2017cites this paper
• Fundamentals of ZigBee and WiFi

  2017cites this paper
• Abstract PRET Machines

  2017cites this paper
• On information filtering in social sensing

  2017cites this paper
• Real-time ticks for synchronous programming

  2017cites this paper
• Project management best practices for cyber-physical systems development

  2016cites this paper
• Modeling Distributed Real-Time Systems in TIOA and UPPAAL

  2016cites this paper
• Search-based test case selection of cyber-physical system product lines for simulation-based validation

  2016cites this paper
• A Distributed Platform for Integration of FPGA-based Embedded Systems

  2016cites this paper
• Cyber–Physical Systems for Open-Knowledge-Driven Manufacturing Execution Systems

  2016influential citation
• Adaptive steering of cyber-physical systems with atomic complex event processing services: doctoral symposium

  2016cites this paper
• A web-based STEP-NC-compliant architecture for low cost 3D part manufacturing

  2016influential citation
• The early assessment of system performance in distributed real-time systems

  2016cites this paper
• MixCPS: Mixed Time/Event-Triggered Architecture of Cyber–Physical Systems

  2016cites this paper
• Wearable ultrasonic guiding device with white cane for the visually impaired: A preliminary verisimilitude experiment

  2016cites this paper
• Automatic generation of test system instances for configurable cyber-physical systems

  2016cites this paper
• Reliable and Real-Time Distributed Abstractions

  2016cites this paper
• Towards a methodology of system manifestation features-based pre-embodiment design

  2016cites this paper
• Service Virtualization for Self-adaptation in Mobile Cyber-Physical Systems

  2016cites this paper
• A delayed random access speed-up scheme for group paging in machine-type communications

  2015cites this paper
• Composing real-time applications from communicating black-box components

  2015cites this paper
• Time-Complemented Event-Driven Architecture for Distributed Automation Systems

  2015cites this paper
• Cyber-physical operating systems — What are the right abstractions?

  2015cites this paper
• The Cloud is Not Enough: Saving IoT from the Cloud

  2015cites this paper
• Un langage de programmation pour composer l'interaction musicale : la gestion du temps et des événements dans Antescofo. (A programming language for Computer-Human Musical Interaction)

  2015cites this paper
• Reconfigurable elements of execution semantics for industrial cyber-physical systems

  2015cites this paper
• Title The fixed-point theory of strictly causal functions Permalink

  2015cites this paper
• BIG DATA APPLIED TO CYBER-PHYSICAL LOGISTIC SYSTEMS: CONCEPTUAL MODEL AND PERSPECTIVES

  2015cites this paper
• Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic

  2015cites this paper
• Power Estimation of an ECDSA Core Applied in V2X Scenarios Using Heterogeneous Distributed Simulation

  2015cites this paper
• Modeling distributed automation systems in cyber-physical view

  2015cites this paper
• ForeC: Designing Cyber-Physical Systems With Foresight

  2015cites this paper
• A Distributed Simulation Platform Using HLA for Complex Embedded Systems Design

  2015cites this paper
• Time-stamped event based execution semantics for industrial cyber-physical systems

  2015cites this paper
• The value of FPGAs as reconfigurable hardware enabling Cyber-Physical Systems

  2015cites this paper
• Optimized distributed implementation of timed component-based systems

  2015influential citation
• Towards IEC 61499 models of computation in Ptolemy II

  2015cites this paper
• Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations

  2015cites this paper
• Timing in cyber-physical systems: The last inch problem

  2015cites this paper
• The Web as an Interface to the Physical World: Real-time Search and Development Support: Real-time Search and Development Support

  2015cites this paper
• Synchronizing and Improving Supply Chains through the application of Cyber- Physical Systems

  2015cites this paper