Schedulability analysis of real-time multi-frame co-simulations on multi-core platforms

Download
2020
Ahsan, Muhammad Uzair
For real-time simulations, the fidelity of simulation does not depend only on the functional accuracy of simulation but also on its timeliness. It is helpful for developers if we can analyze and verify that a simulation will always meet its timing requirements while keeping an acceptable level of accuracy. Abstracting the simulated processes simply as software tasks allows us to transform the problem of verifying timeliness into a schedulability analysis problem where tasks are checked if they are schedulable under real-time constraints or not. In this paper we extended a timed automaton based framework due to Fersman and Yi for schedulability analysis of real-time systems, for the special case of real-time multi-frame co-simulations. We found that there are some special requirements posed by multi-frame simulations which necessitate changes and improvements in the existing framework. We made the required theoretical extensions to the framework and then implemented our extended framework in UPPAAL, a tool for modeling, simulation and verification of real-time systems modeled as timed-automata, and tested on an example.

Suggestions

Schedulability analysis of real-time multiframe cosimulations on multicore platforms
Ahsan, Muhammad Uzair; Oğuztüzün, Mehmet Halit S. (The Scientific and Technological Research Council of Turkey, 2019-01-01)
For real-time simulations, the fidelity of simulation depends not only on the functional accuracy of simulation but also on its timeliness. It is helpful for simulation designers if they can analyze and verify that a simulation will always meet its timing requirements without unnecessarily sacrificing functional accuracy. Abstracting the simulated processes simply as software tasks allows us to transform the problem of verifying timeliness into a schedulability analysis problem where tasks are checked as to...
Real-time hardware-in-the-loop simulation of electrical machine systems using FPGAs
Üşenme, Serdar; Dilan, R.A.; Dölen, Melik; Koku, Ahmet Buğra (2009-11-18)
This study focuses on the development an integrated software and hardware platform that is capable of performing real-time simulation of dynamic systems, including electrical machinery, for the purpose of hardware-in-the-loop simulation (HILS). The system to be controlled is first defined using a block diagram editor. The defined model is then compiled and downloaded onto an FPGA (¿Field Programmable Gate Array¿) based hardware platform, which is to interface with the controller under test and carry out the...
A new approach for better load balancing of visibility detection and target acquisition calculations
Filiz, Anıl Yiğit; Can, Tolga; Department of Computer Engineering (2010)
Calculating visual perception of entities in simulations requires complex intersection tests between the line of sight and the virtual world. In this study, we focus on outdoor environments which consist of a terrain and various objects located on terrain. Using hardware capabilities of graphics cards, such as occlusion queries, provides a fast method for implementing these tests. In this thesis, we introduce an approach for better load balancing of visibility detection and target acquisition calculations b...
Dynamic simulation metamodeling using MARS: A case of radar simulation
Bozagac, Doruk; Batmaz, İnci; Oğuztüzün, Mehmet Halit S. (2016-06-01)
Dynamic system simulations require relating the inputs to the multivariate output which can be a function of time space coordinates. In this work, we propose a methodology for the metamodeling of dynamic simulation models via Multivariate Adaptive Regression Splines (MARS). To handle incomplete output processes, where the simulation model does not produce an output in some steps due to missing inputs, we have devised a two-stage metamodeling scheme. The methodology is demonstrated on a dynamic radar simulat...
Monitoring and checking of discrete event simulations
Ulu, Buket; Oğuztüzün, Mehmet Halit S.; Kayalıgil, Sinan; Department of Computer Engineering (2003)
Discrete event simulation is a widely used technique for decision support. The results of the simulation must be reliable for critical decision making problems. Therefore, much research has concentrated on the verification and validation of simulations. In this thesis, we apply a well-known dynamic verification technique, assertion checking method, as a validation technique. Our aim is to validate the particular runs of the simulation model, rather than the model itself. As a case study, the operations of a...
Citation Formats
M. U. Ahsan, “Schedulability analysis of real-time multi-frame co-simulations on multi-core platforms,” Thesis (Ph.D.) -- Graduate School of Natural and Applied Sciences. Computer Engineering., Middle East Technical University, 2020.