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

Iglesia, Didac Gil de la; Weyns, Danny

doi:10.1109/seams.2013.6595495

Cited by 13 publications

(21 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…5 These templates define abstract automata that can be instantiated and extended for the domain at hand. The templates were derived from experience with modeling MAPE-K feedback loops for different applications, e.g., [22,15]. Nevertheless, formal modeling remains a tedious task.…”

Section: Discussionmentioning

confidence: 99%

ActivFORMS: active formal models for self-adaptation

Iftikhar

Weyns

2014

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Self Cite

125

View full text Add to dashboard Cite

Self-adaptation enables a software system to deal autonomously with uncertainties, such as dynamic operating conditions that are difficult to predict or changing goals. A common approach to realize self-adaptation is with a MAPE-K feedback loop that consists of four adaptation components: Monitor, Analyze, Plan, and Execute. These components share Knowledge models of the managed system, its goals and environment. To provide guarantees of the adaptation goals, state of the art approaches propose using formal models of the knowledge. However, less attention is given to the formalization of the adaptation components themselves, which is important to provide guarantees of correctness of the adaptation behavior (e.g., does the execute component execute the plan correctly?). We propose Active FORmal Models for Self-adaptation (ActivFORMS) that uses an integrated formal model of the adaptation components and knowledge models. The formal model is directly executed by a virtual machine to realize adaptation, hence active model. The contributions of ActivFORMS are: (1) the approach assures that the adaptation goals that are verified offline are guaranteed at runtime, and (2) it supports dynamic adaptation of the active model to support changing goals. We show how we have applied ActivFORMS for a small-scale robotic system.

show abstract

Section: Discussionmentioning

confidence: 99%

ActivFORMS: active formal models for self-adaptation

Iftikhar

Weyns

2014

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Self Cite

125

View full text Add to dashboard Cite

show abstract

“…1. A direct communication form could be the exchange of messages among systems in a client-server scenario [84,109], whereas an indirect communication example is the use of a blackboard approach as realized in [108,190]. Centralized communication implies a dedicated system or group, which coordinates the message flow.…”

Section: Coordinationmentioning

confidence: 99%

“…The goal of the audio streaming system is the minimization of packet losses by maximizing availability and reliability of successfully processed audio packets. A distributed self-adaptive scenario of a mobile learning application is described in [84], where different tasks are distributed to different student groups. In contrast to the decentralized scenario in [114], the described approach of Iglesia et al [84] uses a centralized master-slave coordination pattern between mobile clients and the server.…”

Section: State Of the Artmentioning

confidence: 99%

“…A distributed self-adaptive scenario of a mobile learning application is described in [84], where different tasks are distributed to different student groups. In contrast to the decentralized scenario in [114], the described approach of Iglesia et al [84] uses a centralized master-slave coordination pattern between mobile clients and the server. However, there are much more specific scenarios, where multiple feedback loops are defined and interact with other feedback loops in a predefined, specific system solution (cf.…”

Section: State Of the Artmentioning

confidence: 99%

See 1 more Smart Citation

Modeling Collaborations in Adaptive Systems of Systems

Wätzoldt

Giese

2015

Proceedings of the 2015 European Conference on Software Architecture Workshops

View full text Add to dashboard Cite

Recently, due to an increasing demand on functionality and flexibility, beforehand isolated systems have become interconnected to gain powerful adaptive System of Systems (SoS) solutions with an overall robust, flexible and emergent behavior. The adaptive SoS comprises a variety of different system types ranging from small embedded to adaptive cyber-physical systems. On the one hand, each system is independent, follows a local strategy and optimizes its behavior to reach its goals. On the other hand, systems must cooperate with each other to enrich the overall functionality to jointly perform on the SoS level reaching global goals, which cannot be satisfied by one system alone. Due to difficulties of local and global behavior optimizations conflicts may arise between systems that have to be solved by the adaptive SoS.This thesis proposes a modeling language that facilitates the description of an adaptive SoS by considering the adaptation capabilities in form of feedback loops as first class entities. Moreover, this thesis adopts the Models@runtime approach to integrate the available knowledge in the systems as runtime models into the modeled adaptation logic. Furthermore, the modeling language focuses on the description of system interactions within the adaptive SoS to reason about individual system functionality and how it emerges via collaborations to an overall joint SoS behavior. Therefore, the modeling language approach enables the specification of local adaptive system behavior, the integration of knowledge in form of runtime models and the joint interactions via collaboration to place the available adaptive behavior in an overall layered, adaptive SoS architecture.Beside the modeling language, this thesis proposes analysis rules to investigate the modeled adaptive SoS, which enables the detection of architectural patterns as well as design flaws and pinpoints to possible system threats. Moreover, a simulation framework is presented, which allows the direct execution of the modeled SoS architecture. Therefore, the analysis rules and the simulation framework can be used to verify the interplay between systems as well as the modeled adaptation effects within the SoS. This thesis realizes the proposed concepts of the modeling language by mapping them to a state of the art standard from the automotive domain and thus, showing their applicability to actual systems. Finally, the modeling language approach is evaluated by remodeling up to date research scenarios from different domains, which demonstrates that the modeling language concepts are powerful enough to cope with a broad range of existing research problems.-I - Zusammenfassung

show abstract

“…Around the world there are several projects ongoing or finalized that aim the development of mobile learning applications for different mobile platforms or Web based applications optimized for mobile devices, like [1], [2], [3] and [4] Mobile learning applications could include modules for:  Content presentation (lessons); content include text, video, audio, graphics; it could as simple as displaying only text or loading PDF or other files or very complex, using multimedia components [5];  Short assessments (quizzes); these are available to students in order to test their knowledge; the user can take these tests whenever they want and they are not time-restricted;  Final assessments (tests); these tests are given at a specific date and time and they have a limited duration;  Trainer-student communication; this involves the use of well known components (e-mail or social networks) or by using a dedicated component based on a specific protocol.  Content sharing (e-mail, social networks, cloud etc.…”

Section: Introductionmentioning

confidence: 99%

Developing an M-Learning Application for iOS

Pocatilu¹

2013

View full text Add to dashboard Cite

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

Cited by 13 publications

References 14 publications

ActivFORMS: active formal models for self-adaptation

ActivFORMS: active formal models for self-adaptation

Modeling Collaborations in Adaptive Systems of Systems

Developing an M-Learning Application for iOS

Contact Info

Product

Resources

About