lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
QoS-based model driven assessment of adaptive reactive systems
University of Zaragoza, Spain.ORCID iD: 0000-0002-2736-845x
Politecnico di Milano, Italy.
University of Zaragoza, Spain.
University of Rome Tor Vergata, Italy.
2010 (English)In: Proceedings : Third International Conference on Software Testing, Verification, and Validation—Workshops: ICST Workshops 2010 : 6–10 April 2010, Paris, France, Institute of Electrical and Electronics Engineers (IEEE), 2010, p. 299-308Conference paper, Published paper (Refereed)
Abstract [en]

Adaptable reactive software systems continuously interact with their environment responding to external stimuli and triggering events that may be perceived by their users. Designing and maintaining such systems is a challenging task. A key issue to be faced concerns the assessment of their effectiveness, in terms of the ability to meet their required Quality of Service. This paper introduces a model driven approach to support this assessment, with a focus on performance and dependability attributes. Our approach takes advantage from an existing intermediate modeling language and introduces the necessary extensions to cope with reactive systems. The presented model driven framework exploits the idea of defining a model transformation chain that maps a design oriented model of the system to an analysis oriented model that lends itself to the application of a suitable analysis methodology. We identify some key concepts that should be present in the design model of an adaptable reactive system, and show how to devise a transformation from such a model to a target analysis models.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2010. p. 299-308
National Category
Software Engineering
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-68949DOI: 10.1109/ICSTW.2010.20Scopus ID: 2-s2.0-77953788898OAI: oai:DiVA.org:lnu-68949DiVA, id: diva2:1160162
Conference
ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops
Available from: 2017-11-24 Created: 2017-11-24 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Perez-Palacin, Diego

Search in DiVA

By author/editor
Perez-Palacin, Diego
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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