1st Edition

Real-Time Simulation Technologies: Principles, Methodologies, and Applications

Edited By Katalin Popovici, Pieter Mosterman Copyright 2013
660 Pages 295 B/W Illustrations
by CRC Press

660 Pages 295 B/W Illustrations
by CRC Press

660 Pages 295 B/W Illustrations
by CRC Press

Real-Time Simulation Technologies: Principles, Methodologies, and Applications is an edited compilation of work that explores fundamental concepts and basic techniques of real-time simulation for complex and diverse systems across a broad spectrum. Useful for both new entrants and experienced experts in the field, this book integrates coverage of detailed theory, acclaimed methodological... Read more

Section I: Basic Simulation Technologies and Fundamentals

Real-Time Simulation Using Hybrid Models, R. Crosbie

Formalized Approach for the Design of Real-Time Distributed Computer Systems, M. Zhang, B. Zeigler, and X. Hu

Principles of DEVS Model Verification for Real-Time Embedded Applications, H. Saadawi, G.A. Wainer, and M. Moallemi

Optimizing Discrete Modeling and Simulation for Real-Time Constraints with Metaprogramming, L. Touraille, J. Caux, and D. Hill

Modeling with UML and Its Real-Time Profiles, E. Farcas, I.H. Krüger, and M. Menarini

Modeling and Simulation of Timing Behavior with the Timing Definition Language, J. Templ, A. Naderlinger, P. Derler, P. Hintenaus, W. Pree, and S. Resmerita


Section II: Real-Time Simulation for System Design

Progressive Simulation-Based Design for Networked Real-Time Embedded Systems, X. Hu and E. Azarnasab

Validator Tool Suite: Filling the Gap between Conventional Software-in-the-Loop and Hardware-in-the-Loop Simulation Environments, S. Resmerita, P. Derler, W. Pree, and K. Butts

Modern Methodology of Electric System Design Using Rapid-Control Prototyping and Hardware-in-the-Loop, J. Bélanger and C. Dufour

Modeling Multiprocessor Real-Time Systems at Transaction Level, G. Beltrame, G.Nicolescu, and L. Fossati

Service-Based Simulation Framework for Performance Estimation of Embedded Systems, A. Sejer Tranberg-Hansen and J. Madsen

Consistency Management of UML Models, E. Farcas, I.H. Krüger, and M. Menarini

 

Section III: Parallel and Distributed Real-Time Simulation

Interactive Flight Control System Development and Validation with Real-Time Simulation, H.H. T. Liu

Test Bed for Evaluation of Power Grid Cyber-Infrastructure, D.C. Bergman and D.M. Nicol

System Approach to Simulations for Training: Instruction, Technology, and Process Engineering, S.Schatz, D. Nicholson, and R. Dolletski

Concurrent Simulation for Online Optimization of Discrete Event Systems, C.G. Cassandras and C.G. Panayiotou

 

Section IV: Tools and Applications

Toward Accurate Simulation of Large-Scale Systems via Time Dilation, J. Edmondson and D.C. Schmidt

Simulation for Operator Training in Production Machinery, G. Rath

Real-Time Simulation Platform for Controller Design, Test, and Redesign, S. Şahin, Y. İşler, and C. Güzeliş

Automotive Real-Time Simulation: Modeling and Applications, J. Scharpf, R. Höpler, and J. Hillyard

Specification and Simulation of Automotive Functionality Using AUTOSAR, M. Di Natale

Modelica as a Platform for Real-Time Simulation, J.J. Batteh, M.M. Tiller, and D. Winkler

Real-Time Simulation of Physical Systems Using Simscape™, S. Miller and J. Wendlandt

Systematic Derivation of Hybrid System Models for Hydraulic Systems, J. Hodgson, R. Hyde, and S. Sharma

Biography

Katalin Popovici received her engineer degree in computer science from the University of Oradea, Romania, in 2004 and her Ph.D in micro- and nanoelectronics from Grenoble Institute of Technology, France, in 2008. Between 2005 and 2008, she was a member of the SHAPES (Scalable Software Hardware Computing Architecture Platform for Embedded Systems) European research project, where she worked on hardware–software co-design. Currently, she is a senior software engineer at MathWorks in Natick, Massachusetts, where she works on partitioning and mapping capabilities from Simulink® models to embedded and real-time systems, with focus on code generation for multicore and heterogeneous architectures.

Pieter J. Mosterman is a senior research scientist at MathWorks in Natick, Massachusetts, where he works on design automation technologies. He also holds an adjunct professor position in the School of Computer Science at McGill University. Prior to this, he was a research associate at the German Aerospace Center (DLR) in Oberpfaffenhofen. He received his Ph.D in electrical and computer engineering from Vanderbilt University in Nashville, Tennessee, and his MSc in electrical engineering from the University of Twente, The Netherlands. His primary research interests include computer automated multiparadigm modeling with principal applications in design automation, training systems, and fault detection, isolation, and reconfiguration.