106 search results - page 12 / 22 » On the use of metatypes for safe embedded operating system e... |
RTCSA
2008
IEEE
14 years 1 months ago
2008
IEEE
The demand for real-time data services in embedded systems is increasing. In these new computing platforms, using traditional buffer management schemes, whose goal is to minimize ...
CBSE
2010
Springer
14 years 9 days ago
2010
Springer
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
FROCOS
2009
Springer
14 years 2 months ago
2009
Springer
We investigate the temporal extension of the description logic DL-Lite(RN ) bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and...
ECRTS
1999
IEEE
13 years 11 months ago
1999
IEEE
Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to un...
DAC
2008
ACM
13 years 9 months ago
2008
ACM
Battery lifetime and safety are primary concerns in the design of battery operated systems. Lifetime management is typically supervised by the system via battery-aware task schedu...