• DocumentCode
    2781179
  • 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
  • fYear
    2005
  • fDate
    17-18 Sept. 2005
  • Firstpage
    494
  • Lastpage
    498
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Emerging Technologies, 2005. Proceedings of the IEEE Symposium on
  • Print_ISBN
    0-7803-9247-7
  • Type

    conf

  • DOI
    10.1109/ICET.2005.1558931
  • Filename
    1558931