mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability
Mälardalen University, School of Innovation, Design and Engineering. (Real-Time Systems Modelling and Analysis)ORCID iD: 0000-0001-5293-3804
Mälardalen University, School of Innovation, Design and Engineering. (Real-Time Systems Modelling and Analysis)ORCID iD: 0000-0003-4040-3480
Mälardalen University, School of Innovation, Design and Engineering. (Real-Time Systems Modelling and Analysis)ORCID iD: 0000-0003-2870-2680
2008 (English)In: 2008 International Conference on Computational Intelligence for Modelling Control & Automation, Los Alamitos, CA: IEEE Computer Society , 2008, p. 302-308Conference paper, Published paper (Refereed)
Abstract [en]

An early prediction of resource utilization and its impacton system performance and reliability can reduce theoverall system cost, by allowing early correction of detectedproblems, or changes in development plans with minimizedoverhead. Nowadays, researchers are using both academicand commercial models to predict such attributes, by measuringthem at earliest stages of system development. Inthis paper, we give a short overview of existing predictionmodels for performance and reliability, targeting popularcomponent-based frameworks. Next, we describe our ownapproach for tackling such predictions, through an illustrationon a small example that deals with estimations of energyconsumption.

Place, publisher, year, edition, pages
Los Alamitos, CA: IEEE Computer Society , 2008. p. 302-308
Keywords [en]
resource-usage, performance, reliability, prediction, comonent-based systems
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:mdh:diva-5722DOI: 10.1109/CIMCA.2008.190ISI: 000277076500053Scopus ID: 2-s2.0-70449570706ISBN: 978-0-7695-3514-2 (print)OAI: oai:DiVA.org:mdh-5722DiVA, id: diva2:211522
Conference
International Conference on Computational Intelligence for Modelling, Control and Automation Vienna, AUSTRIA, DEC 10-12, 2008
Projects
Q-ImPrEESPROGRESSAvailable from: 2009-05-13 Created: 2009-04-16 Last updated: 2018-01-13Bibliographically approved
In thesis
1. Formal Approaches to Service-oriented Design: From Behavioral Modeling to Service Analysis
Open this publication in new window or tab >>Formal Approaches to Service-oriented Design: From Behavioral Modeling to Service Analysis
2011 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

Service-oriented systems (SOS) have recently emerged as context-independent component-based systems. In contrast to components, services can be created, invoked, composed and destroyed at run-time. Services are assumed to be platform independent and available for use within heterogeneous applications. One of the main assets in SOS is service composability. It allows the development of composite services with the main goal of reusable functionality provided by existing services in a low cost and rapid development process at run-time. However, in such distributed systems it becomes difficult to guarantee the quality of services (QoS), both in isolation, as well as of the newly created service compositions. Means of checking correctness of service composition can enable optimization w.r.t. the function and resource-usage of composed services, as well as provide a higher degree of QoS assurance of a service composition. To accomplish such goals, we employ model-checking technique for both single and composed services. The verification eventually provides necessaryinformation about QoS, already at early development stage.This thesis presents the research that we have been carrying out, on developing of methods and tools for specification, modeling, and formal analysis of services and service compositions in SOS. In this work, we first show how to formally check QoS in terms of performance and reliability for formallyspecified component-based systems (CBS). Next, we outline the commonalities and differences between SOS and CBS. Third, we develop constructs for the formal description of services using the resource-aware timed behavioral language called REMES, including development of language to support service compositions. At last, we show how to check service and service composition(functional, timing and resource-wise) correctness by employing the strongest post condition semantics. For less complex services and service compositions we choose to prove correctness using Hoare triples and the guarded command language. In case of complex services described as priced timed automata(PTA), we prove correctness via algorithmic computation of strongest post-condition of PTA.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2011
Series
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 134
Keywords
service-oriented software engineering, formal modeling, service-oriented systems, resources, analysis, behavior, correctness check
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-12166 (URN)978-91-7485-012-3 (ISBN)
Presentation
2011-06-10, Gamma, Högskoleplan 1, Västerås, 10:00 (English)
Opponent
Supervisors
Projects
Q-ImPreSS
Funder
EU, FP7, Seventh Framework Programme
Available from: 2011-05-03 Created: 2011-04-27 Last updated: 2018-01-12Bibliographically approved

Open Access in DiVA

fulltext(178 kB)132 downloads
File information
File name FULLTEXT02.pdfFile size 178 kBChecksum SHA-512
18cbf64361b36acc30f1093aaaa259f3f9526cd73a8f29853d4e0b29da65b83295cde22db60e4b1de1f2a884733860d7c30ecc4fb6c16617fc189a2298edf674
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records BETA

Causevic, AidaPettersson, PaulSeceleanu, Cristina

Search in DiVA

By author/editor
Causevic, AidaPettersson, PaulSeceleanu, Cristina
By organisation
School of Innovation, Design and Engineering
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 144 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 1048 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf