FPGA based tester tool for hybrid real-time systems

This paper presents a design methodology for a hybrid Hardware-in-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous systems theory, given by difference equations. It is implemented using an FPGA platform that guarantees speed enhancement, time accuracy and extensibility with no performance loss. We have focused on the implementation of a discrete event system, specifically timed automata into FPGA, and we have linked them with continuous systems implemented as filters in fixed point arithmetic. The paper shows a methodology, which employs widely used tools (Matlab, UPPAAL) as a user interface, and which implements the FPGA based tester tool.

[1]  Marius Mikucionis,et al.  Online On-the-Fly Testing of Real-time Systems , 2003 .

[2]  Katsuhiko Ogata,et al.  Discrete-time control systems , 1987 .

[3]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[4]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[5]  Ludovic Apvrille,et al.  Real-Time and Embedded System Verification Based on Formal Requirements , 2006, 2006 International Symposium on Industrial Embedded Systems.

[6]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[7]  Jan van Leeuwen,et al.  Formal models and semantics , 1990 .

[8]  Stavros Tripakis,et al.  Implementation of Timed Automata: An Issue of Semantics or Modeling? , 2005, FORMATS.

[9]  Kim G. Larsen,et al.  Testing Real-Time Systems Using UPPAAL , 2008, Formal Methods and Testing.

[10]  Markus Vorderwinkler,et al.  Soft-commissioning: hardware-in-the-loop-based verification of controller software , 2000, 2000 Winter Simulation Conference Proceedings (Cat. No.00CH37165).

[11]  Kim G. Larsen,et al.  Testing real-time embedded software using UPPAAL-TRON: an industrial case study , 2005, EMSOFT.

[12]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[13]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[14]  Marius Bozga,et al.  IF: A Validation Environment for Timed Asynchronous Systems , 2000, CAV.

[15]  Katsuhiko Ogata,et al.  Modern Control Engineering , 1970 .

[16]  Tomás Vojnar,et al.  High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design , 2005, CHARME.

[17]  Stavros Tripakis,et al.  Conformance testing for real-time systems , 2004, SPIN.

[18]  Miroslav D. Lutovac,et al.  Filter Design for Signal Processing Using MATLAB and Mathematica , 2000 .

[19]  Wang Yi,et al.  Formal design and analysis of a gear controller , 1998, International Journal on Software Tools for Technology Transfer.

[20]  Sudhakar Yalamanchili.  VHDL Starter's Guide , 1997 .