Development Environment for Configuration and Analysis of Embedded Real-Time Systems
Aleksandra Tešanović, Peng Mu, Jörgen Hansson · 2005
In this paper we present a tool framework that provides developers of real-time systems with support for building and configuring a system out of components and aspects, as well as real-time analysis of the configured system. This way a real-time system can efficiently be configured to meet functional requirements and analyzed to ensure that non-functional requirements are also fulfilled, e.g., available resources such as memory and CPU. We illustrate the usability of the tool by a case study of an embedded real-time database system.