Sciweavers

355 search results - page 55 / 71
» Schedule Validation for Embedded Reactive Real-Time Systems
Sort
View
CL
2008
Springer
13 years 7 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
RTAS
2007
IEEE
14 years 1 months ago
Preemption Threshold Scheduling: Stack Optimality, Enhancements and Analysis
Using preemption threshold scheduling (PTS) in a multi-threaded real-time embedded system reduces system preemptions and hence reduces run-time overhead while still ensuring real-...
Rony Ghattas, Alexander G. Dean
MBEES
2007
13 years 8 months ago
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...
Vina Ermagan, To-ju Huang, Ingolf H. Krüger, ...
RTCSA
2008
IEEE
14 years 1 months ago
Maximizing the Fault Tolerance Capability of Fixed Priority Schedules
Real-time systems typically have to satisfy complex requirements, mapped to the task attributes, eventually guaranteed by the underlying scheduler. These systems consist of a mix ...
Radu Dobrin, Hüseyin Aysan, Sasikumar Punnekk...
RTCSA
2003
IEEE
14 years 20 days ago
Scheduling Jobs with Multiple Feasible Intervals
This paper addresses the problem of scheduling real-time jobs that have multiple feasible intervals. The problem is NP-hard. We present an optimal branch-and-bound algorithm. When...
Chi-Sheng Shih, Jane W.-S. Liu, Infan Kuok Cheong