1054 search results - page 16 / 211 » Model Transformations in the Model-Based Development of Real... |
RTAS
2008
IEEE
14 years 2 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
DSRT
2005
IEEE
14 years 1 months ago
2005
IEEE
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
MVA
1992
13 years 8 months ago
1992
The development of a real time image processing on a specific architecture is always restricting for the user who must master all the elementary mechanisms of the machine. Such sp...
HASE
2007
IEEE
13 years 11 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...