Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web

Critical human-machine interfaces are present in many systems including avionics systems and medical devices. Use error is a concern in these systems both in terms of hardware panels and input devices, and the software that drives the interfaces. Guaranteeing safe usability, in terms of buttons, knobs and displays is now a key element in the overall safety of the system. New integrated development environments (IDEs) based on formal methods technologies have been developed by the research community to support the design and analysis of high-confidence human-machine interfaces. To date, little work has focused on the comparison of these particular types of formal IDEs. This paper compares and evaluates two state-of-the-art toolkits: CIRCUS, a model-based development and analysis tool based on Petri net extensions, and PVSio-web, a prototyping toolkit based on the PVS theorem proving system.This work is partially supported by: Project NORTE-01-0145-FEDER-000016, financed by the North Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, and through the European Regional Development Fund (ERDF); Conselho Nacional de Desenvolvimento Cientifico e Tecnologico (CNPq) PhD scholarship

Environments to support collaborative software engineering

With increasing globalisation of software production, widespread use of software components, and the need to maintain software systems over long periods of time, there has been a recognition that better support for collaborative working is needed by software engineers. In this paper, two approaches to developing improved system support for collaborative software engineering are described: GENESIS and OPHELIA. As both projects are moving towards industrial trials and eventual publicreleases of their systems, this exercise of comparing and contrasting our approaches has provided the basis for future collaboration between our projects particularly in carrying out comparative studies of our approaches in practical use

User interface development and software environments : the Chiron-1 system

User interface development systems for software environments have to cope with the broad, extensible and dynamic character of such environments, must support internal and external integration, and should enable various software development strategies. The Chiron-1 system adapts and extends key ideas from current research in user interface development systems to address the particular demands of software environments. Important Chiron-1 concepts are: separation of concerns, dynamism, and open architecture. We discuss the requirements on such user interface development systems, present the Chiron-1 architecture and a scenario of its usage, detail the concepts it embodies, and report on its design and prototype implementation

Implementation and design of a service-based framework to integrate personal and institutional learning environments

The landscape of teaching and learning has changed in recent years because of the application of Information and Communications technology. Among the most representative innovations in this regard are Learning Management Systems. Despite of their popularity in institutional contexts and the wide set of tools and services that they provide to learners and teachers, they present several issues. Learning Management Systems are linked to an institution and a period of time, and are not adapted to learners' needs. In order to address these problems Personal Learning Environments are defined, but it is clear that these will not replace Learning Management Systems and other institutional contexts. Both types of environment should therefore coexist and interact. This paper presents a service-based framework to facilitate such interoperability. It supports the export of functionalities from the institutional to the personal environment and also the integration within the institution of learning outcomes from personal activities. In order to achieve this in a flexible, extensible and open way, web services and interoperability specifications are used. In addition some interoperability scenarios are posed. The framework has been tested in real learning contexts and the results show that interoperability is possible, and that it benefits learners, teachers and institutions.Peer ReviewedPostprint (author's final draft

BRAHMS: Novel middleware for integrated systems computation

Biological computational modellers are becoming increasingly interested in building large, eclectic models, including components on many different computational substrates, both biological and non-biological. At the same time, the rise of the philosophy of embodied modelling is generating a need to deploy biological models as controllers for robots in real-world environments. Finally, robotics engineers are beginning to find value in seconding biomimetic control strategies for use on practical robots. Together with the ubiquitous desire to make good on past software development effort, these trends are throwing up new challenges of intellectual and technological integration (for example across scales, across disciplines, and even across time) - challenges that are unmet by existing software frameworks. Here, we outline these challenges in detail, and go on to describe a newly developed software framework, BRAHMS. that meets them. BRAHMS is a tool for integrating computational process modules into a viable, computable system: its generality and flexibility facilitate integration across barriers, such as those described above, in a coherent and effective way. We go on to describe several cases where BRAHMS has been successfully deployed in practical situations. We also show excellent performance in comparison with a monolithic development approach. Additional benefits of developing in the framework include source code self-documentation, automatic coarse-grained parallelisation, cross-language integration, data logging, performance monitoring, and will include dynamic load-balancing and 'pause and continue' execution. BRAHMS is built on the nascent, and similarly general purpose, model markup language, SystemML. This will, in future, also facilitate repeatability and accountability (same answers ten years from now), transparent automatic software distribution, and interfacing with other SystemML tools. (C) 2009 Elsevier Ltd. All rights reserved

A case study for measuring informal learning in PLEs

The technological support for learning and teaching processes is constantly changing. Information and Communication Technologies (ICT) applied to education, cause changes that affect the way in which people learn. This application introduces new software systems and solutions to carry out teaching and learning activities. Connected to ICT application, the emergence of Web 2.0 and its use in learning contexts enables an online implementation of the student-centred learning paradigm. In addition, 2.0 trends provide “new” ways to exchange, making easier for informal learning to become patent. Given this context, open and user-centered learning environments are needed to integrate such kinds of tools and trends and are commonly described as Personal Learning Environments. Such environments coexist with the institutional learning management systems and they should interact and exchange information between them. This interaction would allow the assessment of what happens in the personal environment from the institutional side. This article describes a solution to make the interoperability possible between these systems. It is based on a set of interoperability scenarios and some components and communication channels. In order to test the solution it is implemented as a proof of concept and the scenarios are validated through several pilot experiences. In this article one of such scenarios and its evaluation experiment is described to conclude that functionalities from the institutional environments and the personal ones can be combined and it is possible to assess what happens in the activities based on them.Peer ReviewedPostprint (published version