A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence

Abstract : We present a versatile architecture for AI-powered self-adaptive self-certifiable critical systems. It aims at supporting semi-automated low-cost re-certification for self-adaptive systems after each adaptation of their behavior to a persistent change in their operational environment throughout their lifecycle.
Document type :
Conference papers
Complete list of metadatas

https://hal-paris1.archives-ouvertes.fr/hal-02297049
Contributor : Daniel Diaz <>
Submitted on : Wednesday, September 25, 2019 - 4:48:49 PM
Last modification on : Friday, September 27, 2019 - 12:16:02 PM

Identifiers

  • HAL Id : hal-02297049, version 1

Collections

Citation

Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, et al.. A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. International Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland. ⟨hal-02297049⟩

Share

Metrics

Record views

42