乐胖代购免代理版

{"id":"https://openalex.org/W2150855845","doi":"https://doi.org/10.1109/hase.2007.58","title":"Behavioral Fault Modeling for Model-based Safety Analysis","display_name":"Behavioral Fault Modeling for Model-based Safety Analysis","publication_year":2007,"publication_date":"2007-11-01","ids":{"openalex":"https://openalex.org/W2150855845","doi":"https://doi.org/10.1109/hase.2007.58","mag":"2150855845"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/hase.2007.58","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://conservancy.umn.edu/bitstreams/06d2c5ee-3074-4c68-9f2d-6ebe36366b89/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101556885","display_name":"Anjali Joshi","orcid":"https://orcid.org/0000-0002-8743-6944"},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"funder","lineage":["https://openalex.org/I130238516"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anjali Joshi","raw_affiliation_strings":["University of Minnesota, Minneapolis, USA"],"affiliations":[{"raw_affiliation_string":"University of Minnesota, Minneapolis, USA","institution_ids":["https://openalex.org/I130238516"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110505437","display_name":"Mats P. E. Heimdahl","orcid":null},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"funder","lineage":["https://openalex.org/I130238516"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mats P.E. Heimdahl","raw_affiliation_strings":["University of Minnesota, Minneapolis, USA"],"affiliations":[{"raw_affiliation_string":"University of Minnesota, Minneapolis, USA","institution_ids":["https://openalex.org/I130238516"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.938,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":33,"citation_normalized_percentile":{"value":0.917024,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":92},"biblio":{"volume":null,"issue":null,"first_page":"199","last_page":"208"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994,"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.999,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.999,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5684296},{"id":"https://openalex.org/keywords/fault-model","display_name":"Fault model","score":0.53695625},{"id":"https://openalex.org/keywords/behavioral-modeling","display_name":"Behavioral Modeling","score":0.4467514},{"id":"https://openalex.org/keywords/lustre","display_name":"Lustre (file system)","score":0.4301752}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.74829537},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5684296},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.53695625},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.47878253},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.47837225},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.45856276},{"id":"https://openalex.org/C78639753","wikidata":"https://www.wikidata.org/wiki/Q3318160","display_name":"Behavioral modeling","level":2,"score":0.4467514},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44126478},{"id":"https://openalex.org/C180699724","wikidata":"https://www.wikidata.org/wiki/Q1877782","display_name":"Lustre (file system)","level":3,"score":0.4301752},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.35965294},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2396754},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2384887},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.167577},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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/C2780940931","wikidata":"https://www.wikidata.org/wiki/Q174989","display_name":"File system","level":2,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"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":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/hase.2007.58","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hdl.handle.net/11299/217311","pdf_url":"https://conservancy.umn.edu/bitstreams/06d2c5ee-3074-4c68-9f2d-6ebe36366b89/download","source":{"id":"https://openalex.org/S4377196480","display_name":"University Digital Conservancy (University of Minnesota, Duluth)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I4210115145","host_organization_name":"University of Minnesota, Duluth","host_organization_lineage":["https://openalex.org/I4210115145"],"host_organization_lineage_names":["University of Minnesota, Duluth"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://hdl.handle.net/11299/217311","pdf_url":"https://conservancy.umn.edu/bitstreams/06d2c5ee-3074-4c68-9f2d-6ebe36366b89/download","source":{"id":"https://openalex.org/S4377196480","display_name":"University Digital Conservancy (University of Minnesota, Duluth)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I4210115145","host_organization_name":"University of Minnesota, Duluth","host_organization_lineage":["https://openalex.org/I4210115145"],"host_organization_lineage_names":["University of Minnesota, Duluth"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":42,"referenced_works":["https://openalex.org/W1480042391","https://openalex.org/W1516218099","https://openalex.org/W1521005453","https://openalex.org/W1539432158","https://openalex.org/W1540641082","https://openalex.org/W1543835464","https://openalex.org/W1565059069","https://openalex.org/W1571268527","https://openalex.org/W1572214799","https://openalex.org/W160223915","https://openalex.org/W1605552","https://openalex.org/W1610570299","https://openalex.org/W1802815921","https://openalex.org/W1941969097","https://openalex.org/W1943502734","https://openalex.org/W1976880037","https://openalex.org/W2018189786","https://openalex.org/W2029414465","https://openalex.org/W2064811181","https://openalex.org/W2065675749","https://openalex.org/W2082000355","https://openalex.org/W2116292509","https://openalex.org/W2117009500","https://openalex.org/W2119454542","https://openalex.org/W2120844707","https://openalex.org/W2125415493","https://openalex.org/W2135274583","https://openalex.org/W2135675358","https://openalex.org/W2136420010","https://openalex.org/W2141956452","https://openalex.org/W2142785340","https://openalex.org/W2145071552","https://openalex.org/W2146740093","https://openalex.org/W2151398141","https://openalex.org/W2151523288","https://openalex.org/W2171037318","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W3129194341","https://openalex.org/W3494227","https://openalex.org/W68069235","https://openalex.org/W91578408"],"related_works":["https://openalex.org/W2620568181","https://openalex.org/W2372794599","https://openalex.org/W2371965930","https://openalex.org/W2352104657","https://openalex.org/W2166897423","https://openalex.org/W2160179184","https://openalex.org/W2091334132","https://openalex.org/W2066922864","https://openalex.org/W2026927717","https://openalex.org/W1794505928"],"abstract_inverted_index":{"Recent":[0],"work":[1],"in":[2,106],"the":[3,21,35,48,53,72,98,102,107,120,167],"area":[4],"of":[5,13,23,26,34,109],"model-based":[6],"safety":[7,27,30],"analysis":[8,31],"has":[9],"demonstrated":[10],"key":[11,130],"advantages":[12],"this":[14,126],"methodology":[15],"over":[16],"traditional":[17],"approaches,":[18],"for":[19,117,122,132,163],"example,":[20],"capability":[22],"automatic":[24,164],"generation":[25],"artifacts.":[28],"Since":[29],"requires":[32],"knowledge":[33],"component":[36],"faults":[37],"and":[38,46,65,67,85,113],"failure":[39],"modes,":[40],"one":[41],"also":[42,86],"needs":[43],"to":[44,61,160],"formalize":[45,140],"incorporate":[47],"system":[49,55,74,104,169],"fault":[50,99,136,155],"behavior":[51,100],"into":[52,71,166],"nominal":[54,73,103,168],"model.":[56,170],"Fault":[57],"behaviors":[58],"typically":[59],"tend":[60],"be":[62,94,161],"quite":[63],"varied":[64],"complex,":[66],"incorporating":[68],"them":[69],"directly":[70],"model":[75,88,105],"can":[76,93],"clutter":[77],"it":[78,141],"severely.":[79],"This":[80],"manual":[81],"process":[82],"is":[83],"error-prone":[84],"makes":[87],"evolution":[89],"difficult.":[90],"These":[91],"issues":[92],"resolved":[95],"by":[96],"separating":[97],"from":[101],"form":[108],"a":[110,115,133,143,149],"\"fault":[111],"model\",":[112],"providing":[114],"mechanism":[116],"automatically":[118],"combining":[119],"two":[121],"analysis.":[123],"Towards":[124],"implementing":[125],"approach":[127],"we":[128],"identify":[129],"requirements":[131],"flexible":[134],"behavioral":[135],"modeling":[137,156],"notation.":[138],"We":[139],"as":[142],"domain-specific":[144],"language":[145],"based":[146],"on":[147],"Lustre,":[148],"textual":[150],"synchronous":[151],"dataflow":[152],"language.":[153],"The":[154],"extensions":[157],"are":[158],"designed":[159],"amenable":[162],"composition":[165]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2150855845","counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-03-25T05:16:17.681413","created_date":"2016-06-24"}