Abstract
This chapter describes a development approach for supporting acomponent-based development process of real-time applications, and the schedulability analysis of the resulting software. The approach revolves around the Model-Driven Software Engineering paradigm and its associated technologies. They provide the theoretical and technological support for defining the most suitable abstraction levels at which applications are designed, analyzed, deployed, etc., as well as the automatic evolution of models through the defined abstractions levels. To ensure that the analyzed models correspond to the input architectural description, it is necessary to establish univocal correspondences between the concepts of the domains involved in the process. The development process is supported by an Eclipse-based tool-chain, and a sample case study comprising the well-known cruise control problem illustrates its use.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
K. Antkiewicz, M. Czarnecki, M. Stephan, Engineering of framework-specific modeling languages. IEEE Trans. Softw. Eng. 35(6), 795–824 (2009)
Artist-ESD, Artistdesign—European network of excellence on embedded systems design, 2008–2011
C. Atkinson, J. Bayer, C. Bunse, E. Kamsties, O. Laitenberger, R. Laqua, D. Muthig, B. Paech, J. Wst, J. Zettel, Component-based Product Line Engineering with UML (A-W Prof, Boston, 2001)
C. Baier, J. Katoen, Principles of Model Checking (The MIT Press, Cambridge, 2008)
G. Behrmann, K. Larsen, O. Moller, A. David, P. Pettersson, Y. Wang, Uppaal—present and future, in Proceedings of the 40th IEEE Conference on Decision and Control, vol. 3 (2001), pp. 2881–2886
M. Ben-Ari, Principles of the Spin Model Checker (Springer, Berlin, 2008)
J. Bengtsson, W. Yi, in Timed Automata: Semantics, Algorithms and Tools. Lectures on concurrency and Petri nets, vol. 3098 of LNCS (Springer, Berlin, 2004) pp. 87–124
G. Blair, T. Coupaye, J. Stefani, (eds.) Component-based architecture: the Fractal initiative. Ann. Telecommun. 64 (2009), Springer
T. Bures, P. Hnetynka, F. Plasil. Runtime concepts of hierarchical software components. Int. J. Comput. Inf. Sci. 8, 454–463, (2007)
F. Buschmann, K. Henney, D.C. Schmidt, Pattern-Oriented Software Architecture, Volume 4: A Pattern Language for Distributed Computing (Wiley, New York, 2007)
F. Buschmann, K. Henney, D. Schmidt, Pattern-Oriented Software Architecture, Volume 5: On Patterns and Pattern Languages (Wiley, New York, 2007)
J. Bézivin, On the unification power of models. J. Syst. Softw. 4(2), 171–188 (2005)
J. Carlson, P. Håkansson, J. Petterssonb, SaveCCM: an analysable component model for real-time systems. Electron. Notes Theoret. Comput. Sci. 160, 127–140 (2006)
I. Crnkovic, S. Sentilles, A. Vulgarakis, M.R.V. Chaudron, A classification framework for software component models. IEEE Trans. Softw. Eng. 37(5), 593–615 (2011)
L. Dipippo, C. Gill, Design Patterns for Distributed Real-Time Embedded Systems. Real-Time (Springer, Berlin, 2009)
G. Fairbanks, D. Garlan, W. Scherlis. Design fragments make using frameworks easier, in Proceedings of the 21st annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications, OOPSLA 2006, ACM, (2006), pp. 75–88
M. Fayad, D. Schmidt, R. Johnson, Building Application Frameworks: Object-Oriented Foundations of Framework Design (Wiley, New York, 1999)
E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns: Elements of Reusable Object-oriented Software (A-W Prof, Boston, 1995)
H. Gomaa, Designing Concurrent, Distributed, and Real-Time Applications with UML. Object Technology (Addison-Wesley, Boston, 2000)
H. Maaskant, Dynamic and Robust Streaming in and Between Connected Consumer-Electronic Devices, volume 3 of Philips Research Book Series. Chapter A Robust Component Model for Consumer Electronic Products (Springer, Berlin, 2005), pp. 167–192
J. Medina, M. González-Harbour, J. Drake, Mast real-time view: A graphic uml tool for modeling object-oriented real-time systems, in Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS), pp. 245–256, Dec 2001
T. Mens, P. van Gorp, A taxonomy of model transformation. Electron. Notes Theoret. Comput. Sci. 152, 125–142 (2006)
OMG, Model driven architecture guide, version v1.0.1, omg/2003-06-01, June 2003
OMG, Corba component model, v4.0, formal/2006-04-01, 2006
OpenEmbeDD, Openembedd project, model driven engineering open-source platform for real-time & embedded systems, 2008–2011
B. Selic, The pragmatics of model-driven development. IEEE Trans. Softw. Eng. 20(5), 19–25 (2003)
M. Shaw, P. Clements, The golden age of software architecture. IEEE Softw. 23(2), 31–39 (2006)
F. Singhoff, A. Plantec, P. Dissaux, J. Legrand, Investigating the usability of real-time scheduling theory with the cheddar project. J. Real Time Syst. 43(3), 259–295 (2009)
C. Szyperski, Component Software: Beyond Object-oriented Programming, 2 edn. (A-W, Boston, 2002)
Acknowledgments
This work has been partially supported by the Spanish CICYT Project EXPLORE (ref. TIN2009-08572), the Séneca Project MISSION-SICUVA (ref. 15374/PI/10), and the Spanish MEC FPU Program (grant AP2009-5083).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Alonso, D., Sánchez-Ledesma, F., Pastor, J., Álvarez, B. (2014). A Flexible Framework for Component-Based Application with Real-Time Requirements and its Supporting Execution Framework. In: Khan, M., Saeed, S., Darwish, A., Abraham, A. (eds) Embedded and Real Time System Development: A Software Engineering Perspective. Studies in Computational Intelligence, vol 520. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40888-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-40888-5_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40887-8
Online ISBN: 978-3-642-40888-5
eBook Packages: EngineeringEngineering (R0)