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 :
بازگشت