Please use this identifier to cite or link to this item:
Title: Static and dynamic analysis for robustness under slowdown
Authors: Bondin, Ingram
Pace, Gordon J.
Keywords: Actor (Computer program language)
Asynchronous circuits
Component software
Issue Date: 2013
Publisher: IARIA XPS Press
Citation: Bondin, I., & Pace, G. (2013). Static and dynamic analysis for robustness under slowdown.The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Valencia. 14-22.
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.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Static and Dynamic Analysis for Robustness under Slowdown (1).pdf298.21 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.