Sciweavers

1816 search results - page 82 / 364
» Case study in modeling and simulation validation methodology
Sort
View
RTSS
2009
IEEE
15 years 4 months ago
Robustness of Model-Based Simulations
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
Georgios E. Fainekos, Sriram Sankaranarayanan, Fra...
WSC
2004
14 years 11 months ago
How Factory Physics Helps Simulation
Factory physics provides a systematic description, expressed as laws, of the underlying behavior of a system. These laws can provide important assistance in performing simulation ...
Charles R. Standridge
FMCAD
2009
Springer
15 years 1 months ago
Industrial strength refinement checking
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
Jesse D. Bingham, John Erickson, Gaurav Singh, Fle...
ISSTA
2009
ACM
15 years 4 months ago
Specifying the worst case: orthogonal modeling of hardware errors
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
Jewgenij Botaschanjan, Benjamin Hummel
DAGSTUHL
2006
14 years 11 months ago
A Petri Net Approach to Verify and Debug Simulation Models
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
Peter Kemper, Carsten Tepper