his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Six Issues in Testing Event-Triggered Real-Time Systems
University of Skövde, School of Humanities and Informatics.
University of Skövde, School of Humanities and Informatics.
University of Skövde, School of Humanities and Informatics.
University of Skövde, School of Humanities and Informatics.
Show others and affiliations
2007 (English)Report (Other academic)
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.

Place, publisher, year, edition, pages
Skövde: Institutionen för kommunikation och information , 2007. , 10 p.
Series
IKI Technical Reports, HS- IKI -TR-07-005
National Category
Information Science
Identifiers
URN: urn:nbn:se:his:diva-1269OAI: oai:DiVA.org:his-1269DiVA: diva2:2405
Available from: 2008-06-17 Created: 2008-06-17 Last updated: 2013-03-26Bibliographically approved

Open Access in DiVA

fulltext(125 kB)1547 downloads
File information
File name FULLTEXT01.pdfFile size 125 kBChecksum MD5
e2e07660fc107bcf73f0fbdb29618548032db95e2b136bed97c0db88a06176418ca45af4
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Lindström, BirgittaNilsson, RobertEricsson, AnnMarieGrindal, MatsAndler, Sten F.Eftring, BengtOffutt, Jeff
By organisation
School of Humanities and Informatics
Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 1547 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 1979 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf