Contents
SECTION I Basic Simulation Technologies and Fundamentals
Chapter 1 Real-Time Simulation Using Hybrid Models
Roy Crosbie
Chapter 2 Formalized Approach for the Design of Real-Time Distributed Computer Systems
Ming Zhang, Bernard Zeigler, and Xiaolin Hu
Chapter 3 Principles of DEVS Model Verification for Real-Time Embedded Applications
Hesham Saadawi, Gabriel A. Wainer, and Mohammad Moallemi
Chapter 4 Optimizing Discrete Modeling and Simulation for Real-Time Constraints with Metaprogramming
Luc Touraille, Jonathan Caux, and David Hill
Chapter 5 Modeling with UML and Its Real-Time Profiles
Emilia Farcas, Ingolf H. Krüger, and Massimiliano Menarini
Chapter 6 Modeling and Simulation of Timing Behavior with the Timing Definition Language
Josef Templ, Andreas Naderlinger, Patricia Derler, Peter Hintenaus, Wolfgang Pree, and Stefan Resmerita
SECTION II Real-Time Simulation for System Design
Chapter 7 Progressive Simulation-Based Design for Networked Real-Time Embedded Systems
Xiaolin Hu and Ehsan Azarnasab
Chapter 8 Validator Tool Suite: Filling the Gap between Conventional Software-in-the-Loop and Hardware-in-the-Loop Simulation Environments
Stefan Resmerita, Patricia Derler, Wolfgang Pree, and Kenneth Butts
Chapter 9 Modern Methodology of Electric System Design Using Rapid-Control Prototyping and Hardware-in-the-Loop
Jean Bélanger and Christian Dufour
Chapter 10 Modeling Multiprocessor Real-Time Systems at Transaction Level
Giovanni Beltrame, Gabriela Nicolescu, and Luca Fossati
Chapter 11 Service-Based Simulation Framework for Performance Estimation of Embedded Systems
Anders Sejer Tranberg-Hansen and Jan Madsen
Chapter 12 Consistency Management of UML Models
Emilia Farcas, Ingolf H. Krüger, and Massimiliano Menarini
SECTION III Parallel and Distributed Real-Time Simulation
Chapter 13 Interactive Flight Control System Development and Validation with Real-Time Simulation
Hugh H. T. Liu
Chapter 14 Test Bed for Evaluation of Power Grid Cyber-Infrastructure
David C. Bergman and David M. Nicol
Chapter 15 System Approach to Simulations for Training: Instruction, Technology, and Process Engineering
Sae Schatz, Denise Nicholson, and Rhianon Dolletski
Chapter 16 Concurrent Simulation for Online Optimization of Discrete Event Systems
Christos G. Cassandras and Christos G. Panayiotou
SECTION IV Tools and Applications
Chapter 17 Toward Accurate Simulation of Large-Scale Systems via Time Dilation
James Edmondson and Douglas C. Schmidt
Chapter 18 Simulation for Operator Training in Production Machinery
Gerhard Rath
Chapter 19 Real-Time Simulation Platform for Controller Design, Test, and Redesign
Savaş Şahin, Yalçın I.şler, and Cüneyt Güzeliş
Chapter 20 Automotive Real-Time Simulation: Modeling and Applications
Johannes Scharpf, Robert Höpler, and Jeffrey Hillyard
Chapter 21 Specification and Simulation of Automotive Functionality Using AUTOSAR
Marco Di Natale
Chapter 22 Modelica as a Platform for Real-Time Simulation
John J. Batteh, Michael M. Tiller, and Dietmar Winkler
Chapter 23 Real-Time Simulation of Physical Systems Using Simscape™
Steve Miller and Jeff Wendlandt
Chapter 24 Systematic Derivation of Hybrid System Models for Hydraulic Systems
Jeremy Hodgson, Rick Hyde, and Sanjiv Sharma