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
Link To Document