1105 search results - page 130 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
137
click to vote
TIME
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
114
Voted
TC
2002
15 years 3 months ago
2002
Abstract-- Current systems are very often based on largescale, unpredictable and unreliable infrastructures. However, users of these systems increasingly require services with time...
118
Voted
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
163
Voted
SDL
2007
15 years 5 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
151
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...