Guaranteeing robustness in a mobile learning Application using formally verified MAPE loops

@article{Gil2013GuaranteeingRI,
  title={Guaranteeing robustness in a mobile learning Application using formally verified MAPE loops},
  author={Didac Gil and Danny Weyns},
  journal={2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)},
  year={2013},
  pages={83-92}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 19 CITATIONS

A Runtime Verification and Validation Framework for Self-Adaptive Software

VIEW 22 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Modeling Collaborations in Adaptive Systems of Systems

VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

A Formal Approach for Designing Distributed Self-Adaptive Systems

VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A Review on Personalization and Agents Technology in Mobile Learning

VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems

VIEW 2 EXCERPTS
CITES METHODS

AiTES: The self-adaptive framework for environment change of IoT

  • JungHyen Ahn, Young B. Park
  • Computer Science
  • 2017 4th International Conference on Computer Applications and Information Processing Technology (CAIPT)
  • 2017
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-5 OF 5 REFERENCES

UPPAAL 4.0

  • G. Behrmann, A. David, P. Pettersson, W. Yi, M. Hendriks
  • Quantitative Evaluation of Systems, 2006.
  • 2006
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

The Vision of Autonomic Computing

VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

JADE: What it is and what it is next.

  • F. Bellifemine
  • Models and Methods of Analysis for Agent Based Systems. Springer,
  • 2001
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Self-Managed Systems: an Architectural Challenge

VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL