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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Since lack of space prevents us to insert all the relevant references in the bibliography of this short paper, see https://dtai.cs.kuleuven.be/CHR/biblio.shtml for a more complete one.
References
Boulanger, J.: Safety Management for Software-Based Equipment. Wiley, Hoboken (2013)
Lalanda, P., McCann, J., Diaconescu, A.: Autonomic Computing: Principles, Design and Implementation. Springer, London (2013). https://doi.org/10.1007/978-1-4471-5007-7
Frühwirth, T.: Constraint Handling Rules. Cambridge University Press, Cambridge (2009)
Riguzzi, F.: Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning, Rivers Publishers 2018
Sneyers, J., Wannes, M., Vennekens, J.: CHRiSM: chance rules induce statistical models. In: Proceedings of the 6th International Workshop on Constraint Handling Rules, Pasadena, CA, USA (2009)
Sneyers, J., De Schreye, D., Frühwirth, T.: Probabilistic legal reasoning in CHRiSM. Theor. Pract. Log. Prog. 13(4–5), 769–781 (2013)
Sneyers, J., Meert, W., Vennekens, J., Kameya, Y., Sato, T.: CHR(PRISM)-based probabilistic logic learning. Theor. Pract. Log. Prog. 10, 433–447 (2010)
Muñoz, J., Tamura, G., Raicu, I., Mazo, R., Salinesi, C.: REFAS: a PLE approach for simulation of self-adaptive systems requirements. In: Proceedings of the 19th International Software Product Line Conference (SPLC 2015), Nashville, TN, USA (2015)
Almeida da Silva, M., Mougenot, A., Blanc, X., Bendraou, R.: Towards automated inconsistency handling in design models. In: 22nd International Conference on Advanced Information Systems Engineering, Hammamet, Tunisia (2010)
Manhave, R., Dumancic, S., Kimmig, A., Demeester, T., De Raedt, L.: DeepProbLog: deep neural probabilistic programming. In: Proceedings of the 32nd Conference on Neural Information Processing (NeurIPS), Montreal, Canada (2018)
Triossi, A., Orlando, S., Raffaetá, A., Frühwirth, T.: Compiling CHR to parallel hardware. In: Proceedings of the 14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Leuven, Belgium (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Robin, J., Mazo, R., Madeira, H., Barbosa, R., Diaz, D., Abreu, S. (2019). A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. In: Romanovsky, A., Troubitsyna, E., Gashi, I., Schoitsch, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2019. Lecture Notes in Computer Science(), vol 11699. Springer, Cham. https://doi.org/10.1007/978-3-030-26250-1_32
Download citation
DOI: https://doi.org/10.1007/978-3-030-26250-1_32
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-26249-5
Online ISBN: 978-3-030-26250-1
eBook Packages: Computer ScienceComputer Science (R0)