A Timed Automata Formalism for Modeling Resource Management and Quality of Service in Real-Time Contexts
2009 (English)Report (Other academic)
Quality of service (QoS) and resource management play important roles in embeddedsystems. In this report, a formalism to describe QoS properties in real-time systemsis presented. The formal model is extensible and can be used to model both resourceavailability and resource needs. The formalism focuses rather on organization andstructuring of data than providing novel analysis techniques. An instantiation of theformalism in the context of DyLite, an adaptive middleware implementation developedat KTH, is explained as a modeling guideline and help to future instantiators of theframework.
Place, publisher, year, edition, pages
Trita-MMK, ISSN 1400-1179 ; 2009:21
Engineering and Technology
IdentifiersURN: urn:nbn:se:kth:diva-11592ISRN: ISRN/KTH/MMK/R-09/21-SEOAI: oai:DiVA.org:kth-11592DiVA: diva2:277855
QC 201010282009-11-202009-11-202010-10-28Bibliographically approved