322 search results - page 8 / 65 » Testing Deadlock-Freeness in Real-Time Systems: A Formal App... |
CHARME
2001
Springer
13 years 11 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
DATE
2008
IEEE
13 years 9 months ago
2008
IEEE
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, we propose an approach to estimate the Worst Case Response Time (WCRT) of tasks in a preemptive multi-tasking single-processor real-time system with a set associati...
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
— Real-time data services are needed in data-intensive real-time applications such as e-commerce or traffic control. However, it is challenging to support real-time data service...
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...