Sciweavers

1886 search results - page 70 / 378
» Verifying and validating a simulation model
Sort
View
AMC
2006
120views more  AMC 2006»
14 years 10 months ago
Discrete-velocity relaxation methods for large eddy simulation
ct 9 A new discrete-velocity method for the numerical solution of large eddy simulation (LES) is presented based on relax10 ation type formulation. The discrete-velocity equations ...
Mapundi K. Banda, Mohammed Seaïd, Ioan Teleag...
DSRT
2005
IEEE
15 years 3 months ago
A MDA-based approach for real time embedded systems simulation
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...
Julien DeAntoni, Jean-Philippe Babau
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
15 years 4 months ago
Timing simulation of interconnected AUTOSAR software-components
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
Matthias Krause, Oliver Bringmann, André He...
WSC
2008
15 years 4 days ago
Applying causal inference to understand emergent behavior
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. Validation of emergent behavior requires accumulation...
Ross Gore, Paul F. Reynolds Jr.
KIC
2000
14 years 11 months ago
Kinematics Support for Design and Simulation of Mechatronic Systems
: We present a framework that verifies and maintains the consistency between the representations of the form, function and behavior of mechatronic devices. These three aspects of t...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...