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

Download

index.pdf

Date

2020

Author

Ahsan, Muhammad Uzair

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

241
views

150
downloads

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.

Subject Keywords

Computer simulation., Schedulability Analysis, Real-time Simulations, Co-simulations, Task Automaton, Timed Automaton

URI

http://etd.lib.metu.edu.tr/upload/12625137/index.pdf
https://hdl.handle.net/11511/45298

Collections

Graduate School of Natural and Applied Sciences, Thesis

Suggestions

OpenMETU
Core

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...
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...
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...
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.