{"id":"https://openalex.org/W7159557410","doi":null,"title":"Enhancing DO-178C Compliance in Safety-Critical Software: Integrating Formal Methods, Controlled Natural Language, and AI-Driven Automation","display_name":"Enhancing DO-178C Compliance in Safety-Critical Software: Integrating Formal Methods, Controlled Natural Language, and AI-Driven Automation","publication_year":2025,"publication_date":"2025-02-01","ids":{"openalex":"https://openalex.org/W7159557410"},"language":"en","primary_location":{"id":"pmh:oai:publications.polymtl.ca:63404","doi":null,"is_oa":true,"landing_page_url":"https://publications.polymtl.ca/63404/","pdf_url":"https://publications.polymtl.ca/63404/1/2025_RimZrelli.pdf","source":{"id":"https://openalex.org/S4306401013","display_name":"PolyPublie (\u00c9cole Polytechnique de Montr\u00e9al)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I45683168","host_organization_name":"Polytechnique Montr\u00e9al","host_organization_lineage":["https://openalex.org/I45683168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Zrelli, R. (2025). Enhancing DO-178C Compliance in Safety-Critical Software: Integrating Formal Methods, Controlled Natural Language, and AI-Driven Automation [Ph.D. thesis, Polytechnique Montr\u00e9al].","raw_type":"http://purl.org/coar/resource_type/c_db06"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://publications.polymtl.ca/63404/1/2025_RimZrelli.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092196824","display_name":"Rim Zrelli","orcid":"https://orcid.org/0009-0006-9607-7660","observed_orcids":["https://orcid.org/0009-0006-9607-7660"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zrelli, Rim","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5092196824"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.004100000020116568,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/safety-critical-software","display_name":"safety-critical software","score":0.9020000100135803},{"id":"https://openalex.org/keywords/unmanned-aerial-vehicles","display_name":"unmanned aerial vehicles","score":0.953000009059906},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.8619999885559082},{"id":"https://openalex.org/keywords/controlled-natural-language","display_name":"controlled natural language","score":0.8169999718666077},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"temporal logic","score":0.8420000076293945},{"id":"https://openalex.org/keywords/requirements-traceability","display_name":"requirements traceability","score":0.5860000252723694},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"verification and validation","score":0.6650000214576721},{"id":"https://openalex.org/keywords/software-certification","display_name":"software certification","score":0.6439999938011169},{"id":"https://openalex.org/keywords/natural-language-generation","display_name":"natural language generation","score":0.7009999752044678},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"natural language processing","score":0.32899999618530273}],"concepts":[{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.5260000228881836},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4864000082015991},{"id":"https://openalex.org/C2781460075","wikidata":"https://www.wikidata.org/wiki/Q1399332","display_name":"Compliance (psychology)","level":2,"score":0.44920000433921814},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4309000074863434},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.413100004196167},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3709999918937683},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.33090001344680786},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3158999979496002},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.3068000078201294},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.305400013923645},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.2985000014305115},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.26420000195503235},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.2597000002861023},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.2581999897956848},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.25450000166893005},{"id":"https://openalex.org/C108170787","wikidata":"https://www.wikidata.org/wiki/Q3951828","display_name":"Agency (philosophy)","level":2,"score":0.2524999976158142},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.25110000371932983}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:publications.polymtl.ca:63404","doi":null,"is_oa":true,"landing_page_url":"https://publications.polymtl.ca/63404/","pdf_url":"https://publications.polymtl.ca/63404/1/2025_RimZrelli.pdf","source":{"id":"https://openalex.org/S4306401013","display_name":"PolyPublie (\u00c9cole Polytechnique de Montr\u00e9al)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I45683168","host_organization_name":"Polytechnique Montr\u00e9al","host_organization_lineage":["https://openalex.org/I45683168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Zrelli, R. (2025). Enhancing DO-178C Compliance in Safety-Critical Software: Integrating Formal Methods, Controlled Natural Language, and AI-Driven Automation [Ph.D. thesis, Polytechnique Montr\u00e9al].","raw_type":"http://purl.org/coar/resource_type/c_db06"}],"best_oa_location":{"id":"pmh:oai:publications.polymtl.ca:63404","doi":null,"is_oa":true,"landing_page_url":"https://publications.polymtl.ca/63404/","pdf_url":"https://publications.polymtl.ca/63404/1/2025_RimZrelli.pdf","source":{"id":"https://openalex.org/S4306401013","display_name":"PolyPublie (\u00c9cole Polytechnique de Montr\u00e9al)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I45683168","host_organization_name":"Polytechnique Montr\u00e9al","host_organization_lineage":["https://openalex.org/I45683168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Zrelli, R. (2025). Enhancing DO-178C Compliance in Safety-Critical Software: Integrating Formal Methods, Controlled Natural Language, and AI-Driven Automation [Ph.D. thesis, Polytechnique Montr\u00e9al].","raw_type":"http://purl.org/coar/resource_type/c_db06"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5378999710083008,"id":"https://metadata.un.org/sdg/9"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7159557410.pdf","grobid_xml":"https://content.openalex.org/works/W7159557410.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W1593904304","https://openalex.org/W2266628809","https://openalex.org/W2965373594","https://openalex.org/W2978017171","https://openalex.org/W2996035354","https://openalex.org/W3030163527","https://openalex.org/W3212157102","https://openalex.org/W4310557740","https://openalex.org/W4384521943","https://openalex.org/W4387561528","https://openalex.org/W4389519952"],"related_works":["https://openalex.org/W4255719694","https://openalex.org/W2280640256","https://openalex.org/W2315752606","https://openalex.org/W1513642085","https://openalex.org/W7007944658","https://openalex.org/W4253370744","https://openalex.org/W203442965","https://openalex.org/W2533742044","https://openalex.org/W4245371587","https://openalex.org/W1971264188"],"abstract_inverted_index":{"La":[0,43,78],"d\u00e9pendance":[1],"croissante":[2],"envers":[3],"les":[4,87,178,214,257,291],"V\u00e9hicules":[5],"A\u00e9riens":[6],"Sans":[7],"Pilote":[8],"(UAV)":[9],"dans":[10,48,105,171,233,304,313],"des":[11,40,57,106,121,123,133,142,183,190,198,221,231,234,280,307,310],"secteurs":[12],"tels":[13],"que":[14],"la":[15,17,20,25,35,38,55,63,65,68,81,130,148,155,159,172,219,225,285,305],"d\u00e9fense,":[16],"logistique":[18],"et":[19,37,67,97,109,138,157,194,210,223,246,267,289,302],"surveillance":[21],"environnementale":[22],"a":[23],"intensifi\u00e9":[24],"n\u00e9cessit\u00e9":[26,149],"de":[27,30,75,101,129,135,139,150,185,216,249,273,293],"normes":[28],"strictes":[29],"certification":[31,56,306],"logicielle":[32],"pour":[33,54,86,153,177,212,227,255,278],"garantir":[34],"s\u00e9curit\u00e9":[36],"fiabilit\u00e9":[39],"op\u00e9rations":[41],"autonomes.":[42],"norme":[44,82],"DO-178C,":[45],"largement":[46],"utilis\u00e9e":[47],"l\u2019aviation,":[49],"fournit":[50],"un":[51,117,228,241,247,299],"cadre":[52,202,248],"rigoureux":[53],"logiciels":[58,179,316],"critiques,":[59],"mettant":[60],"l\u2019accent":[61],"sur":[62,252],"v\u00e9rification,":[64],"validation":[66],"tra\u00e7abilit\u00e9":[69,226],"tout":[70],"au":[71,174],"long":[72],"du":[73,192],"cycle":[74],"vie":[76],"logiciel.":[77],"conformit\u00e9":[79,114,173],"\u00e0":[80,164,182],"DO-178C":[83],"est":[84,205,276],"cruciale":[85],"UAV,":[88,308],"qui":[89,146],"fonctionnent":[90],"souvent":[91],"avec":[92,309],"une":[93,99,113,169,188,195,264],"supervision":[94],"humaine":[95],"limit\u00e9e":[96,141],"n\u00e9cessitent":[98],"prise":[100],"d\u00e9cision":[102],"autonome":[103],"fiable":[104],"conditions":[107],"diversifi\u00e9es":[108],"impr\u00e9visibles.":[110],"Cependant,":[111],"atteindre":[112],"totale":[115],"reste":[116],"d\u00e9fi":[118],"en":[119,125,167,260],"raison":[120],"ambigu\u00eft\u00e9s":[122,191],"sp\u00e9cifications":[124],"Langage":[126,242],"Naturel":[127,243],"(NL),":[128],"nature":[131],"fastidieuse":[132],"processus":[134,184],"v\u00e9rification":[136,156,186,208,265,294],"formelle,":[137],"l\u2019int\u00e9gration":[140],"outils":[143,199],"automatis\u00e9s,":[144],"ce":[145],"souligne":[147],"m\u00e9thodologies":[151],"innovantes":[152],"simplifier":[154],"am\u00e9liorer":[158,218],"conformit\u00e9.":[160],"Cette":[161],"recherche":[162],"s\u2019attaque":[163],"ces":[165],"d\u00e9fis":[166],"proposant":[168],"avanc\u00e9e":[170],"DO-":[175],"178C":[176],"UAV":[180,232],"gr\u00e2ce":[181],"am\u00e9lior\u00e9s,":[187],"r\u00e9duction":[189],"NL":[193,259],"int\u00e9gration":[196],"accrue":[197],"automatis\u00e9s.":[200],"Un":[201],"m\u00e9thodologique":[203,303],"complet":[204],"propos\u00e9,":[206],"combinant":[207],"formelle":[209],"automatisation":[211],"rationaliser":[213],"flux":[215],"travail,":[217],"pr\u00e9cision":[220],"exigences":[222,258],"renforcer":[224],"d\u00e9ploiement":[229],"s\u00fbr":[230],"environnements":[235],"complexes.":[236],"Les":[237],"contributions":[238],"cl\u00e9s":[239],"incluent":[240],"Contr\u00f4l\u00e9":[244],"(CNL)":[245],"traduction":[250,286],"bas\u00e9":[251],"l\u2019intelligence":[253],"artificielle":[254],"convertir":[256],"logique":[261],"temporelle,":[262],"permettant":[263],"robuste":[266],"\u00e9volutive.":[268],"De":[269],"plus,":[270],"le":[271],"jeu":[272],"donn\u00e9es":[274],"Natural2CTL":[275],"valid\u00e9":[277],"former":[279],"mod\u00e8les":[281],"d\u2019apprentissage":[282],"automatique,":[283],"facilitant":[284],"NL-CTL":[287],"automatis\u00e9e":[288],"r\u00e9duisant":[290],"efforts":[292],"manuels.":[295],"Ces":[296],"avanc\u00e9es":[297],"repr\u00e9sentent":[298],"progr\u00e8s":[300],"technologique":[301],"applications":[311],"potentielles":[312],"d\u2019autres":[314],"domaines":[315],"critiques.":[317]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-05-01T00:00:00"}