Quantity of resource properties expression and runtime assurance for embedded systems

2009 IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2009

Volumn , Issue , 2009, Pages 428-435

  Gonnord, Laure ^a   Babau, Jean Philippe ^b  

^a UNIVERSITÉ DE LYON   (France)

^b UNIVERSITÉ EUROPÉENNE DE BRETAGNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENT BASED SOFTWARE; DEVELOPMENT PROCESS; EVENT-BASED; MOBILE SYSTEMS; RESOURCE CONSTRAINT; RESOURCE CONTROLLERS; RESOURCE PROPERTIES; RUNTIMES;

COMPUTER APPLICATIONS; EMBEDDED SOFTWARE; SOFTWARE DESIGN; SPECIFICATIONS;

EMBEDDED SYSTEMS;

EID: 70349897447     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AICCSA.2009.5069360     Document Type: Conference Paper

References (14)

1. S. Becker, L. Grunske, R. Mirandola, and S. Overhage. Performance Prediction of Component-Based systems: A Survey from an Engineering Perspective. In Architecting Systems with Trustworthy Components, volume 3938 of LNCS. Springer, 2006.
2. E. Bruneton, T. Coupaye, and J. Stefani. Recursive and dynamic software composition with sharing. In Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming (WCOP'02), 2002.
3. J.-Ph. Fassino, J.-B. Stefani, J. Lawall, and G. Muller. THINK: A software framework for component-based operating system kernels. In Proceedings of Usenix Annual Technical Conference, Monterey (USA), June 2002.
4. I. Foster, C. Kesselman, C. Lee, B. Lindell, K. Nahrstedt, and A. Roy. A distributed resource management architecture that supports advance reservations and co-allocation. In In Proceedings of the International Workshop on Quality of Service, pages 27-36, 1999.
5. S. Frølund and J. Koistinen. Quality of services specification in distributed object systems design. In Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems (COOTS), Berkeley, CA, USA, 1998. USENIX Association.
6. L. Gonnord and J.-P. Babau. Resource management with Qinna framework : the remote viewer case study. Research Report 6562, INRIA, June 2008.
7. L. Gonnord and J.-P. Babau. Runtime resource assurance and adaptation with Qinna framework : a case study. In Real Time Software, RTS'08, Wisla, Poland, Aug. 2008.
8. F. M. K. Altisen, A. Clodic and E. Rutten. Using Controller Synthesis to Build Property-Enforcing Layers. In European Symposium on Programming (ESOP), April 2003.
9. I. Lee, S. Kannan, M. Kim, O. Sokolsky, and M. Viswanathan. Runtime assurance based on formal specifications. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (IPDPS'99), 1999.
10. F. Maraninchi and L. Morel. Logical-Time Contracts for Reactive Embedded Components. In 30th EUROMICRO Conference on Component-Based Software Engineering Track, ECBSE'04, Rennes, France, Aug. 2004.
11. M. Sparling. Lessons learned through six years of component-based development. Commun. ACM, 43(10), 2000.
12. L. Tan, J. Kim, I. Lee, and O. Sokolsky. Model-based Testing and Monitoring for Hybrid Embedded Systems. In Proceedings of IEEE International Conference on Information Reuse and Integration (IRI'04), 2004.
13. J.-C. Tournier. Qinna: une architecture à base de composants pour la gestion de la qualité de service dans les systèmes embarqués mobiles. PhD thesis, INSA-Lyon, 2005.
14. J.-C. Tournier, J.-P. Babau, and V. Olive. Qinna, a Component-Based QoS Architecture. In Component-Based Software Engineering, 8th International Symposium, St. Louis, USA, May 2005.