{"id":"https://openalex.org/W3214219979","doi":"https://doi.org/10.1109/models50736.2021.00027","title":"MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems","display_name":"MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems","publication_year":2021,"publication_date":"2021-10-01","ids":{"openalex":"https://openalex.org/W3214219979","doi":"https://doi.org/10.1109/models50736.2021.00027","mag":"3214219979"},"language":"en","primary_location":{"id":"doi:10.1109/models50736.2021.00027","doi":"https://doi.org/10.1109/models50736.2021.00027","is_oa":false,"landing_page_url":"https://doi.org/10.1109/models50736.2021.00027","pdf_url":null,"source":{"id":"https://openalex.org/S7407088064","display_name":"ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016706538","display_name":"Michael Austin Langford","orcid":"https://orcid.org/0000-0002-0927-7976","observed_orcids":["https://orcid.org/0000-0002-0927-7976"]},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Austin Langford","raw_affiliation_strings":["Michigan State University,Department of Computer Science and Engineering,East Lansing,Michigan,USA","Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Michigan State University,Department of Computer Science and Engineering,East Lansing,Michigan,USA","institution_ids":["https://openalex.org/I87216513"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049458039","display_name":"Kenneth H. Chan","orcid":"https://orcid.org/0000-0001-5014-3411","observed_orcids":["https://orcid.org/0000-0001-5014-3411"]},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kenneth H. Chan","raw_affiliation_strings":["Michigan State University,Department of Computer Science and Engineering,East Lansing,Michigan,USA","Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Michigan State University,Department of Computer Science and Engineering,East Lansing,Michigan,USA","institution_ids":["https://openalex.org/I87216513"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058667375","display_name":"Jonathon Emil Fleck","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonathon Emil Fleck","raw_affiliation_strings":["Michigan State University,Department of Computer Science and Engineering,East Lansing,Michigan,USA","Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Michigan State University,Department of Computer Science and Engineering,East Lansing,Michigan,USA","institution_ids":["https://openalex.org/I87216513"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017795809","display_name":"Philip K. McKinley","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Philip K. McKinley","raw_affiliation_strings":["Michigan State University,Department of Computer Science and Engineering,East Lansing,Michigan,USA","Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Michigan State University,Department of Computer Science and Engineering,East Lansing,Michigan,USA","institution_ids":["https://openalex.org/I87216513"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047852703","display_name":"Betty H. C. Cheng","orcid":"https://orcid.org/0000-0001-9825-5359","observed_orcids":["https://orcid.org/0000-0001-9825-5359"]},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Betty H.C. Cheng","raw_affiliation_strings":["Michigan State University,Department of Computer Science and Engineering,East Lansing,Michigan,USA","Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Michigan State University,Department of Computer Science and Engineering,East Lansing,Michigan,USA","institution_ids":["https://openalex.org/I87216513"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA","institution_ids":["https://openalex.org/I87216513"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I87216513"],"apc_list":null,"apc_paid":null,"fwci":6.7554,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.97934697,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"182","last_page":"193"},"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.7710000276565552,"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.7710000276565552,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.21789999306201935,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.0008999999845400453,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/self-adaptation","display_name":"self-adaptation","score":0.9079999923706055},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.7239999771118164},{"id":"https://openalex.org/keywords/goal-models","display_name":"goal models","score":0.5770000219345093},{"id":"https://openalex.org/keywords/runtime-monitoring","display_name":"runtime monitoring","score":0.8040000200271606},{"id":"https://openalex.org/keywords/model-validation","display_name":"model validation","score":0.4099999964237213},{"id":"https://openalex.org/keywords/autonomous-systems","display_name":"autonomous systems","score":0.625},{"id":"https://openalex.org/keywords/self-assessment","display_name":"self-assessment","score":0.5019999742507935}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7721770405769348},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.7540638446807861},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.46936967968940735},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.4234585165977478},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.39099302887916565},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14552649855613708},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/models50736.2021.00027","doi":"https://doi.org/10.1109/models50736.2021.00027","is_oa":false,"landing_page_url":"https://doi.org/10.1109/models50736.2021.00027","pdf_url":null,"source":{"id":"https://openalex.org/S7407088064","display_name":"ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1398279541","display_name":"BEACON:  An NSF Center for the Study of Evolution in Action","funder_award_id":"0939454","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G646724200","display_name":null,"funder_award_id":"FA8750-16-2-0284, FA-8750-19-2-0002","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":92,"referenced_works":["https://openalex.org/W87901011","https://openalex.org/W94581224","https://openalex.org/W112403282","https://openalex.org/W1481659984","https://openalex.org/W1539705164","https://openalex.org/W1595504249","https://openalex.org/W1604588251","https://openalex.org/W1624143779","https://openalex.org/W1627578742","https://openalex.org/W1673923490","https://openalex.org/W1932198206","https://openalex.org/W1945616565","https://openalex.org/W1990911977","https://openalex.org/W2000707938","https://openalex.org/W2025735304","https://openalex.org/W2041713059","https://openalex.org/W2054921215","https://openalex.org/W2062183858","https://openalex.org/W2071616717","https://openalex.org/W2085832095","https://openalex.org/W2092306402","https://openalex.org/W2096910097","https://openalex.org/W2098895708","https://openalex.org/W2112178154","https://openalex.org/W2120484483","https://openalex.org/W2125614502","https://openalex.org/W2150510833","https://openalex.org/W2152864241","https://openalex.org/W2163605009","https://openalex.org/W2164693633","https://openalex.org/W2167340365","https://openalex.org/W2170505850","https://openalex.org/W2171982865","https://openalex.org/W2244340130","https://openalex.org/W2482265217","https://openalex.org/W2512264076","https://openalex.org/W2523338773","https://openalex.org/W2616028256","https://openalex.org/W2740475669","https://openalex.org/W2774185825","https://openalex.org/W2774616426","https://openalex.org/W2783963507","https://openalex.org/W2791639158","https://openalex.org/W2796576875","https://openalex.org/W2804337238","https://openalex.org/W2806240943","https://openalex.org/W2884426148","https://openalex.org/W2884985042","https://openalex.org/W2886168462","https://openalex.org/W2888307014","https://openalex.org/W2890097032","https://openalex.org/W2901136733","https://openalex.org/W2904170108","https://openalex.org/W2940630992","https://openalex.org/W2949346385","https://openalex.org/W2953746822","https://openalex.org/W2957905354","https://openalex.org/W2963207607","https://openalex.org/W2963327228","https://openalex.org/W2964153729","https://openalex.org/W2965189679","https://openalex.org/W2971161744","https://openalex.org/W2972006294","https://openalex.org/W2973080843","https://openalex.org/W2980221379","https://openalex.org/W2981731882","https://openalex.org/W2988916019","https://openalex.org/W3000005119","https://openalex.org/W3000280594","https://openalex.org/W3013955631","https://openalex.org/W3038935994","https://openalex.org/W3040318838","https://openalex.org/W3085364681","https://openalex.org/W3090755713","https://openalex.org/W3092864784","https://openalex.org/W3120991880","https://openalex.org/W3125205424","https://openalex.org/W3174938204","https://openalex.org/W3183048323","https://openalex.org/W4241887322","https://openalex.org/W4243335696","https://openalex.org/W4248191871","https://openalex.org/W4250666038","https://openalex.org/W4287083725","https://openalex.org/W4300124531","https://openalex.org/W4310348270","https://openalex.org/W6737309142","https://openalex.org/W6761719334","https://openalex.org/W6766511095","https://openalex.org/W6775438689","https://openalex.org/W6798726245","https://openalex.org/W6981873685"],"related_works":["https://openalex.org/W4327814460","https://openalex.org/W3174938204","https://openalex.org/W4389671730","https://openalex.org/W3217386315","https://openalex.org/W3207130739","https://openalex.org/W4416960314","https://openalex.org/W6907391535","https://openalex.org/W4309618441","https://openalex.org/W4392518040","https://openalex.org/W6906490014"],"abstract_inverted_index":{"Increasingly,":[0],"safety-critical":[1],"systems":[2],"include":[3],"artificial":[4],"intelligence":[5],"and":[6,40,53,100],"machine":[7],"learning":[8],"components":[9],"(i.e.,":[10],"Learning-Enabled":[11,74],"Components":[12],"(LECs)).":[13],"However,":[14],"when":[15,57],"behavior":[16,59,86],"is":[17,38],"learned":[18,58,85],"in":[19,134],"a":[20,66,73],"training":[21],"environment":[22],"that":[23,129],"fails":[24],"to":[25,35,55,69,77,98,107,116,125,137],"fully":[26],"capture":[27],"real-world":[28],"phenomena,":[29],"the":[30,84],"response":[31],"of":[32,72,87],"an":[33,96],"LEC":[34],"untrained":[36],"phenomena":[37],"uncertain,":[39],"therefore":[41],"cannot":[42,89],"be":[43,61,90,114],"assured":[44],"as":[45],"safe.":[46],"Automated":[47],"methods":[48],"are":[49,131],"needed":[50],"for":[51,79,82],"self-assessment":[52],"adaptation":[54],"decide":[56],"can":[60,113],"trusted.":[62,91],"This":[63],"work":[64],"introduces":[65],"model-driven":[67],"approach":[68],"manage":[70],"self-adaptation":[71],"System":[75],"(LES)":[76],"account":[78],"run-time":[80],"contexts":[81,135],"which":[83],"LECs":[88,112,130],"The":[92],"resulting":[93],"framework":[94,122],"enables":[95,123],"LES":[97],"monitor":[99],"evaluate":[101],"goal":[102],"models":[103],"at":[104,140],"run":[105],"time":[106],"determine":[108],"whether":[109],"or":[110],"not":[111],"expected":[115],"meet":[117],"functional":[118],"objectives.":[119],"Using":[120],"this":[121],"stakeholders":[124],"have":[126],"more":[127],"confidence":[128],"used":[132],"only":[133],"comparable":[136],"those":[138],"validated":[139],"design":[141],"time.":[142]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2021-11-22T00:00:00"}