808 search results - page 16 / 162 » Modeling and Analysis of Real-Time and Embedded Systems |
ECRTS
2006
IEEE
15 years 3 months ago
2006
IEEE
At early stages in the design of real-time embedded applications, the timing attributes of the computational activities are often incompletely specified or subject to changes. Lat...
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
ECRTS
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate...
HASE
2007
IEEE
15 years 1 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...
ECBS
2007
IEEE
15 years 1 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...