Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
This paper focuses on priority assignment for realtime systems using fixed priority scheduling. It introduces and defines the concept of a “robust” priority ordering: the most...
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
Real-time systems are often designed using a set of periodic tasks. Task periods are usually set by the system requirements, but deadlines and computation times can be modified in ...