Verification of Plastic Interactive Systems

i-com ◽  
2015 ◽  
Vol 14 (3) ◽  
Author(s):  
Raquel Oliveira ◽  
Sophie Dupuy-Chessa ◽  
Gaëlle Calvary
Keyword(s):  
Power Plant ◽  
User Interfaces ◽  
Nuclear Power ◽  
Interactive Systems ◽  
System Model ◽  
Equivalence Checking ◽  
The Past ◽  
Different Levels ◽  
Formal Techniques

AbstractInteractive systems have largely evolved over the past years. Nowadays, different users can interact with systems on different devices and in different environments. The user interfaces (UIs) are expected to cope with such variety. Plastic UIs have the capacity to adapt to changes in their context of use while preserving usability. Such capability enhances UIs, however, it adds complexity on them. We propose an approach to verifying interactive systems considering this adaptation capability of the UIs. The approach applies two formal techniques: model checking, to the verification of properties over the system model, and equivalence checking, to compare different versions of a UI, thereby identifying different levels of UI equivalence. We apply the approach to a case study in the nuclear power plant domain in which several UI are analyzed, properties are verified, and the level of equivalence between them is demonstrated.

Architectural Models for Reliable Multi-User Interfaces

2012 ◽  
pp. 76-91
Author(s):  
Mario Ciampi ◽  
Antonio Coronato ◽  
Giuseppe De Pietro ◽  
Luigi Gallo
Keyword(s):  
Complex Systems ◽  
Formal Methods ◽  
User Interfaces ◽  
Interactive Systems ◽  
Input Devices ◽  
Agent Based ◽  
Architectural Model ◽  
Architectural Models ◽  
Interface Standardization

Virtual Environments are complex systems in that they involve the crucial concept of sharing. Users can share knowledge of each other’s current activities, environments, and actions. In this chapter, the authors discuss about interaction interoperability, intended to mean the ability of two or more users to cooperate despite the heterogeneity of their interfaces. To allow such interoperability, formal methods to formalize the knowledge and middleware solutions for sharing that knowledge are required. After introducing the state-of-the-art solutions and the open issues in the field, the authors describe a system for providing interaction interoperability among multi-user interfaces. Rather than focusing on the de-coupling of input devices from interaction techniques and from interaction tasks, this chapter suggests integrating interactive systems at higher level through an interface standardization. To achieve this aim, the authors propose: i) an architectural model able to handle differences in input devices and interaction tasks; ii) an agent-based middleware that provides basic components to integrate heterogeneous user interfaces. The chapter also presents a case study in which an agent-based middleware is used to support developers in the interconnection of monolithic applications.

scholarly journals Environmental 14C Levels Around the 632 MWe Nuclear Power Plant Krško in Yugoslavia

Radiocarbon ◽  
1986 ◽  
Vol 28 (2A) ◽  
pp. 644-648 ◽  
Author(s):  
Bogomil Obelić ◽  
Inks Krajcar-Bronić ◽  
Dušan Srdoč ◽  
Nada Horvatinčić
Keyword(s):  
Power Plant ◽  
Tree Ring ◽  
Reference Point ◽  
National Park ◽  
Nuclear Power ◽  
Sampling Site ◽  
Sampling Point ◽  
Reactor Operation ◽  
The Past ◽  
Westerly Winds

Measurements of 14C activity of atmospheric CO2, vegetables, and tree rings in the area of the 632 MWe power plant Krško in Slovenia, NW Yugoslavia, have been in progress since January, 1984. Sampling stations are located in the area ca 400km2 and are distributed in the direction of the prevailing westerly winds. The closest sampling point is 1.5km NE of the plant exhaust stack, the farthest sampling point is 30km E of the plant. A sampling site at National Park Plitvice in central Croatia was chosen as the 14C reference point not affected by the power plant.An average excess of 2.2% above the reference point activity during normal periods of reactor operation was observed 1.5km from the plant smokestack. Calculations of the 14C release from the power plant was estimated at 0.1 TBq/a. The tree ring activity near the plant followed the 14C activity of the Northern Hemisphere in the past decade. No influence of the power plant release was observed on the tree ring activity.

Sign in / Sign up

Export Citation Format

Share Document