The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Ptides, a programming model for distributed real-time embedded systems, was proposed previously. In this work, we focus on a work flow that applies Ptides in a single-CPU environment using model-based design techniques. Our work flow starts with a programming environment where a real-time application is expressed as a Ptides model. The model captures both the functionality of the system and the desired...
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...
PTIDES, a programming model for distributed real-time systems, was proposed previously. The model captures both the functionality of the system and the desired timing of interactions with the environment. The PTIDES simulator supports simulation of both of these aspects. In this work, we focus on the PTIDES development environment in the context of applications drawn from the control of electric power...
This paper proposes a system that could perform real-time monitoring of complex conditions on streaming data from various body sensors within a Wireless Body Area Network (WBAN). The system enables personal medical applications to be developed using personal electronic devices combined together with sensors in a WBAN. The main techniques developed are the query language which supports windowing capabilities,...
In order to improve design time and efficiency of systems, large scale system design is often split into the design of separate functions, which are later integrated together. For real time safety critical applications, the ability to separately verify timing properties of functions is important. If the integration of functions on a particular platform destroys the timing properties of individual...
Deploying real-time control systems software on multiprocessors requires distributing tasks on multiple processing nodes and coordinating their executions using a protocol. One such protocol is the discrete-event (DE) model of computation. In this paper, we investigate distributed discrete-event (DE) with null-message protocol (NMP) on a multicore system for real-time control software. We illustrate...
Researchers have proposed approaches to verify that real-time multiprocessor systems meet their timeliness constraints. These approaches make assumptions on the model of computation, the load placed on the multiprocessor system, and the faults that can arise. This heterogeneous set of assumptions make these approaches hard to compare. This tutorial will present an overview and positioning of four...
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying principle in the project is the use of well-defined models of computation that govern the interaction between components. A major problem area being addressed is the use of heterogeneous mixtures of models of computation. Ptolemy...
This paper argues that cyber-physical systems present a substantial intellectual challenge that requires changes in both theories of computation and dynamical systems theory. The CPS problem is not the union of cyber and physical problems, but rather their intersection, and as such it demands models that embrace both. Two complementary approaches are identified: cyberizing the physical (CtP) means...
The modeling, parameters identification, and linear and nonlinear feedback control designs of an electronic throttle control (ETC) system is considered. A commercially available ETC system made by Bosch is selected for our investigation. The unknown parameters identified are used in designing linear and nonlinear controllers. Simulations and extensive experiments were conducted. A real-time linear...
A real-time reflection/transmission imaging system is demonstrated using a 50-mW, 4.3-THz quantum cascade laser source in a closed-cycle cryorefrigerator, with a 240times320 pixel microbolometer detector. A signal-to-noise ratio of 340 is achieved with a 20-frame/sec acquisition rate.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.