Verification of embedded control systems by simulation and program execution control

This paper describes features and applications of a simulation framework for software-in-the-loop testing of realtime embedded control applications. The Validator tool performs time-functional simulation of control software and its execution platform in closed-loop with Simulink plant models. It is based on a discrete event simulator which executes the application software on a host platform and simulates the passage of time according to execution times of application code and communication times pertaining to a given embedded target. The Validator also simulates functional behavior of operating system services and hardware components at a level of abstraction that enables capturing significant timing aspects without executing detailed hardware models. We present use cases where the Validator is employed for evaluating integration of new control functions in existing systems, model refinement, and regression testing of automotive control software.

[1]  Edward A. Lee,et al.  Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II) , 2008 .

[2]  Gene Cooperman,et al.  DMTCP: Transparent checkpointing for cluster computations and the desktop , 2007, 2009 IEEE International Symposium on Parallel & Distributed Processing.

[3]  Peter Hintenaus,et al.  Modeling and simulation of timing behavior with the Timing Definition Language (TDL) , 2014 .

[4]  Edward A. Lee,et al.  Timed multitasking for real-time embedded software , 2003 .

[5]  David Notkin,et al.  Checking inside the black box: regression testing by comparing value spectra , 2005, IEEE Transactions on Software Engineering.

[6]  K.-E. Arzen,et al.  Control loop timing analysis using truetime and jitterbug , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[7]  Anton Cervin,et al.  Tool supporting the co-design of control systems and their real-time implementation: Current status and future directions , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[8]  Kenneth R. Butts,et al.  Migration of Legacy Software Towards Correct-by-Construction Timing Behavior , 2010, Monterey Workshop.

[9]  Kenneth R. Butts,et al.  The Validator tool suite: filling the gap between conventional soft- ware-in-the-loop and hardware-in-the-loop simulation environments , 2011 .

[10]  Martin Törngren,et al.  The AIDA toolset for design and implementation analysis of distributed real-time control systems , 2004, Microprocess. Microsystems.