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
Test Case Generation for Flexible Real-Time Control Systems
University of Skövde, School of Humanities and Informatics.
University of Skövde, School of Humanities and Informatics.
2005 (English)In: 10th IEEE international conference of Emerging Technologies and Factory Automation: ETFA 2005, IEEE conference proceedings, 2005, 723-730 p.Conference paper, (Refereed)
Abstract [en]

Temporal correctness is crucial for the dependability of real-time control systems. A problem with testing such systems is the dependency on the execution orders of tasks. Mutation-based testing criteria have been proposed to determine which execution orders need to be exercised to verify that real-time systems are timely. For flexible control systems, timeliness in itself may only be relevant for a subset of tasks, whereas maintained control performance in the presence of worst-case jitter and disturbances is essential. This paper presents an extension to the co-simulator tool TrueTime, to support mutation-based testing of control performance and timeliness. Further, an approach for automatic generation of test cases using genetic algorithms is presented. A conclusion is that testing criteria for timeliness can be used to increase confidence in the dependability of flexible control systems.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2005. 723-730 p.
Identifiers
URN: urn:nbn:se:his:diva-1709DOI: 10.1109/ETFA.2005.1612746ISI: 000296356600092Scopus ID: 2-s2.0-33847310942ISBN: 0-7803-9401-1 ISBN: 978-0-7803-9401-8 ISBN: 0-7803-9402-X ISBN: 978-0-7803-9402-5 OAI: oai:DiVA.org:his-1709DiVA: diva2:31985
Conference
10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005; Catania; 19 September 2005 through 22 September 2005
Note

Henriksson:Department of Automatic Control, Lund University, Box 118, SE-22100 Lund, Sweden

Available from: 2007-08-20 Created: 2007-08-20 Last updated: 2013-03-19

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Nilsson, Robert
By organisation
School of Humanities and Informatics

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

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