{"id":"https://openalex.org/W2565301887","doi":"https://doi.org/10.3390/info8010007","title":"Model Based Safety Analysis with smartIflow \u2020","display_name":"Model Based Safety Analysis with smartIflow \u2020","publication_year":2017,"publication_date":"2017-01-03","ids":{"openalex":"https://openalex.org/W2565301887","doi":"https://doi.org/10.3390/info8010007","mag":"2565301887"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.3390/info8010007","pdf_url":"https://www.mdpi.com/2078-2489/8/1/7/pdf?version=1483434928","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2078-2489/8/1/7/pdf?version=1483434928","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081772086","display_name":"Philipp H\u00f6nig","orcid":null},"institutions":[{"id":"https://openalex.org/I4210163522","display_name":"Technische Hochschule Ulm","ror":"https://ror.org/05e5kd476","country_code":"DE","type":"education","lineage":["https://openalex.org/I4210163522"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Philipp H\u00f6nig","raw_affiliation_strings":["Ulm University of Applied Sciences, Department of Computer Science, 89075 Ulm, Germany"],"affiliations":[{"raw_affiliation_string":"Ulm University of Applied Sciences, Department of Computer Science, 89075 Ulm, Germany","institution_ids":["https://openalex.org/I4210163522"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066607559","display_name":"R\u00fcdiger Lunde","orcid":null},"institutions":[{"id":"https://openalex.org/I4210163522","display_name":"Technische Hochschule Ulm","ror":"https://ror.org/05e5kd476","country_code":"DE","type":"education","lineage":["https://openalex.org/I4210163522"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"R\u00fcdiger Lunde","raw_affiliation_strings":["Ulm University of Applied Sciences, Department of Computer Science, 89075 Ulm, Germany"],"affiliations":[{"raw_affiliation_string":"Ulm University of Applied Sciences, Department of Computer Science, 89075 Ulm, Germany","institution_ids":["https://openalex.org/I4210163522"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077586145","display_name":"Florian Holzapfel","orcid":"https://orcid.org/0000-0003-4733-9186"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Florian Holzapfel","raw_affiliation_strings":["Technische Universit\u00e4t M\u00fcnchen, Institute of Flight System Dynamics, 85748 Garching, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t M\u00fcnchen, Institute of Flight System Dynamics, 85748 Garching, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5081772086","https://openalex.org/A5066607559"],"corresponding_institution_ids":["https://openalex.org/I4210163522","https://openalex.org/I4210163522"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515,"provenance":"doaj"},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515,"provenance":"doaj"},"fwci":2.538,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":14,"citation_normalized_percentile":{"value":0.898391,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":"8","issue":"1","first_page":"7","last_page":"7"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9996,"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.9996,"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.9975,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9971,"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.57844234},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.5043992}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.79793626},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.61801547},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.57844234},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.5043992},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.4903612},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.47798222},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4763722},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4626326},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.45038325},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.43894467},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4353203},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.34550348},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29263657},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14757136},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.12979367},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11057195},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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":4,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.3390/info8010007","pdf_url":"https://www.mdpi.com/2078-2489/8/1/7/pdf?version=1483434928","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://doaj.org/article/82b8cd2176f7482381d49c9d1b3b9f1f","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://mediatum.ub.tum.de/node?id=1432753","pdf_url":"https://mediatum.ub.tum.de/doc/1432753/document.pdf","source":{"id":"https://openalex.org/S4306400453","display_name":"mediaTUM \u2013 the media and publications repository of the Technical University Munich (Technical University Munich)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":["Technical University of Munich"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://mediatum.ub.tum.de/doc/1432753/document.pdf","pdf_url":"http://mediatum.ub.tum.de/doc/1432753/document.pdf","source":{"id":"https://openalex.org/S4306400453","display_name":"mediaTUM \u2013 the media and publications repository of the Technical University Munich (Technical University Munich)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":["Technical University of Munich"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.3390/info8010007","pdf_url":"https://www.mdpi.com/2078-2489/8/1/7/pdf?version=1483434928","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"score":0.57,"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":13,"referenced_works":["https://openalex.org/W1572214799","https://openalex.org/W1679534293","https://openalex.org/W168394658","https://openalex.org/W1976880037","https://openalex.org/W2094655264","https://openalex.org/W2118864410","https://openalex.org/W2126311867","https://openalex.org/W2139030423","https://openalex.org/W2188239175","https://openalex.org/W3103024438","https://openalex.org/W3146697856","https://openalex.org/W4251228600","https://openalex.org/W52162695"],"related_works":["https://openalex.org/W4315606162","https://openalex.org/W4312733571","https://openalex.org/W2775302246","https://openalex.org/W2340807904","https://openalex.org/W2149716943","https://openalex.org/W2037121848","https://openalex.org/W2006962382","https://openalex.org/W1547517160","https://openalex.org/W1512683083","https://openalex.org/W113732979"],"abstract_inverted_index":{"Verification":[0],"of":[1,11,18,34,43,63,128,147,150,192],"safety":[2,12,66,131,166],"requirements":[3,132,167],"is":[4,50,84,133,195],"one":[5],"important":[6],"task":[7],"during":[8],"the":[9,61,65,126,151,163],"development":[10],"critical":[13],"systems.":[14],"The":[15,189],"increasing":[16],"complexity":[17],"systems":[19,36],"makes":[20],"manual":[21],"analysis":[22,67],"almost":[23],"impossible.":[24],"This":[25],"paper":[26],"introduces":[27],"a":[28,51,108,134,144,199,203],"new":[29,52,98],"methodology":[30],"for":[31,41,60,111,119],"formal":[32],"verification":[33,127],"technical":[35],"with":[37,80],"smartIflow":[38,49],"(State":[39],"Machines":[40],"Automation":[42],"Reliability-related":[44],"Tasks":[45],"using":[46,176,202],"Information":[47],"FLOWs).":[48],"modeling":[53],"language":[54],"that":[55],"has":[56],"been":[57],"especially":[58,153],"designed":[59],"purpose":[62],"automating":[64],"process":[68],"in":[69,87,169],"early":[70],"product":[71],"life":[72],"cycle":[73],"stages.":[74],"It":[75],"builds":[76],"up":[77],"on":[78,156,198],"experience":[79],"existing":[81],"approaches.":[82],"As":[83],"common":[85],"practice":[86],"current":[88],"approaches,":[89],"components":[90,115],"are":[91,100,174,182,186],"modeled":[92],"as":[93,116,118],"finite":[94],"state":[95],"machines.":[96],"However,":[97],"concepts":[99],"introduced":[101],"to":[102,125],"describe":[103],"component":[104],"interactions.":[105,122],"Events":[106],"play":[107],"major":[109],"role":[110],"internal":[112],"interactions":[113],"between":[114],"well":[117],"external":[120],"(user)":[121],"Our":[123],"approach":[124,194],"formally":[129],"specified":[130,168],"two-step":[135],"method.":[136],"First,":[137],"an":[138],"exhaustive":[139],"simulation":[140],"creates":[141],"knowledge":[142],"about":[143],"great":[145],"variety":[146],"possible":[148],"behaviors":[149],"system,":[152],"including":[154],"reactions":[155],"suddenly":[157],"occurring":[158],"(possibly":[159],"intermittent)":[160],"faults.":[161],"In":[162],"second":[164],"step,":[165],"CTL":[170],"(Computation":[171],"Tree":[172],"Logic)":[173],"verified":[175],"model":[177],"checking":[178],"techniques,":[179],"and":[180],"counterexamples":[181],"generated":[183],"if":[184],"these":[185],"not":[187],"satisfied.":[188],"practical":[190],"applicability":[191],"this":[193],"demonstrated":[196],"based":[197],"Java":[200],"implementation":[201],"simple":[204],"Two-Tank-Pump-Consumer":[205],"system.":[206]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2565301887","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2025-01-07T20:47:08.528312","created_date":"2017-01-06"}