Högskolan i Skövde

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

Direct link
Referera
Referensformat
  • apa
  • apa-cv
  • 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
Six Issues in Testing Event-Triggered Real-Time Systems
Högskolan i Skövde, Institutionen för kommunikation och information.ORCID-id: 0000-0002-1039-5830
Högskolan i Skövde, Institutionen för kommunikation och information.
Högskolan i Skövde, Institutionen för kommunikation och information.
Högskolan i Skövde, Institutionen för kommunikation och information.
Vise andre og tillknytning
2007 (engelsk)Rapport (Annet vitenskapelig)
Abstract [en]

Verification of real-time systems is a complex task, with problems coming from issues like concurrency. A previous paper suggested dealing with these problems by using a time-triggered design, which gives good support both for testing and formal analysis. However, a

time-triggered solution is not always feasible and an event-triggered design is needed. Event-triggered systems are far more difficult to test than time-triggered systems.

This paper revisits previously identified testing problems from a new perspective and identifies additional problems for event-triggered systems. The paper also presents an approach to deal with these problems. The TETReS project assumes a model-driven development

process. We combine research within three different fields: (i) transformation of rule sets between timed automata specifications and ECA rules with maintained semantics, (ii) increasing testability in event-triggered system, and (iii) development of test case generation methods for event-triggered systems.

sted, utgiver, år, opplag, sider
Skövde: Institutionen för kommunikation och information , 2007. , s. 10
Serie
IKI Technical Reports ; HS-IKI-TR-07-005
HSV kategori
Identifikatorer
URN: urn:nbn:se:his:diva-1269OAI: oai:DiVA.org:his-1269DiVA, id: diva2:2405
Tilgjengelig fra: 2008-06-17 Laget: 2008-06-17 Sist oppdatert: 2018-09-07bibliografisk kontrollert

Open Access i DiVA

fulltekst(125 kB)2713 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 125 kBChecksum SHA-1
2b136bed97c0db88a06176418ca45af4e2e07660fc107bcf73f0fbdb29618548032db95e
Type fulltextMimetype application/pdf

Person

Lindström, BirgittaNilsson, RobertEricsson, AnnMarieGrindal, MatsAndler, Sten F.Eftring, BengtOffutt, Jeff

Søk i DiVA

Av forfatter/redaktør
Lindström, BirgittaNilsson, RobertEricsson, AnnMarieGrindal, MatsAndler, Sten F.Eftring, BengtOffutt, Jeff
Av organisasjonen

Søk utenfor DiVA

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

urn-nbn

Altmetric

urn-nbn
Totalt: 2660 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • apa-cv
  • 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