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, p. 723-730Conference paper, Published 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. p. 723-730
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, id: 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: 2017-11-27

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Nilsson, Robert

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 31 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