Filters








37 Hits in 3.5 sec

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems

Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler
2009 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium  
We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems).  ...  We assume that the application is described using the PTIDES model introduced in [18]. PTIDES is an acronym for programming temporally integrated distributed embedded systems.  ...  General Execution Strategy In this section, we discuss our execution strategy for distributed discrete-event systems.  ... 
doi:10.1109/rtas.2009.39 dblp:conf/rtas/ZouMLFD09 fatcat:d5yqc6almzekfgm5qnkeymb5gy

Distributed Real-Time Software for Cyber–Physical Systems

John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou
2012 Proceedings of the IEEE  
This paper addresses this problem by presenting a programming model called 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.  ...  To this end, we have previously proposed a programming model called PTIDES (programming temporally-integrated distributed embedded systems, pronounced "tides") [29] .  ... 
doi:10.1109/jproc.2011.2161237 fatcat:6bejbbtedfdfhph4twub36re2q

PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems

Jia Zou, Slobodan Matic, Edward A. Lee
2012 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium  
Ptides, a programming model for distributed realtime embedded systems, was proposed previously.  ...  Our workflow starts with a programming environment where a real-time application is expressed as a Ptides model.  ...  proposed an alternative programming model that they called Ptides [19] (programming temporally integrated distributed embedded systems) that structures real-time software as an interconnection of actors  ... 
doi:10.1109/rtas.2012.28 dblp:conf/rtas/ZouML12 fatcat:fnrjxoqy6barnjxyoim5radepa

PTIDES model on a distributed testbed emulating smart grid real-time applications

Slobodan Matic, Ilge Akkaya, Michael Zimmer, John C. Eidson, Edward A. Lee
2011 2011 2nd IEEE PES International Conference and Exhibition on Innovative Smart Grid Technologies  
PTIDES, a programming model for distributed realtime systems, was proposed previously.  ...  The evaluation is based on experiments on a system of distributed computing platforms emulating typical power system control and monitoring devices and an emulation of portions of the electric power grid  ...  Renesas donated micro-controllers on which the validation system was deployed together with the corresponding programming environment.  ... 
doi:10.1109/isgteurope.2011.6162820 dblp:conf/isgteurope/MaticAZEL11 fatcat:j3fnqk2p75danb44josctm3sr4

Real-Time Distributed Discrete-Event Execution with Fault Tolerance

Thomas Huining Feng, Edward A. Lee
2008 2008 IEEE Real-Time and Embedded Technology and Applications Symposium  
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications.  ...  We incorporate this mechanism into PTIDES for efficient execution of faulttolerant real-time distributed DE systems.  ...  Army Research Office (ARO #W911NF-07-2-0019), the National Science Foundation (#0720841 (CSR-CPS)), the State of California Micro Program, and the following companies: Agilent, Bosch, DGIST, National Instruments  ... 
doi:10.1109/rtas.2008.22 dblp:conf/rtas/FengL08 fatcat:fmqbzgokgfd6feafzmzjyi2ofu

A Programming Model for Time-Synchronized Distributed Real-Time Systems

Yang Zhao, Jie Liu, Edward A. Lee
2007 Real Time and Embedded Technology and Applications Symposium (RTAS), IEEE  
We propose a programming model, called PTIDES (Programming Temporally Integrated Distributed Embedded Systems), which has DE semantics, but with carefully chosen relations between model time and real time  ...  To accomplish this, we give a distributed execution strategy that obeys DE semantics without the penalty of totally ordered executions based on time stamps.  ...  Embedded Software Systems), which receives support from NSF, the State of California Micro Program, and the following companies: Agilent, Bosch, DGIST, General Motors, Hewlett Packard, Microsoft, National  ... 
doi:10.1109/rtas.2007.5 dblp:conf/rtas/ZhaoLL07 fatcat:lzadwgskmrhn3duwccfm3y3bkm

PTIDES on flexible task graph

Jia Zou, Joshua Auerbach, David F. Bacon, Edward A. Lee
2009 Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems - LCTES '09  
program for a simulation of the JAviator.  ...  The PTIDES model is an actorslike model that claims to deliver precise control over end-to-end latencies in a complex real-time system.  ...  PTIDES Review of PTIDES Model PTIDES, or Programming Temporally Integrated Distributed Embedded System, is a programming model based on the discreteevent (DE) model of computation.  ... 
doi:10.1145/1542452.1542457 dblp:conf/lctrts/ZouABL09 fatcat:dupiemfx4rewlnsq6i6txrgzqi

PTIDES on flexible task graph

Jia Zou, Joshua Auerbach, David F. Bacon, Edward A. Lee
2009 SIGPLAN notices  
program for a simulation of the JAviator.  ...  The PTIDES model is an actorslike model that claims to deliver precise control over end-to-end latencies in a complex real-time system.  ...  PTIDES Review of PTIDES Model PTIDES, or Programming Temporally Integrated Distributed Embedded System, is a programming model based on the discreteevent (DE) model of computation.  ... 
doi:10.1145/1543136.1542457 fatcat:oqjoei2ikvgrvcajszyd5db3py

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

Edward Lee
2015 Sensors  
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  ...  One can talk about a "cyber-physical systems theory" in a manner similar to "linear systems theory". Like linear systems theory, a CPS theory is all about models.  ...  Acknowledgments The author thanks Eleftherios Matsikoudis for comments, challenges and suggestions that significantly improved this paper.  ... 
doi:10.3390/s150304837 pmid:25730486 pmcid:PMC4435108 fatcat:hyy4jpla3zh4zp6wrrjqkcyk7y

Deploying Hard Real-Time Control Software on Chip-Multiprocessors

Dai N. Bui, Hiren D. Patel, Edward A. Lee
2010 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications  
We employ these architectural techniques in conjunction with a distributed DE strategy called PTIDES for an illustrative car wash station example and later follow it with a more realistic tunnelling ball  ...  Deploying real-time control systems software on multiprocessors requires distributing tasks on multiple processing nodes and coordinating their executions using a protocol.  ...  In this section, we evaluate a new execution strategy called Programming Temporally Integrated Distributed Embedded Systems -PTIDES [9] as a replacement for NMP.  ... 
doi:10.1109/rtcsa.2010.43 dblp:conf/rtcsa/BuiPL10 fatcat:5zwrvw6kljbtnf4wndajyomfnm

Network latency and packet delay variation in cyber-physical systems

Janette Cardoso, Patricia Derler, John C. Eidson, Edward A. Lee
2011 2011 IEEE Network Science Workshop  
Most current network elements are concerned only with data integrity, connection, and throughput with no mechanism for enforcing temporal semantics.  ...  Modelbased design and simulation is used to evaluate the effects of network limitations on time-critical systems.  ...  A useful discrete event (DE) based programming model for such a system is Ptides [36] , [37] . In Ptides, event timestamps are only related to real-time at sensors and actuators.  ... 
doi:10.1109/nsw.2011.6004658 fatcat:uzr4wb2y4fbo7bybi7naq6opla

Programmable Logic Controllers in the Context of Industry 4.0

Martin A. Sehr, Marten Lohstroh, Mathew Weber, Ines Ugalde, Martin Witte, Joerg Neidig, Stephan Hoeme, Mehrdad Niknami, Edward A. Lee
2020 IEEE Transactions on Industrial Informatics  
dominant programming styles for today's PLC-based automation systems.  ...  Specifically, we propose deterministic, distributed programming models that embrace explicit timing, eventtriggered computation, and improved security.  ...  Moreover, the PTides technique has been shown to scale even to globally distributed systems by Google, which uses the technique in a distributed database systems called Spanner [38] . D.  ... 
doi:10.1109/tii.2020.3007764 fatcat:oso5q4ysine7fhojlzo3uuq4ya

The Logical Execution Time Paradigm [chapter]

Christoph M. Kirsch, Ana Sokolova
2011 Advances in Real-Time Systems  
This chapter provides an easy-to-read overview of LET programming languages and runtime systems as well as some LET-inspired models of computation.  ...  LET abstracts from the actual execution time of a real-time program.  ...  Acknowledgements The idea of logical execution time came up in 2000 in Thomas A. Henzinger's research group at UC Berkeley and has since been advanced by the hands of many people.  ... 
doi:10.1007/978-3-642-24349-3_5 dblp:conf/birthday/KirschS12 fatcat:noagy7rrbfa57nrfra5k3vx3yq

A Component Architecture for the Internet of Things

Christopher Brooks, Chadlia Jerady, Hokeun Kim, Edward A. Lee, Marten Lohstroh, Victor Nouvelletz, Beth Osyk, Matt Weber
2018 Proceedings of the IEEE  
It presents a design pattern called accessors to serve as proxies for heterogeneous components and services, and a design environment CapeCode to compose accessors and facilitate the system design.  ...  In effect, our architecture combines AAC with actors where the actor model has been endowed with a temporal semantics.  ...  In a distributed system, clock drift will have to be taken into account as done, for example, in Ptides [13] , [48] and Spanner [9] .  ... 
doi:10.1109/jproc.2018.2812598 fatcat:qxpxwrh74fdnfc6vn3vl5wvfry

Testing robot controllers using constraint programming and continuous integration

Morten Mossige, Arnaud Gotlieb, Hein Meling
2015 Information and Software Technology  
It is based on a novel constraintbased model for automatically generating test sequences where test sequences are both generated and executed as part of a continuous integration process.  ...  Objective: Current practices for validating CIRs involve manual test case design and execution.  ...  Acknowledgments This work is funded by the Norwegian Research Council under the Industrial PhD Program (222010), the Certus SFI grant (http://www.certus-sfi.no), and ABB Robotics.  ... 
doi:10.1016/j.infsof.2014.09.009 fatcat:d7marpod7ngtxds6d5uytm5eb4
« Previous Showing results 1 — 15 out of 37 results