Abstract
In self-configuring embedded systems, upgrades, attachment of devices, relocation of applications and adjustment of performance parameters can be carried out during run-time for the purposes of information/function integration, maintenance, performance, resource efficiency, and robustness. We describe a model-based engineering approach to support the development of such systems. Essential ingredients include a combined usage of a system model, simulation combined with a number of formal techniques, and run-time models used as a basis for on-line decision making, with the overall goal to ascertain flexible, yet dependable, system behavior.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Törngren, M., Chen, D., Malvius, D., Axelsson, J.: Model based development of automotive embedded systems. In: Automotive Embedded Systems Handbook. Industrial Information Technology. Taylor and Francis, CRC Press (2008)
DySCAS, http://www.dyscas.org
DySCAS Consortium: D2.3 DySCAS system specification. Technical report (2008)
Anthony, R., Ekelin, C.: Policy-driven self-management for an automotive middleware. In: Proceedings of First International Workshop on Policy-Based Autonomic Computing (PBAC 2007), at the Fourth IEEE International Conference on Autonomic Computing, in Jacksonville, Florida, USA, June 11-15 (2007)
Chen, D., Anthony, R., Persson, M., Scholle, D., Friesen, V., de Boer, G., Rettberg, A., Ekelin, C.: An architectural approach to autonomics and self-management of automotive embedded electronic systems. In: Proceedings of the 4th European Congress Embedded Real-Time Software (ERTS 2008), Toulouse, France, January 29-February 1 (2008)
Leveson, N.G.: Safeware: System safety and computers. Addison-Wesley Publishing Company, Reading (1995)
Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. ACM SIGSOFT Software Engineering Notes 17(4), 40–52 (1992)
Feng, L., Törngren, M., Chen, D.: Safety analysis of dynamically self-configuring automotive systems. Technical report, Mechatronics Lab, Department of Machine Design, KTH, Stockholm (2008)
Cuenot, P., Chen, D., Gérard, S., Lönn, H., Reiser, O., Servat, D., Kolagari, R.T., Törngren, M., Weber, M.: Improving dependability by using an architecture description language. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems IV. LNCS, vol. 4615, pp. 39–65. Springer, Heidelberg (2007)
Feng, L., Chen, D., Törngren, M.: Self configuration of dependent tasks for dynamically reconfigurable automotive embedded systems. In: Proceedings of 47th IEEE Conference on Decision and Control, Cancún, Mexico, December 9-11 (2008)
UML, http://www.uml.org
MagicDraw, http://www.magicdraw.com
SimEvents, http://www.mathworks.com/products/simevents/
Naseer Qureshi, T., Chen, D., Törngren, M., Feng, L., Persson, M.: Experiences in simulating a dynamically self-configuring middleware: A case study of DySCAS. Technical report, Mechatronics Lab, Department of Machine Design, KTH, Stockholm (2008)
TrueTime, http://www.control.lth.se/truetime/
Persson, M., García, J., Feng, L., Naseer Qureshi, T., Chen, D., Törngren, M.: DyLite: Design, implementation and experiences. Technical report, Mechatronics Lab, Department of Machine Design, KTH, Stockholm (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Chen, D., Törngren, M., Persson, M., Feng, L., Qureshi, T.N. (2010). 17 Towards Model-Based Engineering of Self-configuring Embedded Systems. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Schätz, B. (eds) Model-Based Engineering of Embedded Real-Time Systems. MBEERTS 2007. Lecture Notes in Computer Science, vol 6100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16277-0_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-16277-0_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16276-3
Online ISBN: 978-3-642-16277-0
eBook Packages: Computer ScienceComputer Science (R0)