• DocumentCode
    1592074
  • Title

    Signature Matching Applied to Simulation/Frame Duality

  • Author

    Albert, Vincent ; Nketsa, Alexandre

  • Author_Institution
    Lab. d´´Analyse et d´´Archit. des Syst. LAAS-CNRS, Univ. de Toulouse, Toulouse
  • fYear
    2009
  • Firstpage
    190
  • Lastpage
    196
  • Abstract
    A component-based framework for modeling and simulation (M&S) is proposed as a solution for handling the complex problem of analyzing the validity of a M&S enabling product. Validity refers to the degree that a model and its behavior are suitable representations of the real system and its behavior with respect to an intended purpose of model application. A set of properties related to simulation limitations and capabilities is proposed. Structured by a formal framework, those properties allows simulation user specifying their expected degree of validity to reach their intended purpose. Then compatibility rules are specified and signature matching is used to check the compatibility between the M&S enabling product and its intended purpose.
  • Keywords
    embedded systems; object-oriented programming; program verification; component-based framework; embedded systems; formal framework structure; signature matching; Accreditation; Analytical models; Context modeling; Design optimization; Embedded system; Formal verification; Predictive models; Robustness; System testing; Target recognition; Signature matching; experimental frame; simulation; validity;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, 2009. ICONS '09. Fourth International Conference on
  • Conference_Location
    Gosier, Guadeloupe
  • Print_ISBN
    978-1-4244-3469-5
  • Electronic_ISBN
    978-0-7695-3551-7
  • Type

    conf

  • DOI
    10.1109/ICONS.2009.32
  • Filename
    4976342