A practical approach to runtime verification of real-time properties for Java programs

Given the intractability of exhaustively verifying soft-ware, the use of runtime-verification to verify single execution paths at runtime, is becoming increasingly popular in industrial settings. In this paper we present dynamic communicating automata with timers and events to describe properties of systems, implemented in LARVA, an event-based runtime verification tool for monitoring temporal and contextual properties of Java programs. We give the mathematical framework behind LARVAand show how real time logics can be trans-lated into LARVAproviding additional benefits to the runtime monitoring framework. These benefits include guarantees on the memory upperbound required for the monitoring system and guarantees on the effect of varying the execution speed of the system with regards to real-time properties. Index Terms runtime verification, real-time properties, duration cal-culus 1.peer-reviewe

Implementing and operationalising integrative approaches to sustainability in Higher Education: The role of project-oriented learning.

Higher education institutions across the world are increasingly placing an emphasis on students’ acquisition of a broader range of skills or attributes within the taught curriculum, which should lead to a widening of their chances of academic success, in particular in the employment market. Among other issues, matters related to sustainable development are playing a key role, but many universities do not yet cater for integrative approaches, which may help them to approach sustainability issues in a transformative way. It is therefore necessary to develop new approaches and methods, which may address this gap. Based on the importance of meeting this perceived research need, this paper defines the role of project-oriented learning, also designated as Project Based Learning, as a tool to support integrative approaches to sustainability in a higher education context. The scientific value of the paper lies in the provision of some examples of successful approaches to Project Based Learning and the identification of some of the trends that characterise it. The paper makes clear why project-oriented learning should be more widely used in support of integrative approaches to sustainability, and why it needs to become part of the routine of higher education institutions. The outline of some of the initiatives recently and currently being undertaken may inspire others and assist in the implementation of Project Based Learning