2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS)

10-13 April 2018

Filter Results

Displaying Results 1 - 19 of 19
  • [Title page i]

    Publication Year: 2018, Page(s): 1
    Request permission for reuse | PDF file iconPDF (28 KB)
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2018, Page(s): 3
    Request permission for reuse | PDF file iconPDF (67 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2018, Page(s): 4
    Request permission for reuse | PDF file iconPDF (128 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2018, Page(s):5 - 6
    Request permission for reuse | PDF file iconPDF (86 KB)
    Freely Available from IEEE
  • MT-CPS 2018 Workshop Overview

    Publication Year: 2018, Page(s): 7
    Request permission for reuse | PDF file iconPDF (90 KB)
    Freely Available from IEEE
  • MT-CPS Workshop Organization

    Publication Year: 2018, Page(s): 8
    Request permission for reuse | PDF file iconPDF (119 KB)
    Freely Available from IEEE
  • Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias

    Publication Year: 2018, Page(s):1 - 2
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (127 KB) | HTML iconHTML

    Medical devices offer an ideal test-bed for exploring the applications of formal monitoring methods in system design due to their safety-critical nature that demands predictable operation. In this abstract, we demonstrate the usage of Quantitative Regular Expressions (QREs) for programming Arrhythmia Monitoring Algorithms (AMAs), which are algorithms that continuously monitor the heart rhythm and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Time-Staging Enhancement of Hybrid System Falsification

    Publication Year: 2018, Page(s):3 - 4
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (130 KB) | HTML iconHTML

    Optimization-based falsification employs stochastic optimization algorithms to search for error input of hybrid systems. We propose a strategy that constructs such an input incrementally in several time stages. Experiments show that this stragety can significantly improve success rate and performance of falsification on certain classes of systems and properties. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Falsification of Cyber-Physical Systems with Reinforcement Learning

    Publication Year: 2018, Page(s):5 - 6
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (167 KB) | HTML iconHTML

    We propose a novel framework for testing configurable cyber-physical systems over a given specification represented as metric temporal logic formula. Given a system model with configurable properties and a specification, our approach first learns to falsify the model by using reinforcement learning technique under a certain variety of configurations. After the training phase, it is expected that t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification

    Publication Year: 2018, Page(s): 7
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (114 KB)

    Temporal logic falsification is an approach to model-based testing, where test cases are generated from a temporal logic specification and are run on a system-under-test to determine whether the system-under-test falsifies the temporal logic specification. In this paper, we report on two extensions on an existing temporal logic falsification approach, implemented in the S-Taliro tool. The two exte... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying Valued Booleans in Testing of Cyber-Physical Systems

    Publication Year: 2018, Page(s):8 - 9
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (312 KB) | HTML iconHTML

    In software testing, as in cyber-physical systems testing, test suites are traditionally developed by hand. In this work we consider one framework for putting the computer in charge of the testing instead: constrained random test case generation as supported by the tool QuickCheck. This is implemented by the use of Valued Booleans (VBools). VBools naturally allow for an extension of QuickCheck int... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards Context-Aware Cyber-Physical Systems

    Publication Year: 2018, Page(s):10 - 11
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (224 KB) | HTML iconHTML

    In this paper, we provide a brief discussion on using context as a new class of information that can be used to aid estimation/detection approaches to ensuring the safety and security of modern CPS. These systems typically have access to multiple information sources that cannot be directly related to the system state (e.g., mapping oxygen saturation measurements to the overall blood oxygen content... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DejaVu: A Monitoring Tool for First-Order Temporal Logic

    Publication Year: 2018, Page(s):12 - 13
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (101 KB) | HTML iconHTML

    In this paper, we describe our monitoring tool, DejaVu, which implements our algorithm for monitoring first-order past linear-time temporal logic over a sequence of events that carry data. We propose the use of Binary Decision Diagrams (BDDs) for representing and manipulating sets of observed data since (1) BDDs provide highly compact representations, (2) operations overBDDs, in particular complem... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration

    Publication Year: 2018, Page(s):14 - 15
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (223 KB) | HTML iconHTML

    We present mmonaa, a monitoring tool over a real-time property specified by either a timed automaton or a timed regular expression. It implements a timed pattern matching algorithm that combines 1) features suited for online monitoring, and 2) acceleration by automata-based skipping. Our experiments demonstrate \monaa's performance advantage, especially in online usage. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Resilient Control and Safety for Cyber-Physical Systems

    Publication Year: 2018, Page(s):16 - 17
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (248 KB) | HTML iconHTML

    Many Cyber-Physical Systems (CPSs) are comprising a multitude of computing entities that can collectively exhibit an emergent behavior. A compelling example of such systems is the drone swarm, which are beginning to see increasing application in battlefield surveillance and reconnaissance. The emergent behavior they exhibit is that of flight formation. A particularly interesting flight configurati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cyber-Physical Doping Tests

    Publication Year: 2018, Page(s):18 - 19
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (104 KB) | HTML iconHTML

    We are confronted with a growing number of cases where device manufacturers equip their products with embedded software that includes functionalities that are not in the owner's interest. Examples include customer lock-in strategies in inkjet printers and as a prominent case the diesel emissions scandal in the automotive industry. This software doping phenomenon is turning more widespread as softw... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Stimulus Generator for Circuit Model Generation

    Publication Year: 2018, Page(s):20 - 21
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (266 KB) | HTML iconHTML

    In this work we propose a measure for coverage of signal space and methods to generate a set of signals with a desired coverage. We then apply these results to stimulus generation for circuit validation. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Author Index

    Publication Year: 2018, Page(s): 23
    Request permission for reuse | PDF file iconPDF (49 KB)
    Freely Available from IEEE
  • [Publisher's information]

    Publication Year: 2018, Page(s): 24
    Request permission for reuse | PDF file iconPDF (182 KB)
    Freely Available from IEEE