mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Testing of Timing Properties in Real-Time Systems: Verifying Clock Constraints
XDIN AB, Stockholm, Sweden. (IS (Embedded Systems))ORCID-id: 0000-0002-1512-0844
Mälardalens högskola, Akademin för innovation, design och teknik. (IS (Embedded Systems))ORCID-id: 0000-0001-7586-0409
2013 (Engelska)Ingår i: Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2013, s. 152-152Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Ensuring that timing constraints in a real-time system are satisfied and met is of utmost importance. There are different static analysis methods that are introduced to statically evaluate the correctness of such systems in terms of timing properties, such as schedulability analysis techniques. Regardless of the fact that some of these techniques might be too pessimistic or hard to apply in practice, there are also situations that can still occur at runtime resulting in the violation of timing properties and thus invalidation of the static analyses' results. Therefore, it is important to be able to test the runtime behavior of a real-time system with respect to its timing properties. In this paper, we introduce an approach for testing the timing properties of real-time systems focusing on their internal clock constraints. For this purpose, test cases are generated from timed automata models that describe the timing behavior of real-time tasks. The ultimate goal is to verify that the actual timing behavior of the system at runtime matches the timed automata models. This is achieved by tracking and time-measuring of state transitions at runtime.

Ort, förlag, år, upplaga, sidor
2013. s. 152-152
Nyckelord [en]
Real-Time, Timing Properties, Testing, Runtime Verification, Temporal Correctness, Model-Based Testing
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-23290DOI: 10.1109/APSEC.2013.131ISI: 000358735300029Scopus ID: 2-s2.0-84897371829OAI: oai:DiVA.org:mdh-23290DiVA, id: diva2:679321
Konferens
The 20th Asia-Pacific Software Engineering Conference (APSEC 2013) 2-5 December 2013, Bangkok, Thailand
Projekt
MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova)ITS-EASY Post Graduate School for Embedded Software and SystemsTillgänglig från: 2013-12-14 Skapad: 2013-12-10 Senast uppdaterad: 2015-02-04Bibliografiskt granskad
Ingår i avhandling
1. Preservation of Extra-Functional Properties in Embedded Systems Development
Öppna denna publikation i ny flik eller fönster >>Preservation of Extra-Functional Properties in Embedded Systems Development
2015 (Engelska)Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Västerås: Mälardalen University, 2015
Serie
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 171
Nyckelord
Software Engineering, Embedded Systems, Non-Functional Requirements, Extra-Functional Properties, Model-Driven Development, Trade-off analysis
Nationell ämneskategori
Datorsystem Inbäddad systemteknik
Forskningsämne
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-27300 (URN)978-91-7485-182-3 (ISBN)
Disputation
2015-02-24, Gamma, Mälardalens högskola, Västerås, 13:15 (Engelska)
Opponent
Handledare
Projekt
CHESSMBATITS-EASY
Tillgänglig från: 2015-01-12 Skapad: 2015-01-12 Senast uppdaterad: 2015-02-02Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Saadatmand, MehrdadSjödin, Mikael

Sök vidare i DiVA

Av författaren/redaktören
Saadatmand, MehrdadSjödin, Mikael
Av organisationen
Akademin för innovation, design och teknik
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 52 träffar
RefereraExporteraLänk till posten
Permanent länk

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