2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA) (2014)
Hong Kong, China
Aug. 25, 2014 to Aug. 26, 2014
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CPSNA.2014.19
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.
Sensors, Mathematical model, Vehicles, Control systems, Computational modeling, Uncertainty, Vehicle dynamics,resilient control systems, Assurance case, cyber-physical systems
James Weimer, Oleg Sokolsky, Nicola Bezzo, Insup Lee, "Towards Assurance Cases for Resilient Control Systems", 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA), vol. 00, no. , pp. 1-6, 2014, doi:10.1109/CPSNA.2014.19