Högskolan i Skövde

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

Direktlänk
Referera
Referensformat
  • apa
  • apa-cv
  • 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
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.
Visa övriga samt affilieringar
2007 (Engelska)Rapport (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Skövde: Institutionen för kommunikation och information , 2007. , s. 10
Serie
IKI Technical Reports ; HS-IKI-TR-07-005
Nationell ämneskategori
Systemvetenskap, informationssystem och informatik
Identifikatorer
URN: urn:nbn:se:his:diva-1269OAI: oai:DiVA.org:his-1269DiVA, id: diva2:2405
Tillgänglig från: 2008-06-17 Skapad: 2008-06-17 Senast uppdaterad: 2018-09-07Bibliografiskt granskad

Open Access i DiVA

fulltext(125 kB)2726 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 125 kBChecksumma MD5
e2e07660fc107bcf73f0fbdb29618548032db95e2b136bed97c0db88a06176418ca45af4
Typ fulltextMimetyp application/pdf

Person

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

Sök vidare i DiVA

Av författaren/redaktören
Lindström, BirgittaNilsson, RobertEricsson, AnnMarieGrindal, MatsAndler, Sten F.Eftring, BengtOffutt, Jeff
Av organisationen
Institutionen för kommunikation och information
Systemvetenskap, informationssystem och informatik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 2726 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • apa-cv
  • 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