Departmental Papers (CIS)
Date of this Version
8-2014
Document Type
Conference Paper
Recommended Citation
James Weimer, Oleg Sokolsky, Nicola Bezzo, and Insup Lee, "Towards Assurance Cases for Resilient Control Systems", Proceedings of the 2nd International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2014) , 1-6. August 2014. http://dx.doi.org/10.1109/CPSNA.2014.19
Abstract
The paper studies the problem of constructing assurance cases for embedded control systems developed using a model-based approach. Assurance cases aim to provide a convincing argument that the system delivers certain guarantees, based on the evidence obtained during the design and evaluation of the system. We suggest an argument strategy centered around properties of models used in the development and properties of tools that manipulate these models. The paper presents the case study of a resilient speed estimator for an autonomous ground vehicle and takes the reader through a detailed assurance case arguing that the estimator computes speed estimates with bounded error.
Subject Area
CPS Embedded Control
Publication Source
Proceedings of the 2nd International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2014)
Start Page
1
Last Page
6
DOI
10.1109/CPSNA.2014.19
Copyright/Permission Statement
© 2014 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Keywords
assurance case, cyber-physical systems, resilient control systems
Date Posted: 12 January 2015
This document has been peer reviewed.
Comments
Proceedings of the 2nd International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2014), Hong Kong, China August 25-26, 2014 (Invited paper).