Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Towards Model-Based Engineering of Self-Configuring Embedded Systems
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.ORCID iD: 0000-0001-7048-0108
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.ORCID iD: 0000-0002-4300-885X
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.ORCID iD: 0000-0001-5703-5923
Show others and affiliations
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, Published paper (Refereed)
Abstract [en]

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.
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; Volume 6100
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-11591DOI: 10.1007/978-3-642-16277-0_17ISI: 000286443500017Scopus ID: 2-s2.0-78449245452ISBN: 978-3-642-16276-3 (print)OAI: oai:DiVA.org:kth-11591DiVA: diva2:277850
Conference
International Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems. Dagstuhl Castle, GERMANY. NOV 04-09, 2007
Note

QC 20120404

Available from: 2009-11-20 Created: 2009-11-20 Last updated: 2017-03-30Bibliographically approved
In thesis
1. Adaptive Middleware for Self-Configurable Embedded Real-Time Systems: Experiences from the DySCAS Project and Remaining Challenges
Open this publication in new window or tab >>Adaptive Middleware for Self-Configurable Embedded Real-Time Systems: Experiences from the DySCAS Project and Remaining Challenges
2009 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

Development of software for embedded real-time systems poses severalchallenges. Hard and soft constraints on timing, and usually considerableresource limitations, put important constraints on the development. Thetraditional way of coping with these issues is to produce a fully static design,i.e. one that is fully fixed already during design time.Current trends in the area of embedded systems, including the emergingopenness in these types of systems, are providing new challenges for theirdesigners – e.g. integration of new software during runtime, software upgradeor run-time adaptation of application behavior to facilitate better performancecombined with more ecient resource usage. One way to reach these goals is tobuild self-configurable systems, i.e. systems that can resolve such issues withouthuman intervention. Such mechanisms may be used to promote increasedsystem openness.This thesis covers some of the challenges involved in that development.An overview of the current situation is given, with a extensive review ofdi erent concepts that are applicable to the problem, including adaptivitymechanisms (incluing QoS and load balancing), middleware and relevantdesign approaches (component-based, model-based and architectural design).A middleware is a software layer that can be used in distributed systems,with the purpose of abstracting away distribution, and possibly other aspects,for the application developers. The DySCAS project had as a major goaldevelopment of middleware for self-configurable systems in the automotivesector. Such development is complicated by the special requirements thatapply to these platforms.Work on the implementation of an adaptive middleware, DyLite, providingself-configurability to small-scale microcontrollers, is described andcovered in detail. DyLite is a partial implementation of the concepts developedin DySCAS.Another area given significant focus is formal modeling of QoS andresource management. Currently, applications in these types of systems arenot given a fully formal definition, at least not one also covering real-timeaspects. Using formal modeling would extend the possibilities for verificationof not only system functionality, but also of resource usage, timing and otherextra-functional requirements. This thesis includes a proposal of a formalismto be used for these purposes.Several challenges in providing methodology and tools that are usablein a production development still remain. Several key issues in this areaare described, e.g. version/configuration management, access control, andintegration between di erent tools, together with proposals for future workin the other areas covered by the thesis.

Abstract [sv]

Utveckling av mjukvara för inbyggda realtidssystem innebär flera utmaningar.Hårda och mjuka tidskrav, och vanligtvis betydande resursbegränsningar,innebär viktiga inskränkningar på utvecklingen. Det traditionellasättet att hantera dessa utmaningar är att skapa en helt statisk design, d.v.s.en som är helt fix efter utvecklingsskedet.Dagens trender i området inbyggda system, inräknat trenden mot systemöppenhet,skapar nya utmaningar för systemens konstruktörer – exempelvisintegration av ny mjukvara under körskedet, uppgradering av mjukvaraeller anpassning av applikationsbeteende under körskedet för att nå bättreprestanda kombinerat med e ektivare resursutnyttjande. Ett sätt att nå dessamål är att bygga självkonfigurerande system, d.v.s. system som kan lösa sådanautmaningar utan mänsklig inblandning. Sådana mekanismer kan användas föratt öka systemens öppenhet.Denna avhandling täcker några av utmaningarna i denna utveckling. Enöversikt av den nuvarande situationen ges, med en omfattande genomgångav olika koncept som är relevanta för problemet, inklusive anpassningsmekanismer(inklusive QoS och lastbalansering), mellanprogramvara och relevantadesignansatser (komponentbaserad, modellbaserad och arkitekturell design).En mellanprogramvara är ett mjukvarulager som kan användas i distribueradesystem, med syfte att abstrahera bort fördelning av en applikation överett nätverk, och möjligtvis även andra aspekter, för applikationsutvecklarna.DySCAS-projektet hade utveckling av mellanprogramvara för självkonfigurerbarasystem i bilbranschen som ett huvudmål. Sådan utveckling försvåras avde särskilda krav som ställs på dessa plattformarArbete på implementeringen av en adaptiv mellanprogramvara, DyLite,som tillhandahåller självkonfigurerbarhet till småskaliga mikrokontroller,beskrivs och täcks i detalj. DyLite är en delvis implementering av konceptensom utvecklats i DySCAS.Ett annat område som får särskild fokus är formell modellering av QoSoch resurshantering. Idag beskrivs applikationer i dessa områden inte heltformellt, i varje fall inte i den mån att realtidsaspekter täcks in. Att användaformell modellering skulle utöka möjligheterna för verifiering av inte barasystemfunktionalitet, men även resursutnyttjande, tidsaspekter och andraicke-funktionella krav. Denna avhandling innehåller ett förslag på en formalismsom kan användas för dessa syften.Det återstår många utmaningar innan metodik och verktyg som är användbarai en produktionsmiljö kan erbjudas. Många nyckelproblem i områdetbeskrivs, t.ex. versions- och konfigurationshantering, åtkomststyrning ochintegration av olika verktyg, tillsammans med förslag på framtida arbete iövriga områden som täcks av avhandlingen.

Place, publisher, year, edition, pages
Stockholm: KTH, 2009. xv, 76 p.
Series
Trita-MMK, ISSN 1400-1179 ; 2009:22
Keyword
adaptivity, embedded real-time systems, DySCAS, DyLite, quality of service (QoS), load balancing, resource constraints, model-based design, component-based design, software architecture, adaptive middleware
Identifiers
urn:nbn:se:kth:diva-11608 (URN)978-91-7415-495-5 (ISBN)
Presentation
2009-11-19, B242, Department of Machine Design, KTH, Brinellvägen 83, Stockholm, 14:00 (English)
Opponent
Supervisors
Projects
DySCAS
Available from: 2009-11-25 Created: 2009-11-24 Last updated: 2010-10-28Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Chen, DeJiuTörngren, MartinFeng, Lei

Search in DiVA

By author/editor
Chen, DeJiuTörngren, MartinPersson, MagnusFeng, LeiQureshi, Tahir Naseer
By organisation
Embedded Control Systems
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 117 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf