Please use this identifier to cite or link to this item:
|Static and dynamic analysis for robustness under slowdown
Pace, Gordon J.
|Actor (Computer program language)
|IARIA XPS Press
|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.
|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:
|Static and Dynamic Analysis for Robustness under Slowdown (1).pdf
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.