Why do verification approaches in automation rarely use HIL-test?

Schetinin, Nikolai; Moriz, Natalia; Kumar, Barath; Maier, Alexander; Faltinski, Sebastian; Niggemann, Oliver

doi:10.1109/icit.2013.6505881

Cited by 4 publications

(4 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The transformation into formal models also permits the combination of the model of the software, with a model of the execution of the controller-if not already done-and also with a model of the plant that is to be controlled. The more information the composed model contains, the more reliable the simulation and the results of the verification and validation methods is [79].…”

Section: Model Transformationmentioning

confidence: 99%

Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

Rösch

Ulewicz

Provost

et al. 2015

JSEA

View full text Add to dashboard Cite

As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case generation from some form of model automatons, test case generation from models used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.

show abstract

Section: Model Transformationmentioning

confidence: 99%

Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

Rösch

Ulewicz

Provost

et al. 2015

JSEA

View full text Add to dashboard Cite

show abstract

“…5, the equations (11)(12)(13) are solved in the FPGA synchronously on the rising edge of the computation clock which runs at a period equal to the computational timestep . Equations (8)(9)(10) are solved in the FPGA asynchronously and use the state variables stored in the registers from the synchronous logic.…”

Section: B Solving Mtg's Odes In Fpgamentioning

confidence: 99%

“…Advances in simulation involve the use of real-time models and HIL interfaces to take validation efforts one step further and incorporate actual hardware verification [11,12]. Realtime modeling capabilities enable HIL, which refers to a form of simulation in which a particular hardware component interacts with simulated devices or mathematical models of a system that is not physically present [13,14].…”

Section: Introductionmentioning

confidence: 99%

Real-Time Emulation of a High-Speed Microturbine Permanent-Magnet Synchronous Generator Using Multiplatform Hardware-in-the-Loop Realization

Hasanzadeh

Edrington

Stroupe

et al. 2014

IEEE Trans. Ind. Electron.

View full text Add to dashboard Cite

This paper demonstrates a multi-platform hardware-in-the-loop approach to observe the operation of a high speed permanent magnet synchronous generator coupled with a micro-turbine in an all-electric-ship power system. The mathematical model of the gas-turbine and dynamic equations of the high speed generator are implemented in real-time on an FPGA. This real-time simulation interfaces with hardware via a serial peripheral interface to a supervisory DSP of a 3-phase voltage source inverter. The inverter output load is virtually emulated in the FPGA using received hardware measurements from DSP. A user input interface is introduced using dSPACE on a PC to acquire data and adjust the speed reference of the generator system through a serial communications interface to the DSP. The real-time simulation and hardware-in-the-loop experimental setup are validated in a scaled-medium-voltage-DC ship power system. Index Terms-Real-time emulation, gas-turbine (GT), high speed permanent magnet synchronous generator (PMSG), multi-platform hardware-in-the-loop (HIL), simulation, voltage source inverter (VSI), FPGA, DSP, dSPACE, all-electric-ship (AES). NOMENCLATURE , , PMSG phases electromotive forces (EMF), V. Stator resistance, Ω. Stator leakage inductance, H. Applied positive torque, N.m. Applied mechanical torque to shaft, N.m. , Direct and quadrature axis currents, A. , Direct and quadrature axis fluxes, Wb-turns. Synchronous frequency, electrical rad/s. Angular position, electrical rad/s. Total moment of inertia, kg.m 2 . Number of pole pairs. Magnetic flux linkage of permanent magnets, Wb. , Direct and quadrature axis voltages of stator, V. Equivalent Thévenin 3-phase resistances of the power factor corrected (PFC) load across the stator windings, Ω. , , Base torque, power, and speed of micro-turbine (MT), N.m, W, and rad/s, respectively. , Rotor mechanical speed and its reference, rad/s. ). , , Direct and quadrature axis currents and rotor mechanical speed calculated in each iteration, A, A, and rad/s, respectively. , τ, , FPGA arbitrary computational time-step and the desired time delay, SPI communication as well as pulse width modulation (PWM) timesteps, sec. , Generator 3-phase stator root-mean-square (RMS) voltages and currents, V and A. , , Generator 3-phase stator voltages, currents, and linkage fluxes V, A, and Wb-turns, respectively. Derivative operand. , , , Temperature controller parameters of GT. , , VSI output LC filter parameters, H, Ω and F, respectively. , Switching and output frequency of VSI, Hz. , VSI input DC and output RMS voltage, V. Amin Hasanzadeh (M'11) received his B.Sc., M.Sc. and Ph.D. degrees in Electrical Engineering from Sharif

show abstract

“…1). Conformance test of PLCs is advocated by certification bodies and standards [20], [21], which explains the growing interest of companies in several industrial domains for efficient hardware-in-the-loop techniques [22]- [24] to improve the existing practices. A promising solution to develop such techniques is to benefit from the results of the researches of the Discrete Event Systems community in the domain of conformance test of formal models.…”

Section: Introductionmentioning

confidence: 99%

Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers

Provost

Roussel

Faure

2014

IEEE Trans. Ind. Inf.

View full text Add to dashboard Cite

Conformance test is a functional test technique which is aiming to check whether an implementation, seen as a black-box with inputs/outputs, conforms to its specification. Numerous theoretical worthwhile results have been obtained in the domain of conformance test of finite state machines. The optimization criterion which is usually selected to build the test sequence is the minimum-length criterion. Based on experimental results, this paper focuses on the generation of a Single Input Change (SIC) test sequence from a specification model represented as a Mealy machine; such a sequence is aiming at preventing from erroneous test verdicts due to incorrect detection of synchronous input changes by the Programmable Logic Controller (PLC) under test. A method based on symbolic calculus to obtain the part of the specification that can be tested with a SIC sequence is first presented. Then, an algorithm to build the SIC test sequence is detailed; three solutions are proposed, according to the connectivity properties of the SIC-testable part.

show abstract

Why do verification approaches in automation rarely use HIL-test?

Cited by 4 publications

References 15 publications

Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

Real-Time Emulation of a High-Speed Microturbine Permanent-Magnet Synchronous Generator Using Multiplatform Hardware-in-the-Loop Realization

Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers

Contact Info

Product

Resources

About