1105 search results - page 18 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
124
click to vote
ECMDAFA
2005
Springer
15 years 5 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
102
click to vote
IPPS
2007
IEEE
15 years 6 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 ...
ANSS
1996
IEEE
15 years 3 months ago
1996
IEEE
ERSHOV
2003
Springer
15 years 4 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
102
click to vote
ISORC
2007
IEEE
15 years 6 months ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...