1105 search results - page 10 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
DATESO
2010
13 years 6 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
ISORC
1998
IEEE
14 years 27 days ago
1998
IEEE
Component-based software development would allow application software be largely constructed, rather than programmed. This approach would dramatically improve the productivity of ...
ADAEUROPE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract: This paper proposes a strategy to manage the schedulability of realtime component-based applications that is fully compatible with the concept of component viewed as a re...
ARTS
1997
Springer
14 years 24 days ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
TASE
2009
IEEE
14 years 3 months ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...