{"id":"https://openalex.org/W2999284478","doi":"https://doi.org/10.1109/tse.2020.2966994","title":"<i>checsdm</i>: A Method for Ensuring Consistency in Heterogeneous Safety-Critical System Design","display_name":"<i>checsdm</i>: A Method for Ensuring Consistency in Heterogeneous Safety-Critical System Design","publication_year":2020,"publication_date":"2020-01-15","ids":{"openalex":"https://openalex.org/W2999284478","doi":"https://doi.org/10.1109/tse.2020.2966994","mag":"2999284478"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2020.2966994","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2020.2966994","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","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/A5036637712","display_name":"Andr\u00e9s Paz","orcid":"https://orcid.org/0000-0002-0743-769X"},"institutions":[{"id":"https://openalex.org/I159129438","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al","ror":"https://ror.org/002rjbv21","country_code":"CA","type":"education","lineage":["https://openalex.org/I159129438","https://openalex.org/I49663120"]},{"id":"https://openalex.org/I9736820","display_name":"\u00c9cole de Technologie Sup\u00e9rieure","ror":"https://ror.org/0020snb74","country_code":"CA","type":"education","lineage":["https://openalex.org/I49663120","https://openalex.org/I9736820"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Andres Paz","raw_affiliation_strings":["D\u00e9partement de g\u00e9nie logiciel et des TI, \u00c9cole de Technologie Sup\u00e9rieure, Universit\u00e9 du Qu\u00e9bec, Montreal, QC, Canada"],"raw_orcid":"https://orcid.org/0000-0002-0743-769X","affiliations":[{"raw_affiliation_string":"D\u00e9partement de g\u00e9nie logiciel et des TI, \u00c9cole de Technologie Sup\u00e9rieure, Universit\u00e9 du Qu\u00e9bec, Montreal, QC, Canada","institution_ids":["https://openalex.org/I9736820","https://openalex.org/I159129438"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090972821","display_name":"Ghizlane El Boussaidi","orcid":"https://orcid.org/0000-0001-6145-774X"},"institutions":[{"id":"https://openalex.org/I159129438","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al","ror":"https://ror.org/002rjbv21","country_code":"CA","type":"education","lineage":["https://openalex.org/I159129438","https://openalex.org/I49663120"]},{"id":"https://openalex.org/I9736820","display_name":"\u00c9cole de Technologie Sup\u00e9rieure","ror":"https://ror.org/0020snb74","country_code":"CA","type":"education","lineage":["https://openalex.org/I49663120","https://openalex.org/I9736820"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ghizlane El Boussaidi","raw_affiliation_strings":["D\u00e9partement de g\u00e9nie logiciel et des TI, \u00c9cole de Technologie Sup\u00e9rieure, Universit\u00e9 du Qu\u00e9bec, Montreal, QC, Canada"],"raw_orcid":"https://orcid.org/0000-0001-6145-774X","affiliations":[{"raw_affiliation_string":"D\u00e9partement de g\u00e9nie logiciel et des TI, \u00c9cole de Technologie Sup\u00e9rieure, Universit\u00e9 du Qu\u00e9bec, Montreal, QC, Canada","institution_ids":["https://openalex.org/I9736820","https://openalex.org/I159129438"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091070914","display_name":"Hafedh Mili","orcid":"https://orcid.org/0000-0002-1220-9042"},"institutions":[{"id":"https://openalex.org/I159129438","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al","ror":"https://ror.org/002rjbv21","country_code":"CA","type":"education","lineage":["https://openalex.org/I159129438","https://openalex.org/I49663120"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Hafedh Mili","raw_affiliation_strings":["D\u00e9partement d'informatique, Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al, Montreal, QC, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement d'informatique, Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al, Montreal, QC, Canada","institution_ids":["https://openalex.org/I159129438"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2826,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.79352886,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"47","issue":"12","first_page":"2713","last_page":"2739"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987999796867371,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9965000152587891,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7183670997619629},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6755340695381165},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5880886316299438},{"id":"https://openalex.org/keywords/engineering-design-process","display_name":"Engineering design process","score":0.4695254862308502},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4231805205345154},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35356271266937256},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.288141667842865},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24489206075668335},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08429762721061707}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7183670997619629},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6755340695381165},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5880886316299438},{"id":"https://openalex.org/C34972735","wikidata":"https://www.wikidata.org/wiki/Q2920267","display_name":"Engineering design process","level":2,"score":0.4695254862308502},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4231805205345154},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35356271266937256},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.288141667842865},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24489206075668335},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08429762721061707},{"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},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2020.2966994","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2020.2966994","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:espace2.etsmtl.ca:21478","is_oa":false,"landing_page_url":"https://espace2.etsmtl.ca/id/eprint/21478/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402392","display_name":"Espace \u00c9TS (ETS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1341030882","host_organization_name":"Educational Testing Service","host_organization_lineage":["https://openalex.org/I1341030882"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article publi\u00e9 dans une revue, r\u00e9vis\u00e9 par les pairs"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4272727484","display_name":null,"funder_award_id":"CRDPJ 463076-14","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W270151343","https://openalex.org/W1587715758","https://openalex.org/W1722009219","https://openalex.org/W2063880996","https://openalex.org/W2068017704","https://openalex.org/W2081580037","https://openalex.org/W2088950401","https://openalex.org/W2089611602","https://openalex.org/W2092137831","https://openalex.org/W2117870171","https://openalex.org/W2125414811","https://openalex.org/W2159873229","https://openalex.org/W2160930909","https://openalex.org/W2162739315","https://openalex.org/W2169049524","https://openalex.org/W2169180789","https://openalex.org/W2251976578","https://openalex.org/W2294892201","https://openalex.org/W2768339355","https://openalex.org/W2809447725","https://openalex.org/W2810085394","https://openalex.org/W2810149342","https://openalex.org/W2958851162","https://openalex.org/W4241912666","https://openalex.org/W6635364829","https://openalex.org/W6637628748","https://openalex.org/W6691664312","https://openalex.org/W6746522261"],"related_works":["https://openalex.org/W2357256365","https://openalex.org/W2348502264","https://openalex.org/W2365486383","https://openalex.org/W2362059367","https://openalex.org/W2901443725","https://openalex.org/W2350084742","https://openalex.org/W2357988862","https://openalex.org/W1855558850","https://openalex.org/W1603736412","https://openalex.org/W2353819887"],"abstract_inverted_index":{"Safety-critical":[0],"systems":[1,11,53,257,268,319],"are":[2],"highly":[3],"heterogeneous,":[4],"combining":[5],"different":[6,117,121],"characteristics.":[7],"Effectively":[8],"designing":[9],"such":[10,52],"requires":[12],"a":[13,70,96,102,162,220,224,232,236,275,321],"complex":[14],"modelling":[15,118],"approach":[16,92,214,337],"that":[17,108,166],"deals":[18],"with":[19,36,291,320],"diverse":[20],"components":[21],"(e.g.,":[22,43],"mechanical,":[23],"electronic,":[24],"software)\u2014each":[25],"having":[26],"its":[27],"own":[28],"underlying":[29],"domain":[30],"theories":[31],"and":[32,61,101,120,172,181,229,231,241,258,307,341],"vocabularies\u2014as":[33],"well":[34],"as":[35,95],"various":[37,113],"aspects":[38],"of":[39,51,85,88,142,201,209,219,226,238,248,266,274,309,346,351],"the":[40,48,55,143,148,152,168,192,202,210,216,249,259,263,272,299,305,310,316,326,333,336,349],"same":[41],"component":[42],"function,":[44],"structure,":[45],"behaviour).":[46],"Furthermore,":[47],"regulated":[49],"nature":[50],"prescribes":[54],"objectives":[56],"for":[57,78,179,215],"their":[58,296,352],"design":[59,87,114,122,145,170,221,233,264],"verification":[60,278],"validation.":[62],"This":[63],"paper":[64],"proposes":[65],"<italic":[66,98,103,134,155,187,211,244],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[67,99,104,135,156,188,212,245],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">checsdm</i>":[68,213],",":[69,107,137,158,190],"systematic":[71],"approach,":[72],"based":[73],"on":[74],"Model-Driven":[75],"Engineering":[76],"(MDE),":[77],"assisting":[79],"engineering":[80],"teams":[81],"in":[82,160,175,262,315],"ensuring":[83],"consistency":[84,177],"heterogeneous":[86,144,169],"safety-critical":[89],"systems.":[90],"The":[91,124,131,184,243,284,301,329],"is":[93,204],"developed":[94],"generic":[97],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">methodology</i>":[100],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">tool":[105],"framework</i>":[106],"can":[109],"be":[110],"applied":[111],"to":[112,195,271,294,339],"scenarios":[115],"involving":[116,223,235],"languages":[119],"guidelines.":[123],"methodology":[125],"comprises":[126],"an":[127,288,343],"iterative":[128],"three-phased":[129],"process.":[130],"first":[132,250],"phase,":[133,154,186],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">elicitation</i>":[136],"aims":[138],"at":[139],"specifying":[140],"requirements":[141],"scenario.":[146],"Using":[147],"proposed":[149],"tool":[150,164,193],"framework,":[151],"second":[153],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">codification</i>":[157],"consists":[159],"building":[161],"particular":[163],"set":[165,194],"supports":[167],"scenario":[171,222,234],"helps":[173],"engineers":[174],"flagging":[176],"errors":[178],"review":[180],"eventual":[182],"correction.":[183],"third":[185],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">operation</i>":[189,246],"applies":[191],"actual":[196],"system":[197],"designs.":[198],"Empirical":[199],"evaluation":[200,285],"work":[203],"presented":[205],"through":[206],"two":[207],"executions":[208],"specific":[217],"cases":[218],"mix":[225,237],"UML,":[227],"Simulink":[228,240],"Stateflow,":[230],"AADL,":[239],"Stateflow.":[242],"phase":[247],"case":[251],"was":[252],"performed":[253],"over":[254,325],"three":[255,317],"avionics":[256,318],"identified":[260,314],"inconsistencies":[261],"models":[265],"these":[267],"were":[269,313],"compared":[270],"results":[273],"fully":[276],"manual":[277,327],"carried":[279],"out":[280],"by":[281],"professional":[282],"engineers.":[283],"also":[286],"includes":[287],"assessment":[289,330],"workshop":[290,331],"industrial":[292],"practitioners":[293,334],"examine":[295],"perceptions":[297],"about":[298],"approach.":[300,311],"empirical":[302],"validation":[303],"indicates":[304],"feasibility":[306],"\u201ccost-effectiveness\u201d":[308],"Inconsistencies":[312],"greater":[322],"recall":[323],"rate":[324],"verification.":[328],"shows":[332],"found":[335],"easy":[338],"understand":[340],"gave":[342],"overall":[344],"likelihood":[345],"adoption":[347],"within":[348],"context":[350],"work.":[353]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}