InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Résumé

This 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.

langue originaleAnglais
titre2020 9th Mediterranean Conference on Embedded Computing, MECO 2020
EditeurInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronique)9781728169477
Les DOIs
Etat de la publicationPublié - juin 2020
Evénement9th Mediterranean Conference on Embedded Computing, MECO 2020 - Budva, Monténégro
Durée: 8 juin 202011 juin 2020

Série de publications

Nom2020 9th Mediterranean Conference on Embedded Computing, MECO 2020

Une conférence

Une conférence9th Mediterranean Conference on Embedded Computing, MECO 2020
PaysMonténégro
La villeBudva
période8/06/2011/06/20

Empreinte digitale Examiner les sujets de recherche de « InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation