Requirement Verification and Dependency Tracing During Simulation in Modelica (original) (raw)
Related papers
2004
The American Journal of Psychology, 2003
Scenarios and Model Based Design
DAAAM Proceedings, 2011
Model Decomposition and Simulation
2004
Process Modelling Support for the Conceptual Modelling Phase of a Simulation Project
Proceedings of the 2006 Winter Simulation Conference, 2006
Understanding the Requirements on Modelling Techniques
Notes on Numerical Fluid Mechanics and Multidisciplinary Design, 2005
Model Development and Initial Validation
Management in the Built Environment
Troubleshooting: when modeling is the trouble
Readings in Qualitative Reasoning About Physical Systems, 1990
Implementation of a Modelica Library for Simulation of Refrigeration Systems
2003
Analyzing Static and Temporal Properties of Simulation Models
Proceedings of the 38th conference on Winter …, 2006
The use of simulation models in model driven experimentation
Systems Engineering, 1999
Services modeling and distributed simulation DEVS / HLA supported
Proceedings of the 2009 Winter Simulation Conference (WSC), 2009
Prophesy: automating the modeling process
Proceedings Third Annual International Workshop on Active Middleware Services
Model generation for analysis with Modelica based on the ATL model transformation language
DAAAM International Scientific Book 2007, 2007
Advances in Intelligent Modelling and Simulation
Studies in Computational Intelligence, 2012
Challenges In The Simultaneous Development And Deployment Of A Large Integrated Modelling System
2014
Model-driven systems development
IBM Systems Journal, 2006
SimGrid MC: Verification Support for a Multi-API Simulation Platform
Lecture Notes in Computer Science, 2011
Model driven process engineering
25th Annual International Computer Software and Applications Conference. COMPSAC 2001, 2001
The specification of the working model
Building Modelica Tools using the Modelica SDK
Proceedings of the 7 International Modelica Conference Como, Italy, 2009
Epistemology of modeling and simulation
2013 Winter Simulations Conference (WSC), 2013
Simulation Modeling and Policy Analysis
Criminology and public policy, 2002
Artificial Intelligence, 1986
Simulation highway for applied systems management
2008
Inside simulation software: how it works and why it matters
Winter Simulation Conference Proceedings, 1995., 1995
Automated analysis of simulation output data
Proceedings of the 37th conference on Winter …, 2005
Towards an advanced model-driven engineering toolbox
Innovations in Systems and Software Engineering, 2009
Model-based kinematic simulation
1992
Towards a component-oriented design of modeling and simulation tools
2002
Interoperable meta model for simulation-in-the-loop
2018 IEEE Industrial Cyber-Physical Systems (ICPS), 2018
GRA AEA WP3.2 - Preliminary definition of a Shared Simulation Environment - Issue A
2010
Challenges in the transition to model-based development
The AAPS Journal, 2005