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