Foundations of Modelling and Simulation of Complex Systems

@article{Vangheluwe2008FoundationsOM,
  title={Foundations of Modelling and Simulation of Complex Systems},
  author={H. Vangheluwe},
  journal={Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  year={2008},
  volume={10}
}
  • H. Vangheluwe
  • Published 2008
  • Computer Science
  • Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Modelling and simulation are becoming increasingly important enablers for the analysis and design of complex systems. In application domains such as automotive design, the notion of a "virtual experiment" is taken to the limit and complex designs are model-checked, simulated, and optimized extensively before a single realization is ever made. This "doing it right the first time" leads to tremendous cost savings and improved quality. Furthermore, with appropriate models, it is often possible to… Expand

Figures, Tables, and Topics from this paper

Using of DEVS and MAS Tools for Modeling and Simulation of an Industrial Steam Generator
TLDR
The decomposition of the overall system into sub-systems is based primarily on the use of the Discrete EVent System Specification (DEVS) formalism and the obtained atomic and coupled models are formally verified and validated. Expand
THE FUNDAMENTALS OF DOMAIN-SPECIFIC SIMULATION LANGUAGE ENGINEERING
Simulationists use a plethora of modelling languages. General-purpose languages such as C, extended with simulation constructs, give the user access to abstractions for general-purpose computationExpand
The Fundamentals of Domain-Specific Simulation Language Engineering
TLDR
This tutorial provides an introduction to modelling language engineering, which allows one to explicitly model all aspects –in particular, syntax and semantics– of a (domain-specific) modelling and simulation language and to subsequently synthesize appropriate tooling. Expand
Explicit modelling and synthesis of debuggers for hybrid simulation languages
TLDR
This work creates a debugging-enhanced simulator of the Hybrid Automata formalism, by embedding a Causal Block Diagrams simulator in a Timed Finite State Automata simulator and instrument it with debugging support at the hybrid level. Expand
A DEVS/MAS-Based Framework for Modeling/Simulation of Complex Systems
TLDR
An approach for modeling and simulation of complex systems based on the decomposition of the considered systems into sub-systems which appears on two levels, its adaptability for various domains, its flexibility, and its extensibility. Expand
Explicit modelling of a parallel DEVS experimentation environment
TLDR
This paper explicitly model an interactive debugging and experimentation environment for the simulation of Parallel DEVS models, and supports both as-fast-as-possible and (scaled) real-time execution of the model. Expand
Towards a framework for more robust validation and verification of simulation models for systems of systems
TLDR
The proposed framework is applied to integration of formal analytic and simulation verification methods where there is a need to have confidence that the properties proved for idealized abstract models also hold in more realistic models which gave rise to the abstractions. Expand
Automated Simulation Model Generation
TLDR
The research presented in this dissertation studied how to automatically generate simulation models and uses domain specific model components as building blocks for model generation and applies graph transformation based algorithms to compose large simulation models according to the existing data. Expand
A multi-paradigm modelling approach for engineering model debugging environments
TLDR
Model-Driven Engineering (MDE) is a method for developing systems that regards models as first-class citizens in the development process, and Multi-Paradigm Modelling (MPM) advocates to model every (relevant) aspect of a system explicitly, at the most appropriate level of abstraction, using the mostappropriate modelling language(s) explicitly. Expand
Foundations for Continuous Time Hierarchical Co-simulation
TLDR
If successful, the result of this research allows co-simulation scenarios that may offer real-time guarantees, bounds in the maximum error made, or packet size in the communication between simulators. Expand
...
1
2
3
4
...

References

SHOWING 1-10 OF 18 REFERENCES
Continuous system modeling
TLDR
This first volume introduces concepts of modelling physical systems through a set of differential and/or difference equations, and enhances the scientific understanding of the authors' physical world by codifying (organizing) knowledge about this world, and supports engineering design by allowing the reader to assess the consequences of a particular design alternative before it is actually built. Expand
Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems
Part I: Basics. Introduction to Systems Modeling Concepts. Framework for Modeling and Simulation. Modeling Formalisms and Their Simulators. Introduction to Discrete Event System SpecificationsExpand
A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems
This article presents the design and implementation of a robust simulation methodology for hybrid models of physical systems that encompasses behavior patterns that undergo discrete transitionsExpand
Multimodels and dynamic structure models: an integration of DSDE/DEVS and OOPM
TLDR
Object-oriented physical modeling (OOPM) extends the design approaches of software engineering and employs both static and dynamic models to describe physical objects, which has the practical consequence that multi-models can be directly mapped into distributed simulations. Expand
The implementation of four conceptual frameworks for simulation modeling in high-level languages
TLDR
The purpose is to reveal the characteristics of the four conceptual frameworks so that the programmer can select and implement one to achieve certain model quality characteristics such as maintainability, reusability, and execution efficiency. Expand
Principles of simulation model validation, verification, and testing
TLDR
These principles serve to provide the underpinnings for the VV&T techniques that can be used throughout the life cycle of a simulation study and help the researchers, practitioners, and manaagers better understand what model VV &T is all about. Expand
Multifacetted Modelling and Discrete Event Simulation
Transactions of the Society for Computer Simulation International 14(1):3–12
  • March
  • 1997
A Modeling and Simulation Methodology for Hybrid Dynamic Physical Systems
  • Transactions of the Society for Computer Simulation International
  • 2002
A Modeling and Simulation Methodology for Hybrid Dynamic Physical Systems. Transactions of the Society for Computer Simulation International
  • 2002
...
1
2
...