July 28, 2008 to Aug. 1, 2008
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of the system's resource consumption, starting at early design stages. In this paper, we glance through several representative frameworks that model and estimate resource usage of embedded systems, pointing out advantages and limitations. In the end, we describe our own view on how to model and carry out formal analysis of embedded resources, along with developing the system.
embedded systems, component-based design, resource usage analysis
Aneta Vulgarakis, Cristina Seceleanu, "Embedded Systems Resources: Views on Modeling and Analysis", COMPSAC, 2008, 2013 IEEE 37th Annual Computer Software and Applications Conference, 2013 IEEE 37th Annual Computer Software and Applications Conference 2008, pp. 1321-1328, doi:10.1109/COMPSAC.2008.215