Högskolan i Skövde

his.sePublications
Change search
Refine search result
1 - 6 of 6
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • apa-cv
  • 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
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Ericsson, Ann-marie
    et al.
    University of Skövde, Department of Computer Science.
    Nilsson, Robert
    University of Skövde, Department of Computer Science.
    Andler, Sten F.
    University of Skövde, Department of Computer Science.
    Operator Patterns for Analysis of Composite Events in Timed Automata2003In: WIP Proceedings: 24th IEEE Real-Time Systems Symposium, 2003, p. 1555-1558Conference paper (Refereed)
    Abstract [en]

    Abstract—Event-triggered real-time systems interact with the environment by executing actions in response to monitored events. Such systems may be implemented using event condition action (ECA) rules, which execute an action if the associated event occurs and a specified condition is true. However, the ECA rule paradigm is known to be hard to analyze with respect to correctness and timeliness, which is not conducive to the high predictability requirements typically associated with real-time systems. To still take advantage of the ECA rule paradigm when event-triggered real-time systems are developed, we propose an approach where systems are specified and analyzed in a high-level formal language (timed automata) and later transformed into the ECA rule paradigm. We especially focus on a high-level approach for specifying and analyzing composite event occurrences in timed automata.

  • 2.
    Lindström, Birgitta
    et al.
    University of Skövde, School of Humanities and Informatics.
    Nilsson, Robert
    University of Skövde, School of Humanities and Informatics.
    Ericsson, AnnMarie
    University of Skövde, School of Humanities and Informatics.
    Grindal, Mats
    University of Skövde, School of Humanities and Informatics.
    Andler, Sten F.
    University of Skövde, School of Humanities and Informatics.
    Eftring, Bengt
    University of Skövde, School of Humanities and Informatics.
    Offutt, Jeff
    George Mason University, Fairfax, VA, USA.
    Six Issues in Testing Event-Triggered Real-Time Systems2007Report (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.

    Download full text (pdf)
    FULLTEXT01
  • 3.
    Nilsson, Robert
    et al.
    University of Skövde, School of Humanities and Informatics.
    Henriksson, Dan
    Department of Automatic Control, Lund University, Lund, Sweden.
    Test Case Generation for Flexible Real-Time Control Systems2005In: 10th IEEE international conference of Emerging Technologies and Factory Automation: ETFA 2005 / [ed] L. LoBello; T. Sauter, IEEE conference proceedings, 2005, p. 723-730Conference 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.

  • 4. Nilsson, Robert
    et al.
    Offutt, Jeff
    Department of Information and Software Engineering, George Mason University, Fairfax, United States.
    Andler, Sten F.
    University of Skövde, School of Humanities and Informatics.
    Mutation-Based Testing Criteria for Timeliness2004In: Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004, IEEE conference proceedings, 2004, p. 306-311Conference paper (Other academic)
  • 5.
    Nilsson, Robert
    et al.
    University of Skövde, School of Humanities and Informatics.
    Offutt, Jeff
    Information and Software Engineering, George Mason University, Fairfax Virginia, USA.
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics.
    Test case generation for mutation-based testing of timeliness2006In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 164, no 4, p. 97-114Article in journal (Refereed)
    Abstract [en]

    Temporal correctness is crucial for real-time systems. Few methods exist to test temporal correctness and most methods used in practice are ad-hoc. A problem with testing real-time applications is the response-time dependency on the execution order of concurrent tasks. Execution order in turn depends on execution environment properties such as scheduling protocols, use of mutual exclusive resources as well as the point in time when stimuli is injected. Model based mutation testing has previously been proposed to determine the execution orders that need to be verified to increase confidence in timeliness. An effective way to automatically generate such test cases for dynamic real-time systems is still needed. This paper presents a method using heuristic-driven simulation to generate test cases.

    Download full text (pdf)
    fulltext
  • 6.
    Nilsson, Robert
    et al.
    University of Skövde, School of Humanities and Informatics.
    Offutt, Jeff
    University of Skövde, School of Humanities and Informatics.
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics.
    Test case generation for testing of timeliness: Extended version2005Report (Other academic)
    Abstract [en]

    Temporal correctness is crucial for real-time systems. There are few methods to test temporal correctness and most methods used in practice are ad-hoc. A problem with testing real-time applications is the response-time dependency on the execution order of concurrent tasks. Execution orders in turn depends on scheduling protocols, task execution times, and use of mutual exclusive resources apart from the points in time when stimuli is injected. Model-based mutation testing has previously been proposed to determine the execution orders that need to be tested to increase confidence in timeliness. An effective way to automatically generate such test cases for dynamic real-time systems is still needed. This paper presents a method using heuristic-driven simulation for generation of test cases.

    Download full text (pdf)
    FULLTEXT01
1 - 6 of 6
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • apa-cv
  • 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