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
Bounds on Test Effort for Event-Triggered Real-Time Systems
University of Skövde, School of Humanities and Informatics.
1999 (English)Report (Other academic)
Abstract [en]

The test effort required for full test coverage is much higher in an event-triggered than in a time-triggered real-timesystem. This makes it difficult to attain confidence in the correctness of event-triggered real-time applications by testing,which is a necessary complement to other verification methods. We present a more general upper bound on the test effort of constrained event-triggered real-time systems, assuming multiple resources (a refinement of previous results). The emphasis is on system level testing of application timeliness, assuming that sufficient confidence in its functional correctness has been attained. Covered fault types include incorrect assumptions about temporal attributes of application and execution environment, and synchronization faults. An analysis of the effects that our constraints have on predictability and efficiency shows that the use of designated preemption points is required. A key factor in this approach is the ability to reduce the number of required test cases while maintaining full test coverage.

Abstract [en]

Annotation: Proceedings of the 9th International Conference on Artificial Neural Networks (ICANN99), Edinburgh, Scotland.

Place, publisher, year, edition, pages
Skövde: Institutionen för kommunikation och information , 1999.
Series
IKI Technical Reports, HS-IDA-TR-99-002
National Category
Information Science
Identifiers
URN: urn:nbn:se:his:diva-1213OAI: oai:DiVA.org:his-1213DiVA: diva2:2344
Available from: 2008-06-17 Created: 2008-06-17 Last updated: 2010-04-08

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Niklasson, Lars
By organisation
School of Humanities and Informatics
Information Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 353 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