Evaluation Framework for Dependable Mobile Learning Scenarios

The goal of the dependability analysis is to predict inconsistencies and to reveal ambiguities and incompleteness in the designed learning scenario. Evaluation, in traditional learning design, is generally planned after the execution of the scenario. In mobile learning, this stage becomes too difficult and expensive to apply due to the complexity and heterogeneity of mobile infrastructure with contextual constraints. In other word, the test of the dependability has to be alone at early stage. To achieve our goal, evaluating the dependability of the learning scenario, the evaluation model is constructed from the analysis of literature by exploring different aspects of dependability. We propose to apply formal specification and verification in order to evaluate the functional dependability of the mobile learning environment. A specification is the description (usually by means of a temporal logic formulas) of the property (or temporal behaviour) to be fulfilled by the environment under consideration. Verification consists on (exhaustively) proving that the learning environment is correct.