[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-127306-en":3,"doc-seo-127306-105":30,"detail-sidebar-cat-0-en-105":92},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":20,"is_downloadable":20,"audit_status":20,"page_count":21,"language":22,"language_code":23,"site_id":24,"html_lang":23,"table_of_contents":25,"faqs":26,"seo_title":27,"seo_description":14,"update_tm":28,"read_time":29},127306,2336475104957,"Seraphina","https://ap-avatar.wpscdn.com/avatar/22000c4c6bd8a5076e1?x-image-process=image/resize,m_fixed,w_180,h_180&k=1786593998035447633",8,"Research & Report","AUTOMATIC SYSTEM REQUIREMENTS VERIFICATION - Automatic Requirements Verification for MBSE-Oriented Aircraft Design Process","The paper addresses requirement analysis as a critical early step in product development under Systems Engineering methodology, emphasizing robust requirements, correct allocation, and traceable fulfillment. It presents a new approach to write requirements in a form that supports easy integration into Model-Based Systems Engineering models. Using an aircraft landing gear as a test case, it describes physical models, requirement elicitation, allocation to functional models, and the verification process, enabling early verification to reduce risk and cost from later deviations.","POLITECNICO DI TORINO  \nRepository ISTITUZIONALE  \nComparative Analysis of Machine Learning Algorithms for Heat Exchangers Diagnosis in Electrified Aircraft  \nOriginal  \nComparative Analysis of Machine Learning Algorithms for Heat Exchangers Diagnosis in Electrified Aircraft / Migliore, D. F. ; D'Alessio, G. ; Caggese, S. ; De Martin, A. ; Acerra, F. ; Sorli, M. ; Fioriti, M.. - (2024) . (Intervento presentato al convegno 34th Congress of the International Council of the Aeronautical Sciences, ICAS 2024 tenutosi a Firenze (ITA) nel 9-13 September 2024) .  \nAvailability:  \nThis version is available at: 11583/2994930 since: 2024-12-02T14:18:01Z  \nPublisher:  \nInternational Council of the Aeronautical Sciences  \nPublished DOI:  \nTerms of use:  \nThis article is made available under terms and conditions as specified in the corresponding bibliographic description in the repository  \nPublisher copyright  \n(Article begins on next page)  \n04 October 2025  \nAUTOMATIC SYSTEM REQUIREMENTS VERIFICATION FOR THEMBSE-ORIENTED AIRCRAFT DESIGN PROCESS  \nAlberto Dagna 1 , Stefano Centomo2 , Eugenio Brusa 1 , Cristiana Delprete 1 & Rocco Gentile3  \n1 Department of Mechanical and Aerospace Engineering, Politecnico di Torino, Corso Duca degli Abruzzi 24, 10129, Torino, Italy  \n2 Leonardo LABS, Leonardo S.p.A. , Corso Castel􀀂dardo 22, 10138, Torino, Italy  \n3 Leonardo S.p.A. , Corso Francia 426, 10146, Torino, Italy  \nAbstract  \nThe requirement analysis, within the deployment of the Systems Engineering methodology, is one of the most important steps of the design process of a new product. It is paramount to guarantee robust requirements and to carefully check that each of them is allocated and ful􀀂lled. To reach that goal, the Model-Based Systems Engineering provides some formal methods for the elicitation and trace of requirements, and drives their veri􀀂cation and validation. However, textual requirements can be very complex objects to be integrated in that process, due to their typical abstraction and the lack of that interpretability, which is assured, for instance, into a logic dependent environment. This paper introduces a new approach to robustly write requirements and easily integrate them into the models commonly used to describe the system to be designed. To make clearer the rationale exposed, the case of an aircraft landing gear is exploited as a test. Thus, the physical models of that system are presented, followed by the requirements elicitation and their allocation to the system functional models. Finally, the veri􀀂cation process is discussed. The 􀀂nal goal of this activity is providing the designer with a useful and versatile work􀀃ow, enabling the requirements veri􀀂cation since the early steps of the design process, to avoid the risk and cost associated with an unforeseen deviation of product characteristics, in later stages of the design process.  \nKeywords: Model-Based Systems Engineering, Requirement Analysis, Requirement Management, Veri􀀂cation & Validation, Product Life Cycle Development  \n1. Introduction  \nThe product lifecycle development is key for the design activity. It includes several steps, being often composed by some tasks, which allow allocating completely the requirements to the product parts assembled, while complying with directives, standards, norms, and making the product suitable to becerti􀀂ed, according to the legislations constraints, for a given market [1] . To speed up such process, one of the most popular methodologies applied in several 􀀂elds of industry, as in aerospace engineering, is the Model-Based Systems Engineering (MBSE) [2, 3, 4] . It implements the methodology of Systems Engineering (SE), de􀀂ned by the INCOSE [5] as \"an interdisciplinary approach focusing on de􀀂ning customer needs [...] documenting requirements and then proceeding with design synthesis and system validation\". The Model-Based Systems Engineering applies concepts of SE by modelling the system, from both the functional and physical vi","cbCaibVLwJKWzGpm","https://ap.wps.com/l/cbCaibVLwJKWzGpm","pdf",4168352,1,17,"English","en",105,"# Introduction\n## Requirement analysis and MBSE background\n## Verification & validation in the design process\n# Proposed approach\n## Machine-interpretable requirements workflow\n# Test case: aircraft landing gear\n## Physical models and functional allocation\n# Requirements verification discussion\n## Early verification benefits and rationale","[{\"question\":\"Why is requirement analysis considered important in the design process?\",\"answer\":\"Requirement analysis ensures robust requirements and careful allocation and fulfilment, aligning with Systems Engineering practice so later design stages do not deviate from intended product characteristics.\"},{\"question\":\"What role does Model-Based Systems Engineering play in the paper?\",\"answer\":\"MBSE is used to support formal elicitation, trace, and integration of requirements into models, improving interoperability among teams and helping verification and validation activities.\"},{\"question\":\"How is the approach validated in the paper?\",\"answer\":\"The authors use an aircraft landing gear as a test case, presenting physical models, eliciting requirements, allocating them to system functional models, and then discussing the verification process.\"}]","AUTOMATIC SYSTEM REQUIREMENTS VERIFICATION - Automatic Requirements Verification for MBSE-Oriented Aircraft Design Process | PDF",1785938213,43,{"code":4,"msg":31,"data":32},"ok",{"site_id":24,"language":23,"slug":33,"title":13,"keywords":34,"description":14,"schema_data":35,"social_meta":87,"head_meta":89,"extra_data":91,"updated_unix":28},"automatic-system-requirements-verification-automatic-requirements-verification-for-mbse-oriented-aircraft-design-process","",{"@graph":36,"@context":86},[37,54,69],{"@type":38,"itemListElement":39},"BreadcrumbList",[40,44,48,51],{"item":41,"name":42,"@type":43,"position":20},"https://docshare.wps.com","Home","ListItem",{"item":45,"name":46,"@type":43,"position":47},"https://docshare.wps.com/document/","Document",2,{"item":49,"name":12,"@type":43,"position":50},"https://docshare.wps.com/document/research-report/",3,{"item":52,"name":13,"@type":43,"position":53},"https://docshare.wps.com/document/automatic-system-requirements-verification-automatic-requirements-verification-for-mbse-oriented-aircraft-design-process/127306/",4,{"url":52,"name":13,"@type":55,"author":56,"headline":13,"publisher":58,"fileFormat":61,"inLanguage":23,"description":14,"dateModified":62,"datePublished":63,"encodingFormat":61,"isAccessibleForFree":64,"interactionStatistic":65},"DigitalDocument",{"name":9,"@type":57},"Person",{"url":41,"name":59,"@type":60},"DocShare","Organization","application/pdf","2026-08-23","2026-08-05",true,{"@type":66,"interactionType":67,"userInteractionCount":20},"InteractionCounter",{"@type":68},"ViewAction",{"@type":70,"mainEntity":71},"FAQPage",[72,78,82],{"name":73,"@type":74,"acceptedAnswer":75},"Why is requirement analysis considered important in the design process?","Question",{"text":76,"@type":77},"Requirement analysis ensures robust requirements and careful allocation and fulfilment, aligning with Systems Engineering practice so later design stages do not deviate from intended product characteristics.","Answer",{"name":79,"@type":74,"acceptedAnswer":80},"What role does Model-Based Systems Engineering play in the paper?",{"text":81,"@type":77},"MBSE is used to support formal elicitation, trace, and integration of requirements into models, improving interoperability among teams and helping verification and validation activities.",{"name":83,"@type":74,"acceptedAnswer":84},"How is the approach validated in the paper?",{"text":85,"@type":77},"The authors use an aircraft landing gear as a test case, presenting physical models, eliciting requirements, allocating them to system functional models, and then discussing the verification process.","https://schema.org",{"og:url":52,"og:type":88,"og:title":13,"og:site_name":59,"og:description":14},"article",{"robots":90,"canonical":52},"index,follow",{"doc_id":7,"site_id":24},{"code":4,"msg":5,"data":93},[94,98,102,106,111,116,121,124,129,132,136],{"id":20,"doc_module":4,"doc_module_name":46,"category_name":95,"show_sort_weight":96,"slug":97},"Story & Novel",90,"story-novel",{"id":47,"doc_module":4,"doc_module_name":46,"category_name":99,"show_sort_weight":100,"slug":101},"Literature",80,"literature",{"id":53,"doc_module":4,"doc_module_name":46,"category_name":103,"show_sort_weight":104,"slug":105},"Exam",70,"exam",{"id":107,"doc_module":4,"doc_module_name":46,"category_name":108,"show_sort_weight":109,"slug":110},5,"Comic",60,"comic",{"id":112,"doc_module":4,"doc_module_name":46,"category_name":113,"show_sort_weight":114,"slug":115},6,"Technology",50,"technology",{"id":117,"doc_module":4,"doc_module_name":46,"category_name":118,"show_sort_weight":119,"slug":120},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":46,"category_name":12,"show_sort_weight":122,"slug":123},30,"research-report",{"id":125,"doc_module":4,"doc_module_name":46,"category_name":126,"show_sort_weight":127,"slug":128},9,"Religion & Spirituality",20,"religion-spirituality",{"id":127,"doc_module":4,"doc_module_name":46,"category_name":130,"show_sort_weight":127,"slug":131},"World Cup","world-cup",{"id":133,"doc_module":4,"doc_module_name":46,"category_name":134,"show_sort_weight":133,"slug":135},10,"Lifestyle","lifestyle",{"id":137,"doc_module":4,"doc_module_name":46,"category_name":138,"show_sort_weight":107,"slug":139},19,"General","general"]