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
The Observer-based Technique for Requirements Validation in Embedded Real-time Systems
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS Software Engineering)ORCID-id: 0000-0002-2615-6842
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS)ORCID-id: 0000-0003-0904-3712
2014 (engelsk)Inngår i: Proceedings of 1st International Workshop on Requirements Engineering and Testing (RET), 2014, s. 47-54Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Model-based requirements validation is an increasingly attractive approach to discovering hidden flaws in requirements in the early phases of systems development life cycle. The application of using traditional methods such as model checking for the validation purpose is limited by the growing complexity of embedded real-time systems (ERTS). The observer-based technique is a lightweight validation technique, which has shown its potential as a means of validating the correctness of model behaviors. In this paper, the novelty of our contributions is three-fold: 1) we formally define the observer constructs for our formal specification language namely the Timed Abstract State Machine (TASM) language and, 2) we propose the Events Monitoring Logic (EvML) to facilitate the observer specification and, 3) we show how to execute observers to validate the requirements describing the functional behaviors and non-functional properties (such as timing) of ERTS. We also illustrate the applicability of the extended TASM language through an industrial application of a Vehicle Locking-Unlocking system.

sted, utgiver, år, opplag, sider
2014. s. 47-54
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-25874DOI: 10.1109/RET.2014.6908679ISI: 000349447300010Scopus ID: 2-s2.0-84908648088ISBN: 9781479963348 (tryckt)OAI: oai:DiVA.org:mdh-25874DiVA, id: diva2:743953
Konferanse
1st International Workshop on Requirements Engineering and Testing (RET 2014), August 26, 2014. Karlskrona, Sweden.
Tilgjengelig fra: 2014-09-05 Laget: 2014-09-05 Sist oppdatert: 2018-01-11bibliografisk kontrollert
Inngår i avhandling
1. An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems
Åpne denne publikasjonen i ny fane eller vindu >>An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems
2014 (engelsk)Licentiatavhandling, med artikler (Annet vitenskapelig)
Abstract [en]

With the growing complexity of embedded real-time systems, requirements validation becomes an ever-more critical activity for developing such systems. Studies have revealed that most of the anomalies, discovered in the development of complex systems, belong to requirement and specification phases. To ease the situation, many efforts have been investigated into the area. Model-based techniques, enabling formal semantics and requirements traceability, are emerging as promising solutions to cost-effective requirements validation. In these techniques, the functional behaviors derived from lower-level requirements are specified in terms of analyzable models at a certain level of abstraction. Further, upper-level requirements are formalized into verifiable queries and/or formulas. Meanwhile, trace links between requirements at various levels of abstraction as well as between requirements and subsequent artifacts (such as verifiable queries and/or formulas, and analyzable models) are built, through which the queries and/or formulas can be fed into the corresponding models. However, such model-based techniques suffer from some limitations, such as how to support semi- or fully-automatic trace links creation between diverse development artifacts, how to ease the demand of heavy mathematics background knowledge to specify queries and/or formulas, and how to analyze models without encountering the state explosion problem. 

 

In this thesis, we cover two aspects centering around requirements validation to ease the aforementioned limitations, which are mainly about requirements traceability and model-based requirements validation. In particular, the technical contributions are four-fold: 1) we have introduced an improved VSM-based requirements traceability creation/recovery approach using a novel context analysis and, 2) we have proposed a lightweight model-based approach to requirements validation by using the Timed Abstract State Machine (TASM) language with newly defined Observer and Event constructs and, 3) we have combined our model-based approach with a restricted use case modeling approach for feature-oriented requirements validation and, 4) we have improved the Observer construct of TASM via proposing a new observer specification logic to facilitate the observer specification, as well as defining the corresponding observer execution process. Finally, we have demonstrated the applicability of our contributions in real world usage through various applications.

sted, utgiver, år, opplag, sider
Västerås: Mälardalen University, 2014
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 177
HSV kategori
Forskningsprogram
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-25876 (URN)978-91-7485-160-1 (ISBN)
Presentation
2014-10-13, Kappa, Mälardalens högskola, Västerås, 13:15 (engelsk)
Opponent
Veileder
Tilgjengelig fra: 2014-09-05 Laget: 2014-09-05 Sist oppdatert: 2014-10-06bibliografisk kontrollert

Open Access i DiVA

fulltext(1601 kB)160 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1601 kBChecksum SHA-512
c57e3eb9ff7308ff5cae6fc089ca48d489392e781ee22a74aae78d0446ff763643985c9b74f2c3028af8cafcc6ba7fe6ed464e62ea486658b5ee2316095f8744
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Zhou, JialeLundqvist, Kristina

Søk i DiVA

Av forfatter/redaktør
Zhou, JialeLundqvist, Kristina
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 160 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 113 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