scholarly journals Runtime verification and validation of functional reactive systems

2020 ◽  
Vol 30 ◽  
Author(s):  
IVAN PEREZ ◽  
HENRIK NILSSON
Keyword(s):  
Reactive Systems ◽  
Verification And Validation ◽  
Random Testing ◽  
Hardware In The Loop ◽  
Tolerance Mechanisms ◽  
Time Line ◽  
Testing And Debugging ◽  
Interactive Applications ◽  
Functional Reactive Programming ◽  
Software And Hardware

Abstract Many types of interactive applications, including reactive systems implemented in hardware, interactive physics simulations and games, raise particular challenges when it comes to testing and debugging. Reasons include de facto lack of reproducibility and difficulties of automatically generating suitable test data. This paper demonstrates that certain variants of functional reactive programming (FRP) implemented in pure functional languages can mitigate such difficulties by offering referential transparency at the level of whole programs. This opens up for a multi-pronged approach for assisting with testing and debugging that works across platforms, including assertions based on temporal logic, recording and replaying of runs (also from deployed code), and automated random testing using QuickCheck. When combined with extensible forms of FRP that allow for constrained side effects, it allows us to not only validate software simulations but to analyse the effect of faults in reactive systems, confirm the efficacy of fault tolerance mechanisms and perform software- and hardware-in-the-loop testing. The approach has been validated on non-trivial systems implemented in several existing FRP implementations, by means of careful debugging using a tool that allows the test or simulation under scrutiny to be controlled, moving along the execution time line, and pin-pointing of violations of assertions on personal computers as well as external devices.

scholarly journals Virtual Table-Teleporter: Image Processing and Rendering for Horizontal Stereoscopic Display

2013 ◽  
Vol 12 (1) ◽  
pp. 30-43
Author(s):  
Bruno Eduardo Madeira ◽  
Luiz Velho
Keyword(s):  
The Other ◽  
Stereoscopic Display ◽  
Image Pair ◽  
Stereoscopic Image ◽  
Stereoscopic Video ◽  
Image Capture ◽  
Virtual Objects ◽  
Interactive Applications ◽  
Real Objects ◽  
Software And Hardware

We describe a new architecture composed of software and hardware for displaying stereoscopic images over a horizontal surface. It works as a ``Virtual Table and Teleporter'', in the sense that virtual objects depicted over a table have the appearance of real objects. This system can be used for visualization and interaction. We propose two basic configurations: the Virtual Table, consisting of a single display surface, and the Virtual Teleporter, consisting of a pair of tables for image capture and display. The Virtual Table displays either 3D computer generated images or previously captured stereoscopic video and can be used for interactive applications. The Virtual Teleporter captures and transmits stereoscopic video from one table to the other and can be used for telepresence applications. In both configurations the images are properly deformed and displayed for horizontal 3D stereo. In the Virtual Teleporter two cameras are pointed to the first table, capturing a stereoscopic image pair. These images are shown on the second table that is, in fact, a stereoscopic display positioned horizontally. Many applications can benefit from this technology such as virtual reality, games, teleconferencing, and distance learning. We present some interactive applications that we developed using this architecture.

A Controller Hardware-in-the-Loop Testbed: Verification and Validation of Microgrid Control Architectures

2020 ◽  
Vol 8 (3) ◽  
pp. 92-100
Author(s):  
Siddhartha Nigam ◽  
Olaoluwapo Ajala ◽  
Alejandro D. Dominguez-Garcia
Keyword(s):  
Verification And Validation ◽  
Hardware In The Loop ◽  
Microgrid Control

scholarly journals Irradiation Flux Modelling for Thermal–Electrical Simulation of CubeSats: Orbit, Attitude and Radiation Integration

Energies ◽  
2020 ◽  
Vol 13 (24) ◽  
pp. 6691
Author(s):  
Edemar Morsch Filho ◽  
Laio Oriel Seman ◽  
Cezar Antônio Rigo ◽  
Vicente de Paulo Nicolau ◽  
Raúl García Ovejero ◽  
...  
Keyword(s):  
Good Practice ◽  
Thermal Conditions ◽  
Source Model ◽  
Hardware In The Loop ◽  
Loop Analysis ◽  
Input Estimation ◽  
The Earth ◽  
Software And Hardware ◽  
Element Set

During satellite development, engineers need to simulate and understand the satellite’s behavior in orbit and minimize failures or inadequate satellite operation. In this sense, one crucial assessment is the irradiance field, which impacts, for example, the power generation through the photovoltaic cells, as well as rules the satellite’s thermal conditions. This good practice is also valid for CubeSat projects. This paper presents a numerical tool to explore typical irradiation scenarios for CubeSat missions by combining state-of-the-art models. Such a tool can provide the input estimation for software and hardware in the loop analysis for a given initial condition and predict it along with the satellite’s lifespan. Three main models will be considered to estimate the irradiation flux over a CubeSat, namely an orbit, an attitude, and a radiation source model, including solar, albedo, and infrared emitted by the Earth. A case study illustrating the tool’s abilities is presented for a typical CubeSats’ two-line element set (TLE) and five attitudes. Finally, a possible application of the tool as an input to a CubeSat task-scheduling is introduced. The results show that the complete model’s use has considerable differences from the simplified models sometimes used in the literature.

Hardware-in-the-Loop Simulation of a Dynamic Process by Compensation of the Transfer System

2014 ◽  
Vol 620 ◽  
pp. 347-351 ◽  
Author(s):  
Cheng Kun He ◽  
Jun Zhi Zhang ◽  
Li Fang Wang
Keyword(s):  
Dynamic Process ◽  
Coupling Effect ◽  
Test System ◽  
Transfer System ◽  
Hardware In The Loop ◽  
Automotive Engineering ◽  
Software And Hardware ◽  
Changing Process

Hardware-in-the-loop simulation is widely used for component and controller testing, for which purpose a transfer system typically comprising sensors and mechanical actuators is used to link the software and hardware subsystems. The effect of coupling the transfer system to the test system can be ignored for a steady or slowly changing process, but not for a highly dynamic process. In this paper, we propose a feedforward methodology for compensating for the coupling effect without increasing the noise bandwidth designed for a steady or slowly changing process when simulating a dynamic process. We also present an analysis of the results of the experiments in automotive engineering used to verify the proposed methodology.

Hardware-in-the-Loop Simulation Using Tricon v9 Safety PLC

2008 ◽  
Author(s):  
Drew J. Rankin ◽  
Jin Jiang
Keyword(s):  
Real Time ◽  
Nuclear Power ◽  
Verification And Validation ◽  
Programmable Logic ◽  
Hardware In The Loop ◽  
Design Basis ◽  
Regulatory Standards ◽  
Safety Plc ◽  
Simulation Environments ◽  
Hil Simulation

This paper presents the performance of shutdown system one (SDS1) implemented on a programmable logic controller (PLC) within real-time hardware-in-the-loop (HIL) simulation. SDS1 evaluation is focused on steam generator (SG) level low trip scenarios. A comparison of the findings with simulated expected plant operation is performed. An Invensys Triconex Tricon v9 safety PLC is interfaced to a real-time nuclear power plant (NPP) simulation suite (DarlSIM), replicating the operation of the Darlington NPP SDS1. Design basis accidents (DBA) associated with SDS1 regulatory standards are developed and applied to the two simulation environments. HIL simulation is a preferred method for testing systems prior to installation and is necessary to ensure proper SDS verification and validation. The performance of the Tricon v9 PLC, the HIL simulation platform and the two simulation environments are evaluated.

Sign in / Sign up

Export Citation Format

Share Document