422 search results - page 14 / 85 » Static Timing Analysis of Embedded Software |
115
click to vote
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
EMSOFT
2003
Springer
2003
Springer
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems
15 years 2 months ago
Embedded systems have become prevalent in today’s computing world and more and more of these embedded systems are highly distributed and network centric. This adds increasing deg...
JUCS
2010
14 years 4 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
RTCSA
1999
IEEE
15 years 1 months ago
1999
IEEE
Abstract. We present an approach to static priority preemptive process scheduling for the synthesis of hard realtime distributed embedded systems where communication plays an impor...
EMSOFT
2006
Springer
14 years 11 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...