Home // COMPUTATION TOOLS 2013, The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking // View article

Static and Dynamic Analysis for Robustness under Slowdown

Authors:
Ingram Bondin
Gordon Pace

Keywords: Synchronous Languages; Lustre; Slowdown

Abstract:
Robustness of embedded systems to potential changes in their environment, which may result in the inputs being affected, is crucial for reliable behaviour. One typical possible change is that the system’s inputs are slowed down, altering its temporal behaviour. Algorithmic analysis of systems to be able to deduce their robustness under such environmental interference is desirable. In this paper, we present a framework for the analysis of synchronous systems to analyse their behaviour when the inputs slow down through stuttering. We identify different types of slowdown robustness constraints and present static and dynamic analysis techniques for determining whether systems written in Lustre satisfy these robustness properties.

Pages: 14 to 22

Copyright: Copyright (c) IARIA, 2013

Publication date: May 27, 2013

Published in: conference

ISSN: 2308-4170

ISBN: 978-1-61208-277-6

Location: Valencia, Spain

Dates: from May 27, 2013 to June 1, 2013