Managing quality of service during evolution using component contracts
Joris Gorinsek, Stefan Van Baelen, Yolande Berbers, Karel De Vlaminck · Lirias · 2003
In this paper we propose a methodology to guarantee resource contracts and increase reliability across updates in embedded soft real-time systems. We present the road map to a solution based on the verification of component updates using update contracts. In our system the behavior of all components is modeled in detail. Relying on a resource aware component system which has full control over all resources we will be able to guarantee that an update doesn't cause resource constraint violations for components that are not updated. We also lay out a tool which helps the software developer in estimating the maximal resource consumption of a certain update and determining the impact of a that update on the running program.