Section I: Basic Simulation Technologies and Fundamentals
Real-Time Simulation Using Hybrid Models. Formalized Approach for the Design of Real-Time Distributed Computer Systems. Principles of DEVS Model Verification for Real-Time Embedded Applications. Optimizing Discrete Modeling and Simulation for Real-Time Constraints with Metaprogramming. Modeling with UML and Its Real-Time Profiles. Modeling and Simulation of Timing Behavior with the Timing Definition Language.
Section II: Real-Time Simulation for System Design
Progressive Simulation-Based Design for Networked Real-Time Embedded Systems. Validator Tool Suite: Filling the Gap between Conventional Software-in-the-Loop and Hardware-in-the-Loop Simulation Environments. Modern Methodology of Electric System Design Using Rapid-Control Prototyping and Hardware-in-the-Loop. Modeling Multiprocessor Real-Time Systems at Transaction Level. Service-Based Simulation Framework for Performance Estimation of Embedded Systems. Consistency Management of UML Models.
Section III: Parallel and Distributed Real-Time Simulation
Interactive Flight Control System Development and Validation with Real-Time Simulation. Test Bed for Evaluation of Power Grid Cyber-Infrastructure. System Approach to Simulations for Training: Instruction, Technology, and Process Engineering. Concurrent Simulation for Online Optimization of Discrete Event Systems.
Section IV: Tools and Applications
Toward Accurate Simulation of Large-Scale Systems via Time Dilation. Simulation for Operator Training in Production Machinery. Real-Time Simulation Platform for Controller Design, Test, and Redesign. Automotive Real-Time Simulation: Modeling and Applications. Specification and Simulation of Automotive Functionality Using AUTOSAR. Modelica as a Platform for Real-Time Simulation. Real-Time Simulation of Physical Systems Using Simscape(TM). Systematic Derivation of Hybrid System Models for Hydraulic Systems.
