| seminars |
| filter: |
 list |  browse |
 id : |
923
|
| type : |
PhD_Thesis
|
| dateandtime : |
2020-01-17 09:30:00
|
| duration : |
120 min.
|
|
Recommended duration for PhD thesis is 90 minutes, for other seminar types, it is 60 minutes. The duration specified here is used to reserve the room.
|
| place : |
A105
|
|
Please check room availability from Room Scheduling page. You must use the same room name as used in the scheduling page if you want to automatically reserve the room.
|
| departmental : |
yes
|
| title : |
Schedulability Analysis of Real-time Multi-frame Co-Simulations on Multi-core Platforms
|
| author : |
MUHAMMAD UZAIR AHSAN
|
| supervisors : |
PROF.DR.HALIT OGUZTUZUN
|
|
Supervisors field is applicable especially for a Thesis Defense
|
| company : |
Computer Engineering Dept. Middle East Technical Univ.
|
| country : |
Turkey
|
| abstract : |
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.
|
| biography : |
|
| download slides : |
|
|
[ ]check this to delete slides
|
| slidesFilename : |
|
|
slidesFilename is the name of downloadable file, and will be automatically filled when you upload a new file. You may change the name also.
|
| links : |
|
| notificationSent : |
final
|
