Visible to the public InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics

TitleInFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics
Publication TypeConference Paper
Year of Publication2020
AuthorsKang, E., Schobbens, P.
Conference Name2020 9th Mediterranean Conference on Embedded Computing (MECO)
Date Publishedjun
KeywordsCPS development processes, Cyber-physical systems, Damage Assessment, dynamic energy behaviors, electric batteries, energy constraints, energy prognostics, energy storage, energy uncertainty, formal analysis, formal analysis techniques, formal verification, InFoCPS PhD research project, PHM techniques, power aware computing, prognostics and health management, pubcrawl, resilience, Resiliency, trustworthy CPS
AbstractThis paper is related to dissemination and exploitation of the InFoCPS PhD research project: Failure of Cyber-Physical Systems (CPS) may cause extensive damage. Safety standards emphasize the use of formal analysis in CPS development processes. Performance degradation assessment and estimation of lifetime of energy storage (electric batteries) are vital in supporting maintenance decisions and guaranteeing CPS reliability. Existing formal analysis techniques mainly focus on specifying energy constraints in simplified manners and checking whether systems operate within given energy bounds. Leading to overlooked energy features that impede development of trustworthy CPS. Prognostics and health management (PHM) estimate energy uncertainty and predict remaining life of systems. We aim to utilize PHM techniques to rigorously model dynamic energy behaviors; resulting models are amenable to formal analysis. This project will increase the degree of maintenance of CPS while (non)-functional requirements are preserved correctly.
DOI10.1109/MECO49872.2020.9134341
Citation Keykang_infocps_2020