Sciweavers

1202 search results - page 21 / 241
» Sortings for Reactive Systems
Sort
View
DATE
2008
IEEE
165views Hardware» more  DATE 2008»
15 years 5 months ago
TinyTimber, Reactive Objects in C for Real-Time Embedded Systems
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
Per Lindgren, Johan Eriksson, Simon Aittamaa, Joha...
KBSE
2007
IEEE
15 years 5 months ago
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
Jüri Vain, Kullo Raiend, Andres Kull, Juhan P...
DAC
1998
ACM
16 years 10 days ago
Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta
RTCSA
1998
IEEE
15 years 3 months ago
Distributed Reactive Machines
Jean-Ferdy Susini, Laurent Hazard, Fréd&eac...
RISE
2005
Springer
15 years 4 months ago
Formal Development of Reactive Fault Tolerant Systems
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
Linas Laibinis, Elena Troubitsyna