publication . Doctoral thesis . 2012

A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems

Vulgarakis, Aneta;
Open Access English
  • Published: 01 Jan 2012
  • Publisher: Mälardalens högskola, Akademin för innovation, design och teknik
  • Country: Sweden
Abstract
Managing complexity is an increasing challenge in the development of embedded systems (ES). Some of the factors contributing to the increase in complexity are the growing complexity of hardware and software, and the increased pressure to deliver full-featured products with reduced time-to-market. An attractive approach to manage the software complexity, reduce time-to-market and decrease development costs lies in the adoption of component-based development that has been proven as a successful approach in other domains. Another raising challenge, due to complexity increase, in ES, is predictability, i.e., the ability to anticipate the behavior of a system at run-...
Subjects
free text keywords: component-based development, formal analysis, embedded systems, resource prediction, behavioral modeling, architectural modeling, tools, resource-aware framework, Software Engineering, Programvaruteknik
Related Organizations
50 references, page 1 of 4

[2] Uppaal. www.uppaal.com, (Last Accessed: 2012-03-27).

[3] IEEE Standard Glossary of Software Engineering Terminology. IEEE Std 610.12-1990, page 1, 1990.

[4] Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2001.

[5] Parosh Aziz Abdulla, Pavel Krcal, and Wang Yi. Sampled Universality of Timed Automata. Proceedings of the 10th International Conference Foundations of Software Science and Computational Structures, LNCS 4423:2-16, 2007.

[6] Acceleo. http://www.acceleo.org/ (Last Accessed: 2012-04-14).

[7] aiT - Worst-Case Execution Time Analyzer. http://www.absint. com/ait/, (Last Accessed: 2012-01-30).

[8] Mikael A˚kerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John H˚akansson, Anders Mo¨ller, Paul Pettersson, and Massimo Tivoli. The SAVE approach to component-based development of vehicular systems. Journal of Systems and Software, 80(5):655- 667, May 2007.

autosar.org/download/R4.0/AUTOSAR_TPS_TimingExtensions.pdf (Last Accessed: 2012-04-11).

[20] Christel Baier and Joost-Pieter Katoen. Checking. The MIT Press, 2008.

[21] Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, and Frits Vaandrager. Minimum-Cost Reachability for Priced Timed Automata. Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, (2034):147-161, 2001.

[22] Johan Bengtsson, W. O. David Griffioen, K˚are J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Automated Analysis of an Audio Control Protocol Using Uppaal. Journal of Logic and Algebraic Programming, 52-53:163-181, 2002.

[23] Johan Bengtsson, W. O. David Griffioen, K˚are J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Verification of an Audio Protocol with Bus Collision Using Uppaal. Proceedings of the 8th International Conference on Computer Aided Verification, pages 244-256, 1996.

[24] Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Uppaal - a Tool Suite for Automatic Verification of Real-Time Systems. Proceedings of Workshop on Verification and Control of Hybrid Systems III, pages 232-243, October 1995.

[25] Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andy Wallace, and Iain Wallace. Towards Resource-Certified Software: A Formal Cost Model for Time and its Application to an Image-Processing Example. ACM Symposium on Applied Computing, March 2007. [OpenAIRE]

[26] Etienne Borde, Jan Carlson, Juraj Feljan, Luka Lednicki, Thomas Leveque, Josip Maras, Ana Petricic, and S´everine Sentilles. PRIDE an Environment for Component-based Development of Distributed Real-time Embedded Systems. Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, June 2011.

50 references, page 1 of 4
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue