Mostrar el registro sencillo del ítem

dc.contributor.author
Kloukinas, Christos  
dc.contributor.author
Yovine, Sergio Fabian  
dc.date.available
2019-01-21T18:45:36Z  
dc.date.issued
2011-03  
dc.identifier.citation
Kloukinas, Christos; Yovine, Sergio Fabian; A model-based approach for multiple QoS in scheduling: From models to implementation; Springer; Automated Software Engineering; 18; 1; 3-2011; 5-38  
dc.identifier.issn
0928-8910  
dc.identifier.uri
http://hdl.handle.net/11336/68309  
dc.description.abstract
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.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Springer  
dc.rights
info:eu-repo/semantics/restrictedAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
Case  
dc.subject
Model Checking  
dc.subject
Process Management  
dc.subject
Real-Time Systems And Embedded Systems  
dc.subject.classification
Ciencias de la Computación  
dc.subject.classification
Ciencias de la Computación e Información  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
A model-based approach for multiple QoS in scheduling: From models to implementation  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2019-01-14T18:07:51Z  
dc.identifier.eissn
1573-7535  
dc.journal.volume
18  
dc.journal.number
1  
dc.journal.pagination
5-38  
dc.journal.pais
Alemania  
dc.description.fil
Fil: Kloukinas, Christos. City University of London; Reino Unido  
dc.description.fil
Fil: Yovine, Sergio Fabian. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina  
dc.journal.title
Automated Software Engineering  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007%2Fs10515-010-0074-8  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s10515-010-0074-8