mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Towards Accurate Monitoring of Extra-Functional Properties in Real-Time Embedded Systems
Mälardalens högskola, Akademin för innovation, design och teknik. (IS)ORCID-id: 0000-0002-1512-0844
Mälardalens högskola, Akademin för innovation, design och teknik. (IS)ORCID-id: 0000-0001-7586-0409
2012 (engelsk)Inngår i: Asia-Pacific Software Engineering Conference, APSEC: Proceedings, 2012, s. 338-341Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Management and preservation of Extra-Functional Properties (EFPs) is critical in real-time embedded systems to ensure their correct behavior. Deviation of these properties, such as timing and memory usage, from their acceptable and valid values can impair the functionality of the system. In this regard, monitoring is an important means to investigate the state of the system and identify such violations. The monitoring result is also used to make adaptation and re-configuration decisions in the system as well. Most of the works related to monitoring EFPs are based on the assumption that monitoring results accurately represent the true state of the system at the monitoring request time point. In some systems this assumption can be safe and valid. However, if in a system the value of an EFP changes frequently, the result of monitoring may not accurately represent the state of the system at the time point when the monitoring request has been issued. The consequences of such inaccuracies can be critical in certain systems and applications. In this paper, we mainly introduce and discuss this practical problem and also provide a solution to improve the monitoring accuracy of EFPs.

sted, utgiver, år, opplag, sider
2012. s. 338-341
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-17357DOI: 10.1109/APSEC.2012.42ISI: 000332765100045Scopus ID: 2-s2.0-84874637365ISBN: 978-076954922-4 (tryckt)OAI: oai:DiVA.org:mdh-17357DiVA, id: diva2:579688
Konferanse
The 19th Asia-Pacific Software Engineering Conference (APSEC 2012, December 4-7, 2012, Hong Kong
Tilgjengelig fra: 2012-12-20 Laget: 2012-12-20 Sist oppdatert: 2015-02-04bibliografisk kontrollert
Inngår i avhandling
1. Preservation of Extra-Functional Properties in Embedded Systems Development
Åpne denne publikasjonen i ny fane eller vindu >>Preservation of Extra-Functional Properties in Embedded Systems Development
2015 (engelsk)Doktoravhandling, med artikler (Annet vitenskapelig)
Abstract [en]

The interaction of embedded systems with their environments and their resource limitations make it important to take into account properties such as timing, security, and resource consumption in designing such systems. These so-called Extra-Functional Properties (EFPs) capture and describe the quality and characteristics of a system, and they need to be taken into account from early phases of development and throughout the system's lifecycle. An important challenge in this context is to ensure that the EFPs that are defined at early design phases are actually preserved throughout detailed design phases as well as during the execution of the system on its platform. In this thesis, we provide solutions to help with the preservation of EFPs; targeting both system design phases and system execution on the platform. Starting from requirements, which form the constraints of EFPs, we propose an approach for modeling Non-Functional Requirements (NFRs) and evaluating different design alternatives with respect to the satisfaction of the NFRs. Considering the relationship and trade-off among EFPs, an approach for balancing timing versus security properties is introduced. Our approach enables balancing in two ways: in a static way resulting in a fixed set of components in the design model that are analyzed and thus verified to be balanced with respect to the timing and security properties, and also in a dynamic way during the execution of the system through runtime adaptation. Considering the role of the platform in preservation of EFPs and mitigating possible violations of them, an approach is suggested to enrich the platform with necessary mechanisms to enable monitoring and enforcement of timing properties. In the thesis, we also identify and demonstrate the issues related to accuracy in monitoring EFPs, how accuracy can affect the decisions that are made based on the collected information, and propose a technique to tackle this problem. As another contribution, we also show how runtime monitoring information collected about EFPs can be used to fine-tune design models until a desired set of EFPs are achieved. We have also developed a testing framework which enables automatic generation of test cases in order verify the actual behavior of a system against its desired behavior. On a high level, the contributions of the thesis are thus twofold: proposing methods and techniques to 1) improve maintenance of EFPs within their correct range of values during system design, 2) identify and mitigate possible violations of EFPs at runtime.

sted, utgiver, år, opplag, sider
Västerås: Mälardalen University, 2015
Serie
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 171
Emneord
Software Engineering, Embedded Systems, Non-Functional Requirements, Extra-Functional Properties, Model-Driven Development, Trade-off analysis
HSV kategori
Forskningsprogram
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-27300 (URN)978-91-7485-182-3 (ISBN)
Disputas
2015-02-24, Gamma, Mälardalens högskola, Västerås, 13:15 (engelsk)
Opponent
Veileder
Prosjekter
CHESSMBATITS-EASY
Tilgjengelig fra: 2015-01-12 Laget: 2015-01-12 Sist oppdatert: 2015-02-02bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Saadatmand, MehrdadSjödin, Mikael

Søk i DiVA

Av forfatter/redaktør
Saadatmand, MehrdadSjödin, Mikael
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 53 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf