lnu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Guaranteeing Robustness in a Mobile Learning Application using Formally Verified MAPE Loops
Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för medieteknik (ME). (CeLeKT)
Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).ORCID-id: 0000-0002-1162-0817
2013 (engelsk)Inngår i: Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, New York: IEEE Press, 2013, , s. 10s. 83-92Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Mobile learning applications support traditional indoor lectures with outdoor activities using mobile devices. An example scenario is a team of students that use triangulation techniques to learn properties of geometrical figures. In previous work, we developed an agent-based mobile learning application in which students use GPS-enabled phones to calculate distances between them. From practical experience, we learned that the required level of GPS accuracy is not always guaranteed, which undermines the use of the application. In this paper, we explain how we have extended the existing application with a selfadaptation layer, making the system robust to degrading GPS accuracy. The self-adaptive layer is conceived as a set of interacting MAPE loops (Monitor-Analysis-Plan-Execute), distributed over the phones. To guarantee the robustness requirements, we formally specify the self-adaptive behaviors using timed automata, and the required properties using timed computation tree logic. We use the Uppaal tool to model the self-adaptive system and verify the robustness requirements. Finally, we discuss how the formal design supported the implementation of the selfadaptive layer on top of the existing application.

sted, utgiver, år, opplag, sider
New York: IEEE Press, 2013. , s. 10s. 83-92
Emneord [en]
Self-adaptation MAPE Robustness M-Learning
HSV kategori
Identifikatorer
URN: urn:nbn:se:lnu:diva-25908DOI: 10.1109/SEAMS.2013.6595495ISI: 000327972300009Scopus ID: 2-s2.0-84884992280ISBN: 978-1-4673-4401-2 (tryckt)OAI: oai:DiVA.org:lnu-25908DiVA, id: diva2:623707
Konferanse
8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 20-21 May, 2013, San Francisco
Prosjekter
AMULETSTilgjengelig fra: 2013-05-28 Laget: 2013-05-28 Sist oppdatert: 2016-12-20bibliografisk kontrollert

Open Access i DiVA

fulltext(722 kB)211 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 722 kBChecksum SHA-512
e1ae5d3bea71728afa2d5ca07d7519474765af9730ae69916ee51f278d9d842fcdab1f959e54a045426e02182e644f6eb86e0b20f28175c8dbd7898eb1800f18
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Gil de la Iglesia, DidacWeyns, Danny

Søk i DiVA

Av forfatter/redaktør
Gil de la Iglesia, DidacWeyns, Danny
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 211 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 330 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf