Towards Model-Based Engineering of Self-Configuring Embedded Systems
2010 (English)In: Model-based engineering of embedded real-time systems / [ed] Giese, H; Karsai, G; Lee, E; Rumpe, B; Schatz, B, Springer Berlin/Heidelberg, 2010, 1st Edition, Vol. 6100, 345-353 p.Conference paper (Refereed)
In self-configuring embedded systems, upgrades, attachment of devices, relocation ofapplications and adjustment of performance parameters can be carried out during run-timefor the purposes of information/function integration, maintenance, performance, resourceefficiency, and robustness. We describe a model-based engineering approach to support thedevelopment of such systems. Essential ingredients include a combined usage of a systemmodel, 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.
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2010, 1st Edition. Vol. 6100, 345-353 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 (Print) 1611-3349 (Online) ; Volume 6100
IdentifiersURN: urn:nbn:se:kth:diva-11591DOI: 10.1007/978-3-642-16277-0_17ISI: 000286443500017ScopusID: 2-s2.0-78449245452ISBN: 978-3-642-16276-3OAI: oai:DiVA.org:kth-11591DiVA: diva2:277850
International Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems. Dagstuhl Castle, GERMANY. NOV 04-09, 2007
QC 201204042009-11-202009-11-202012-04-04Bibliographically approved