Reliable and Precise WCET Determination for a Real-Life Processor

Autor:	Marc Langenbach, Henrik Theiling, Michael Schmidt, Florian Martin, Reinhold Heckmann, Christian Ferdinand, Reinhard Wilhelm, Stephan Thesing
Rok vydání:	2001
Předmět:	business.industry Computer science Embedded system Reliability (computer networking) Processor design Software development Modular design business Pipeline (software) Execution time Real-time operating system Task (project management)
Zdroj:	Embedded Software ISBN: 9783540426738 EMSOFT
DOI:	10.1007/3-540-45449-7_32
Popis:	The USES-groupat the Universitat des Saarlandes follows an approach to compute reliable run-time guarantees which is both wellbased on theoretical foundations and practical from a software engineering and an efficiency point of view. Several aspects are essential to the USES approach: the resulting system is modular by structuring the task into a sequence of subtasks, which are tackled with appropriate methods. Generic and generative methods are used whenever possible. These principles lead to an understandable, maintainable, efficient, and provably correct system. This paper gives an overview of the methods used in the USES approach to WCET determination. A fully functional prototype system for the Motorola ColdFire MCF 5307 processor is presented, the implications of processor design on the predictability of behavior described, and experiences with analyzing applications running on this processor reported.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::35162337cff5eeac39d3fc81fd362d65 https://doi.org/10.1007/3-540-45449-7_32 Zobrazit plný text záznamu