caa a22 4500 445835354 CHVBK 20180317145329.0 cr unu---uuuuu 170323e20110301xx s 000 0 eng 10.1007/s10515-010-0074-8 doi (NATIONALLICENCE)springer-10.1007/s10515-010-0074-8 A model-based approach for multiple QoS inscheduling: from models to implementation [Elektronische Daten] [Christos Kloukinas, Sergio Yovine] Meeting multiple Quality of Service (QoS) requirements is an important factor in the success of complex software systems. This paper presents an automated, model-based scheduler synthesis approach for scheduling application software tasks to meet multiple QoS requirements. As a first step, it shows how designers can meet deadlock-freedom and timeliness requirements, in a manner that (i) does not over-provision resources, (ii) does not require architectural changes to the system, and that (iii) leaves enough degrees of freedom to pursue further properties. A major benefit of our synthesis methodology is that it increases traceability, by linking each scheduling constraint with a specific pair of QoS property and underlying platform execution model, so as to facilitate the validation of the scheduling constraints and the understanding of the overall system behaviour, required to meet further QoS properties. The paper shows how the methodology is applied in practice and also presents a prototype implementation infrastructure for executing an application on top of common operating systems, without requiring modifications of the latter. Springer Science+Business Media, LLC, 2010 CASE nationallicence Model checking nationallicence Process management nationallicence Real-time systems and embedded systems nationallicence Kloukinas Christos City University London, EC1V 0HB, London, UK aut Yovine Sergio CONICET and Universidad de Buenos Aires, Buenos Aires, Argentina aut Automated Software Engineering Springer US; http://www.springer-ny.com 18/1(2011-03-01), 5-38 0928-8910 18:1<5 2011 18 10515 https://doi.org/10.1007/s10515-010-0074-8 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10515-010-0074-8 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Kloukinas Christos City University London, EC1V 0HB, London, UK aut NATIONALLICENCE 700 1- Yovine Sergio CONICET and Universidad de Buenos Aires, Buenos Aires, Argentina aut NATIONALLICENCE 773 0- Automated Software Engineering Springer US; http://www.springer-ny.com 18/1(2011-03-01), 5-38 0928-8910 18:1<5 2011 18 10515 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer