{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:06:31Z","timestamp":1742990791511,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031753862"},{"type":"electronic","value":"9783031753879"}],"license":[{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-75387-9_19","type":"book-chapter","created":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T08:02:14Z","timestamp":1729843334000},"page":"311-328","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Formal Design of\u00a0FDIR Components with\u00a0AI"],"prefix":"10.1007","author":[{"given":"Marco","family":"Bozzano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Cimatti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Cristoforetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Griggio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piergiorgio","family":"Svaizer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Tonetta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,26]]},"reference":[{"unstructured":"ADE: autonomous decision making in very long traverses. https:\/\/www.h2020-ade.eu","key":"19_CR1"},{"doi-asserted-by":"crossref","unstructured":"Ammons, G., Bod\u00edk, R., Larus, J.R.: Mining specifications. In: POPL, pp. 4\u201316. ACM (2002)","key":"19_CR2","DOI":"10.1145\/565816.503275"},{"doi-asserted-by":"crossref","unstructured":"Amruthnath, N., Gupta, T.: A research study on unsupervised machine learning algorithms for early fault detection in predictive maintenance. In: 2018 5th International Conference on Industrial Engineering and Applications (ICIEA), pp. 355\u2013361. IEEE (2018)","key":"19_CR3","DOI":"10.1109\/IEA.2018.8387124"},{"unstructured":"Angluin, D., Boker, U., Fisman, D.: Families of DFAs as acceptors of omega-regular languages. In: MFCS. LIPIcs, vol.\u00a058, pp. 11:1\u201311:14. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2016)","key":"19_CR4"},{"doi-asserted-by":"crossref","unstructured":"Bensalem, S., et al.: Continuous engineering for trustworthy learning-enabled autonomous systems. In: Bridging the Gap Between AI and Reality, First International Conference, AISoLA, pp. 256\u2013278. No. 14380 in LNCS, Springer (2023)","key":"19_CR5","DOI":"10.1007\/978-3-031-46002-9_15"},{"doi-asserted-by":"publisher","unstructured":"Bittner, B., et al.: An integrated process for FDIR design in aerospace. In: Proceedings of the IMBSA 2014, LNCS, vol.\u00a08822, pp. 82\u201395 (2014). https:\/\/doi.org\/10.1007\/978-3-319-12214-4_7","key":"19_CR6","DOI":"10.1007\/978-3-319-12214-4_7"},{"doi-asserted-by":"crossref","unstructured":"Bombardelli, A., et al.: COMPASTA: integrating COMPASS functionality into TASTE. Ada User J. 44(1), 54\u201357 (2023)","key":"19_CR7","DOI":"10.1145\/3631483.3631489"},{"issue":"2","key":"19_CR8","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s12567-023-00519-7","volume":"16","author":"A Bombardelli","year":"2024","unstructured":"Bombardelli, A., et al.: Compasta = compass + taste. CEAS Space J. 16(2), 169\u2013181 (2024)","journal-title":"CEAS Space J."},{"doi-asserted-by":"crossref","unstructured":"Bombardelli, A., et al.: COMPASTA: extending TASTE with formal design and verification functionality. In: Proceedings of the IMBSA 2022, LNCS, vol. 13525, pp. 21\u201327 (2022)","key":"19_CR9","DOI":"10.1007\/978-3-031-15842-1_2"},{"doi-asserted-by":"crossref","unstructured":"Bombardelli, A., et al.: COMPASTA: extending TASTE with formal design and verification functionality. In: Proceedings of the MBSE 2022, ESA-ESTEC (2022)","key":"19_CR10","DOI":"10.1007\/978-3-031-15842-1_2"},{"doi-asserted-by":"publisher","unstructured":"Bosello, M., Falcomer, C., Rossi, C., Pau, G.: To charge or to sell? EV pack useful life estimation via LSTMs, CNNs, and autoencoders. Energies 16(6) (2023). https:\/\/doi.org\/10.3390\/en16062837, https:\/\/www.mdpi.com\/1996-1073\/16\/6\/2837","key":"19_CR11","DOI":"10.3390\/en16062837"},{"doi-asserted-by":"crossref","unstructured":"Bozzano, M., Bruintjes, H., Cimatti, A., Katoen, J.P., Noll, T., Tonetta, S.: COMPASS 3.0. In: Proceedings of the TACAS 2019, pp. 379\u2013385 (2019)","key":"19_CR12","DOI":"10.1007\/978-3-030-17462-0_25"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.ress.2014.07.003","volume":"132","author":"M Bozzano","year":"2014","unstructured":"Bozzano, M., et al.: Spacecraft early design validation using formal methods. Reliab. Eng. Syst. Saf. 132, 20\u201335 (2014)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"5","key":"19_CR14","doi-asserted-by":"publisher","first-page":"754","DOI":"10.1093\/comjnl\/bxq024","volume":"54","author":"M Bozzano","year":"2011","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended AADL models. Comput. J. 54(5), 754\u2013775 (2011)","journal-title":"Comput. J."},{"doi-asserted-by":"crossref","unstructured":"Choi, K., Yi, J., Park, C., Yoon, S.: Deep learning for anomaly detection in time-series data: review, analysis, and guidelines. IEEE Access 9, 120043\u2013120065 (2021)","key":"19_CR15","DOI":"10.1109\/ACCESS.2021.3107975"},{"unstructured":"COMPASTA wiki page. https:\/\/taste.tuxfamily.org\/wiki\/index.php?title=COMPASTA:_Integration_of_the_TASTE_and_COMPASS_toolsets","key":"19_CR16"},{"unstructured":"Darban, Z.Z., Webb, G.I., Pan, S., Aggarwal, C.C., Salehi, M.: Deep learning for time series anomaly detection: a survey (2024). https:\/\/arxiv.org\/abs\/2211.05244","key":"19_CR17"},{"doi-asserted-by":"crossref","unstructured":"Dreossi, T., et al.: VERIFAI: a toolkit for the formal design and analysis of artificial intelligence-based systems. In: CAV (1), Lecture Notes in Computer Science, vol. 11561, pp. 432\u2013442. Springer (2019)","key":"19_CR18","DOI":"10.1007\/978-3-030-25540-4_25"},{"unstructured":"European Space Agency: Statement of Work: FDIR Development and Verification & Validation Process (2011), Appendix to ESTEC ITT AO\/1-6992\/11\/NL\/JK","key":"19_CR19"},{"issue":"12","key":"19_CR20","doi-asserted-by":"publisher","first-page":"14246","DOI":"10.1007\/s10489-022-03344-3","volume":"52","author":"M Fernandes","year":"2022","unstructured":"Fernandes, M., Corchado, J.M., Marreiros, G.: Machine learning techniques applied to mechanical fault diagnosis and fault prognosis in the context of real industrial manufacturing use-cases: a systematic literature review. Appl. Intell. 52(12), 14246\u201314280 (2022)","journal-title":"Appl. Intell."},{"doi-asserted-by":"crossref","unstructured":"Ferrante, N., Giuffrida, G., Nannipieri, P., Bechini, A., Fanucci, L.: Fault detection exploiting artificial intelligence in satellite systems. In: International Conference on Applied Intelligence and Informatics, pp. 151\u2013166. Springer (2022)","key":"19_CR21","DOI":"10.1007\/978-3-031-25755-1_10"},{"unstructured":"Fratini, S., et al.: Verification and validation of autonomous systems with embedded AI: The VIVAS approach. In: ASTRA (2023). https:\/\/az659834.vo.msecnd.net\/eventsairwesteuprod\/production-atpi-public\/070740b67e5b4a32a9be94228c9ac40d","key":"19_CR22"},{"issue":"12","key":"19_CR23","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MAES.2020.3008468","volume":"35","author":"G Furano","year":"2020","unstructured":"Furano, G., et al.: Towards the use of artificial intelligence on the edge in space systems: challenges and opportunities. IEEE Aerosp. Electron. Syst. Mag. 35(12), 44\u201356 (2020)","journal-title":"IEEE Aerosp. Electron. Syst. Mag."},{"doi-asserted-by":"crossref","unstructured":"Goyal, S., Griggio, A., Kimblad, J., Tonetta, S.: Automatic generation of scenarios for system-level simulation-based verification of autonomous driving systems. In: FMAS@iFM, EPTCS, vol.\u00a0395, pp. 113\u2013129 (2023)","key":"19_CR24","DOI":"10.4204\/EPTCS.395.8"},{"unstructured":"Hugues, J., Pautet, L., Zalila, B., Dissaux, P., Perrotin, M.: Using AADL to build critical real-time systems: experiments in the IST-ASSERT project. In: Proceedings of the ERTS (2008)","key":"19_CR25"},{"unstructured":"International Telecommunication Union: ITU-T Z.100. Specification and Description Language - Overview of SDL-2010 (2021)","key":"19_CR26"},{"doi-asserted-by":"crossref","unstructured":"Makke, N., Chawla, S.: Interpretable scientific discovery with symbolic regression: a review. Artif. Intell. Rev. 57(2) (2024)","key":"19_CR27","DOI":"10.1007\/s10462-023-10622-0"},{"doi-asserted-by":"crossref","unstructured":"Menzel, T., Bagschik, G., Maurer, M.: Scenarios for development, test and validation of automated vehicles. In: Intelligent Vehicles Symposium, pp. 1821\u20131827. IEEE (2018)","key":"19_CR28","DOI":"10.1109\/IVS.2018.8500406"},{"doi-asserted-by":"crossref","unstructured":"Mohd\u00a0Amiruddin, A.A.A., Zabiri, H., Taqvi, S.A.A., Tufa, L.D.: Neural network applications in fault diagnosis and detection: an overview of implementations in engineering-related systems. Neural Comput. Appl. 32(2), 447\u2013472 (2020)","key":"19_CR29","DOI":"10.1007\/s00521-018-3911-5"},{"unstructured":"MOSAR: Modular Spacecraft Assembly and Reconfiguration. https:\/\/www.h2020-mosar.eu","key":"19_CR30"},{"issue":"2","key":"19_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3439950","volume":"54","author":"G Pang","year":"2022","unstructured":"Pang, G., Shen, C., Cao, L., Van Den Hengel, A.: Deep learning for anomaly detection: a review. ACM Comput. Surv. (CSUR) 54(2), 1\u201338 (2022)","journal-title":"ACM Comput. Surv. (CSUR)"},{"doi-asserted-by":"crossref","unstructured":"Pietron, M., Zurek, D., Faber, K., Corizzo, R.: Towards efficient deep autoencoders for multivariate time series anomaly detection (2024). https:\/\/arxiv.org\/abs\/2403.02429","key":"19_CR32","DOI":"10.1007\/978-3-031-63759-9_46"},{"doi-asserted-by":"crossref","unstructured":"Cavada, R., Cimatti, A., Crema, L., Roccabruna, M., Tonetta, S.: Model-based design of an energy-system embedded controller using taste. In: Proceedings of the FM, LNCS, vol.\u00a09995, pp. 741\u2013747 (2016)","key":"19_CR33","DOI":"10.1007\/978-3-319-48989-6_45"},{"key":"19_CR34","doi-asserted-by":"publisher","first-page":"87456","DOI":"10.1109\/ACCESS.2020.2993730","volume":"8","author":"S Riedmaier","year":"2020","unstructured":"Riedmaier, S., Ponn, T., Ludwig, D., Schick, B., Diermeyer, F.: Survey on scenario-based safety assessment of automated vehicles. IEEE Access 8, 87456\u201387477 (2020)","journal-title":"IEEE Access"},{"unstructured":"SAE: Architecture Analysis & Design Language (AADL) (2022), SAE document AS5506D","key":"19_CR35"},{"unstructured":"TASTE web page. https:\/\/taste.tools\/","key":"19_CR36"},{"doi-asserted-by":"crossref","unstructured":"Tuncali, C.E., Fainekos, G., Ito, H., Kapinski, J.: Sim-atav: simulation-based adversarial testing framework for autonomous vehicles. In: HSCC, pp. 283\u2013284. ACM (2018)","key":"19_CR37","DOI":"10.1145\/3178126.3187004"},{"doi-asserted-by":"publisher","unstructured":"Zhang, C., Bengio, S., Hardt, M., Recht, B., Vinyals, O.: Understanding deep learning (still) requires rethinking generalization. Commun. ACM 64(3), 107\u2013115 (2021). https:\/\/doi.org\/10.1145\/3446776","key":"19_CR38","DOI":"10.1145\/3446776"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75387-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T08:05:39Z","timestamp":1729843539000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75387-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,26]]},"ISBN":["9783031753862","9783031753879"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75387-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,26]]},"assertion":[{"value":"26 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}