Sciweavers

1105 search results - page 35 / 221
» Timed Automata Model for Component-Based Real-Time Systems
Sort
View
DSRT
2005
IEEE
14 years 2 months ago
A MDA-based approach for real time embedded systems simulation
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...
Julien DeAntoni, Jean-Philippe Babau
RTCSA
2006
IEEE
14 years 2 months ago
Jitter Evaluation of Real-Time Control Systems
The real-time implementation of a controller typically introduces artefacts like delay and jitters that have not been considered at the design stage. As a consequence, the system ...
Manuel Lluesma, Anton Cervin, Patricia Balbastre, ...
FDL
2006
IEEE
14 years 2 months ago
Reusing Real-Time Systems Design Experience
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk...
IPPS
2003
IEEE
14 years 2 months ago
Better Real-Time Response for Time-Share Scheduling
As computing systems of all types grow in power and complexity, it is common to want to simultaneously execute processes with different timeliness constraints. Many systems use CP...
Scott A. Banachowski, Scott A. Brandt
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
14 years 2 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....