Quantity of resource properties expression and runtime assurance for embedded systems

Recent work on component-based software design has proved the need of resource-accurate development of embedded software. In the more specific cases of mobile systems, the developer also needs tools to facilitate the adaptation of functionalities to resources (lack of memory or bandwidth, etc.), and also to evaluate the performance w.r.t. the resource issues ([1]). As we want to design and develop at the same time the application and its resource controllers, we chose to use Qinna, which was designed to manage resource issues (specification, contractualization, management) during the development process of such an application. We propose a complete formalization of the resource constraints specification, through the use of a variant of the event-based logics, MEDL and PEDL introduced in [9]. Qinna then automatically performs the runtime resource assurance. We illustrate this work in a case study.

[1]  Julia L. Lawall,et al.  Proceedings of the 2002 Usenix Annual Technical Conference Think: a Software Framework for Component-based Operating System Kernels , 2022 .

[2]  Jean-Philippe Babau,et al.  Qinna, a component-based qos architecture , 2005, CBSE'05.

[3]  Jean-Philippe Babau,et al.  Runtime resource assurance and adaptation with Qinna framework: A case study , 2008, 2008 International Multiconference on Computer Science and Information Technology.

[4]  Michael Sparling,et al.  Lessons learned through six years of component-based development , 2000, CACM.

[5]  Jean-Charles Tournier,et al.  Qinna, une architecture à base de composants pour la gestion de la qualité de service dans les systèmes embarqués mobiles. (Qinna, a component-based quality of service architecture for mobile embedded systems) , 2005 .

[6]  Thierry Coupaye,et al.  Recursive and Dynamic Software Composition with Sharing , 2002 .

[7]  Lionel Morel,et al.  Logical-time contracts for reactive embedded components , 2004, Proceedings. 30th Euromicro Conference, 2004..

[8]  SparlingMichael.  Lessons learned through six years of component-based development , 2000 .

[9]  Mahesh Viswanathan,et al.  Runtime Assurance Based On Formal Specifications , 1999, PDPTA.

[10]  Jari Koistinen,et al.  Quality of services specification in distributed object systems design , 1998 .

[11]  Steffen Becker,et al.  Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective , 2004, Architecting Systems with Trustworthy Components.

[12]  Insup Lee,et al.  Model-based testing and monitoring for hybrid embedded systems , 2004, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..

[13]  Klara Nahrstedt,et al.  A distributed resource management architecture that supports advance reservations and co-allocation , 1999, 1999 Seventh International Workshop on Quality of Service. IWQoS'99. (Cat. No.98EX354).

[14]  Jean-Philippe Babau,et al.  Resource management with Qinna framework : the remote viewer case study , 2008 .