• DocumentCode
    3143812
  • Title

    Verification, Validation and Accreditation: An HLA FEDEP Overlay

  • Author

    Masys, A.J.

  • Author_Institution
    Canadian Forces Experimentation Centre
  • fYear
    2006
  • fDate
    38838
  • Firstpage
    1850
  • Lastpage
    1853
  • Abstract
    With the advent of complex coupled systems and the evolutionary introduction of new technology, the application of modelling and simulation (M&S) activities has increased throughout industry, academia and military domains. The high level architecture (HLA) provides a framework in which individual models (or federates) can be integrated in order to reflect the system characteristics of interconnectivity and interoperability. As the impact of the application of M&S transcends the ´virtual world´, the danger of adverse effects associated with erroneous or unsuitable models or simulation results also increases. The application of verification and validation (V&V) of models and simulation results are intended to ensure that only correct and suitable models and simulation results are used. Under the auspices of the NATO modelling and simulation group (NMSG) 19 and SISO PDG, a V&V overlay of the HLA federation development and execution process (FEDEP) in accordance with IEEE 1516.3 has been developed. This paper presents the key concepts of this V&V overlay
  • Keywords
    IEEE standards; digital simulation; military computing; open systems; program verification; software architecture; HLA federation development execution process; IEEE 1516.3; NATO modelling simulation group; complex coupled system; high level architecture accreditation; high level architecture validation; high level architecture verification; military computing; modelling-and-simulation activity; system interoperability; virtual world; Accreditation; Application software; Buildings; Computational modeling; Computer architecture; Computer simulation; Defense industry; Engineering management; Software architecture; Systems engineering and theory; FEDEP; HLA; Verification and Validation;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Electrical and Computer Engineering, 2006. CCECE '06. Canadian Conference on
  • Conference_Location
    Ottawa, Ont.
  • Print_ISBN
    1-4244-0038-4
  • Electronic_ISBN
    1-4244-0038-4
  • Type

    conf

  • DOI
    10.1109/CCECE.2006.277782
  • Filename
    4055024