Abstract

Abstract

Abstract
We present a new and versatile sensor platform to readout the response of sensitive colorimetric films. The platform is fully self-contained and based on a switched dual-wavelength scheme. After filtering and signal processing, the system is able to provide self-referenced measures of color intensity changes in the film, while being immune to noise sources such as ambient light and fluctuations in the power source and in the optical path. By controlling the power and the switching frequency between the two wavelengths it is possible to fine tune the output gain as well as the operational range of the sensor for a particular application, thus improving the signal conditioning. The platform uses a micro-controller that complements the analog circuit used to acquire the signal. The latter pre-amplifies, filters and conditions the signal, leaving the micro-controller free to perform sensor linearization and unit conversion. By changing the sensitive film and the wavelength of the light source it is possible to use this platform for a wide range of sensing applications.

Abstract
In software development, coordination allows organizing the team by negotiating/assigning tasks to be performed by a certain order in order to meet the proposed objectives. Coordination is also responsible for managing conflicts associated with attitudes of competition, disorientation, problems of hierarchy and diffusion of responsibility. This work is based on the 4C model dimensions: Communication, Coordination, Cooperation and Collaboration. It is based on the analysis of the interactions between the multidisciplinary team members, that developed the educational resource Courseware Sere - "The Human Being and Natural Resources" concerning the "Coordination" dimension. The results achieved allowed us to detect limitations of Hybrid User Centered Development Methodology used for this courseware development as well as to implement tools to improve the coordination activities.

Abstract

Abstract
We present a formal verification approach for detecting design issues related to user interaction, with a focus on user interface of medical devices. The approach makes a novel use of configuration diagrams proposed by Rushby to formally verify important human factors properties of user interface implementation. In particular, it first translates the software implementation of user interface into an equivalent formal specification, from which a behavioral model is constructed using theorem proving; human factors properties are then verified against the behavioral model; lastly, a comprehensive set of test inputs are produced by exploring the behavioral model, which can be used to challenge the real interface implementation and to ensure that the issues detected in the behavior model do apply to the implementation. We have prototyped the approach based on the PVS proof system, and applied it to analyze the user interface of a real medical device. The analysis detected several interaction design issues in the device, which may potentially lead to severe consequences. © 2014 Springer-Verlag.