<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">André Matos Pedro</style></author><author><style face="normal" font="default" size="100%">David Pereira</style></author><author><style face="normal" font="default" size="100%">Luís Miguel Pinho</style></author><author><style face="normal" font="default" size="100%">Jorge Sousa Pinto</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Moris Behnam</style></author><author><style face="normal" font="default" size="100%">Giorgio Buttazzo</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Logic-based Schedulability Analysis for Compositional Hard Real-Time Embedded Systems</style></title><secondary-title><style face="normal" font="default" size="100%">6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems - CRTS</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year><pub-dates><date><style  face="normal" font="default" size="100%">December</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/jsp/files/crts2013.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Vancouver, Canada</style></pub-location><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for misinterpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uniprocessor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.
&lt;/p&gt;
</style></abstract></record></records></xml>