Title :
Embedded hardware/software verification and validation using hardware-in-the-loop simulation
Author :
Shah, Syed Muslim ; Irfan, Muhammad
Author_Institution :
Univsersity of Eng. & Technol., Pakistan
Abstract :
Embedded systems verification and validation practice emphasis exhaustive worst case analysis. In this paper the authors have described procedures of an extended hardware-in-the-loop (HIL) simulation setup testing process for the verification and validation of embedded hardware and software. Extended HIL setup architecture including real time system, controller hardware and data acquisition setup for real time data receiving has been focused. The paper presents time synchronization of real time system running simulation models and the controlling computer executing control logic. Real-time control parameters extraction procedures have been covered which is used for analysis and comparison so as to verify control logic implementation. FLASH based method for hardware and software verification is explored and the use of hardware in loop technology for testing and verification of controller interfaces is presented.
Keywords :
computer interfaces; control engineering computing; embedded systems; program verification; synchronisation; FLASH based method; control logic; controller hardware; controller interfaces; data acquisition setup; embedded systems validation; embedded systems verification; extended hardware-in-the-loop; hardware-in-the-loop simulation; hardware-software verification; real time system; real-time control parameters extraction; time synchronization; worst case analysis; Computational modeling; Computer architecture; Control systems; Data acquisition; Embedded software; Embedded system; Hardware; Logic; Real time systems; Software testing;
Conference_Titel :
Emerging Technologies, 2005. Proceedings of the IEEE Symposium on
Print_ISBN :
0-7803-9247-7
DOI :
10.1109/ICET.2005.1558931