Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems

2017 ◽  
Vol 16 (4) ◽  
pp. 1-24 ◽  
Author(s):  
Xi Zheng ◽  
Christine Julien ◽  
Hongxu Chen ◽  
Rodion Podorozhny ◽  
Franck Cassez
Keyword(s):  
Real Time ◽  
Cyber Physical Systems ◽  
Runtime Verification ◽  
Physical Systems ◽  
Real Time Simulation ◽  
Time Simulation

Methods for real-time simulation of Cyber-Physical Systems: application to automotive domain

2011 ◽  
Author(s):  
Cyril Faure ◽  
Mongi Ben Gaid ◽  
Nicolas Pernet ◽  
Morgan Fremovici ◽  
Gregory Font ◽  
...  
Keyword(s):  
Real Time ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Real Time Simulation ◽  
Time Simulation

Real-Time Dynamic Data-Driven Simulation of Continuum Systems

2004 ◽  
Author(s):  
J. G. Michopoulos ◽  
C. Farhat ◽  
E. N. Houstis
Keyword(s):  
Real Time ◽  
Behavior Modeling ◽  
Time Data ◽  
Physical Systems ◽  
Real Time Simulation ◽  
Time Dynamic ◽  
Time Simulation ◽  
Speed Accuracy ◽  
Continuum Systems ◽  
Behavioral Monitoring

Recent proliferation of sensor networks in various application areas has promoted real-time behavioral monitoring of various physical systems. The opportunity to use sensor generated data dynamically for improving speed, accuracy, and general performance of predictive behavior modeling simulation is of paramount importance. The present paper identifies enabling modeling methods and computational strategies that are critical for achieving real-time or near real-time simulation response of very large and complex systems. It also discusses our choices of these technologies in the context of sample multidisciplinary computational mechanics applications and describes two examples to demonstrate the feasibility of integrating real-time data with real-time simulation.

scholarly journals Interacting real-time simulation models and reactive computational-physical systems

2013 ◽  
Author(s):  
Hessam S. Sarjoughian ◽  
Soroosh Gholami ◽  
Thomas Jackson
Keyword(s):  
Real Time ◽  
Simulation Models ◽  
Physical Systems ◽  
Real Time Simulation ◽  
Time Simulation

Real Time Simulation of a VCM Plant

1997 ◽  
Vol 21 (1-2) ◽  
pp. S1111-S1115
Author(s):  
P Lundstrøm
Keyword(s):  
Real Time ◽  
Real Time Simulation ◽  
Time Simulation
Sign in / Sign up

Export Citation Format

Share Document