Author:
Bensalem Saddek,Katsaros Panagiotis,Ničković Dejan,Liao Brian Hsuan-Cheng,Nolasco Ricardo Ruiz,Ahmed Mohamed Abd El Salam,Beyene Tewodros A.,Cano Filip,Delacourt Antoine,Esen Hasan,Forrai Alexandru,He Weicheng,Huang Xiaowei,Kekatos Nikolaos,Könighofer Bettina,Paulitsch Michael,Peled Doron,Ponchant Matthieu,Sorokin Lev,Tong Son,Wu Changshun
Abstract
AbstractLearning-enabled autonomous systems (LEAS) use machine learning (ML) components for essential functions of autonomous operation, such as perception and control. LEAS are often safety-critical. The development and integration of trustworthy ML components present new challenges that extend beyond the boundaries of system’s design to the system’s operation in its real environment. This paper introduces the methodology and tools developed within the frame of the FOCETA European project towards the continuous engineering of trustworthy LEAS. Continuous engineering includes iterations between two alternating phases, namely: (i) design and virtual testing, and (ii) deployment and operation. Phase (i) encompasses the design of trustworthy ML components and the system’s validation with respect to formal specifications of its requirements via modeling and simulation. An integral part of both the simulation-based testing and the operation of LEAS is the monitoring and enforcement of safety, security and performance properties and the acquisition of information for the system’s operation in its environment. Finally, we show how the FOCETA approach has been applied to realistic continuous engineering workflowsfor three different LEAS from automotive and medical application domains.
Publisher
Springer Nature Switzerland
Reference46 articles.
1. Aguilar, E.A., Berducci, L., Brunnbauer, A., Grosu, R., Nickovic, D.: From STL rulebooks to rewards. CoRR, abs/ arXiv: 2110.02792 (2021)
2. Bartocci, E., Mateis, C., Nesterini, E., Nickovic, D.: Survey on mining signal temporal logic specifications. Inform. Comput., 104957 (2022)
3. Bartocci, E., Mateis, C., Nesterini, E., Ničković, D.: Mining hyperproperties using temporal logics. ACM Trans. Embed. Comput. Syst. (2023)
4. Lecture Notes in Computer Science;A Basu,2012
5. Bensalem, S., et al.: Formal specification for learning-enabled autonomous systems. In: Software Verification and Formal Methods for ML-Enabled Autonomous Systems, pp. 131–143. Springer International Publishing, Cham (2022). https://doi.org/10.1007/978-3-031-21222-2_8