{"id":"https://openalex.org/W2586154662","doi":"https://doi.org/10.1109/smc.2016.7844353","title":"Strictly Formalized Situation-Operator-Modeling technique for fall-back layer modeling for autonomous or semi-autonomous systems requiring software-based fail-safe behavior","display_name":"Strictly Formalized Situation-Operator-Modeling technique for fall-back layer modeling for autonomous or semi-autonomous systems requiring software-based fail-safe behavior","publication_year":2016,"publication_date":"2016-10-01","ids":{"openalex":"https://openalex.org/W2586154662","doi":"https://doi.org/10.1109/smc.2016.7844353","mag":"2586154662"},"language":"en","primary_location":{"id":"doi:10.1109/smc.2016.7844353","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc.2016.7844353","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"},"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/A5014955179","display_name":"Georg H\u00e4gele","orcid":"https://orcid.org/0000-0001-7446-5896"},"institutions":[{"id":"https://openalex.org/I62318514","display_name":"University of Duisburg-Essen","ror":"https://ror.org/04mz5ra38","country_code":"DE","type":"education","lineage":["https://openalex.org/I62318514"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Georg Hagele","raw_affiliation_strings":["Chair of Dynamics and Control, University of Duisburg-Essen, Duisburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chair of Dynamics and Control, University of Duisburg-Essen, Duisburg, Germany","institution_ids":["https://openalex.org/I62318514"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113663613","display_name":"Dirk S\u00f6ffker","orcid":null},"institutions":[{"id":"https://openalex.org/I62318514","display_name":"University of Duisburg-Essen","ror":"https://ror.org/04mz5ra38","country_code":"DE","type":"education","lineage":["https://openalex.org/I62318514"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dirk Soffker","raw_affiliation_strings":["Chair of Dynamics and Control, University of Duisburg-Essen, Duisburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chair of Dynamics and Control, University of Duisburg-Essen, Duisburg, Germany","institution_ids":["https://openalex.org/I62318514"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I62318514"],"apc_list":null,"apc_paid":null,"fwci":2.255,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.88677171,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"60","issue":null,"first_page":"000886","last_page":"000891"},"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.9986000061035156,"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.9986000061035156,"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/T11357","display_name":"Risk and Safety Analysis","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/safety-assurance","display_name":"Safety assurance","score":0.7081664800643921},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6596783995628357},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5371039509773254},{"id":"https://openalex.org/keywords/layer","display_name":"Layer (electronics)","score":0.5274365544319153},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.5070569515228271},{"id":"https://openalex.org/keywords/programmable-logic-controller","display_name":"Programmable logic controller","score":0.5048230290412903},{"id":"https://openalex.org/keywords/system-safety","display_name":"System safety","score":0.4364315867424011},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4184715449810028},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4073628783226013},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.40456029772758484},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.2692950367927551},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.26626092195510864},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17942380905151367},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1702197790145874}],"concepts":[{"id":"https://openalex.org/C112805685","wikidata":"https://www.wikidata.org/wiki/Q10566551","display_name":"Safety assurance","level":2,"score":0.7081664800643921},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6596783995628357},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5371039509773254},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.5274365544319153},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.5070569515228271},{"id":"https://openalex.org/C37374048","wikidata":"https://www.wikidata.org/wiki/Q188674","display_name":"Programmable logic controller","level":2,"score":0.5048230290412903},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.4364315867424011},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4184715449810028},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4073628783226013},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.40456029772758484},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2692950367927551},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.26626092195510864},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17942380905151367},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1702197790145874},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/smc.2016.7844353","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc.2016.7844353","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"},{"id":"mag:2752389557","is_oa":false,"landing_page_url":"http://jglobal.jst.go.jp/en/public/20090422/201702243027577746","pdf_url":null,"source":{"id":"https://openalex.org/S4306512817","display_name":"IEEE Conference Proceedings","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"IEEE Conference Proceedings","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W209740145","https://openalex.org/W1493644597","https://openalex.org/W1965849896","https://openalex.org/W1973787383","https://openalex.org/W1985011424","https://openalex.org/W1996124067","https://openalex.org/W1999891651","https://openalex.org/W2006619020","https://openalex.org/W2019265719","https://openalex.org/W2030869787","https://openalex.org/W2033800551","https://openalex.org/W2038150853","https://openalex.org/W2040938785","https://openalex.org/W2041750090","https://openalex.org/W2060794637","https://openalex.org/W2094505644","https://openalex.org/W2104205552","https://openalex.org/W2108340621","https://openalex.org/W2119212765","https://openalex.org/W2121046498","https://openalex.org/W2146948159","https://openalex.org/W2176244569","https://openalex.org/W2312525721","https://openalex.org/W2325174399","https://openalex.org/W2331646076","https://openalex.org/W6655146955","https://openalex.org/W6675327837"],"related_works":["https://openalex.org/W2970989156","https://openalex.org/W2744196033","https://openalex.org/W2901393860","https://openalex.org/W572246124","https://openalex.org/W1511207333","https://openalex.org/W138079862","https://openalex.org/W2073081141","https://openalex.org/W4289597327","https://openalex.org/W2016459326","https://openalex.org/W4389054557"],"abstract_inverted_index":{"Autonomous":[0],"and":[1,14,41,84,112,129,138],"semi-autonomous":[2],"aerial":[3],"systems":[4],"(AES)":[5],"are":[6,28],"often":[7],"needed":[8],"to":[9,99],"perform":[10],"tasks":[11,40,116],"in":[12,42,102,124],"complex":[13],"dynamic":[15],"environments.":[16],"The":[17],"safe":[18,74],"navigation":[19],"assurance":[20,25,61,114],"as":[21,23,48,50],"well":[22,49],"safety":[24,35,60,113,126,140],"of":[26,34,143,155],"AES":[27,45,73,90],"open":[29],"research":[30],"issues.":[31],"Traditional":[32],"combination":[33,78],"aspects":[36],"with":[37,79],"mission":[38],"related":[39],"consequence":[43],"unmanageable":[44],"system":[46,87,121],"complexity":[47],"unpredictable":[51],"effects":[52],"during":[53],"the":[54,80,120,152],"spatial":[55],"environment":[56],"interaction":[57],"makes":[58],"traditional":[59],"methods":[62],"inapplicable.":[63],"This":[64],"paper":[65],"introduces":[66],"Strictly":[67],"Formalized":[68],"Situation-Operator-Modeling":[69],"(sf-SOM)":[70],"technique":[71],"for":[72,160],"behavior":[75,109],"assurance.":[76],"In":[77,97],"System":[81],"Safety":[82],"Surveillance":[83],"Control":[85],"(SSSC)":[86],"concept":[88,93,104,144],"a":[89,105],"fall-back":[91,157],"layer":[92,158],"can":[94,130],"be":[95,131],"realized.":[96],"comparison":[98],"other":[100],"approaches,":[101],"this":[103],"separation":[106],"between":[107],"regular":[108],"generating":[110],"mission-tasks":[111],"non-mission":[115],"is":[117,122],"used.":[118],"Furthermore,":[119],"separated":[123],"well-defined,":[125],"task-specific":[127],"modules":[128],"realized":[132],"using":[133,145],"standardized":[134],"industrial":[135,147],"programming":[136],"languages":[137],"programmable":[139],"device.":[141],"Proof":[142],"an":[146],"Programmable":[148],"Logic":[149],"Controller":[150],"demonstrates":[151],"successful":[153],"use":[154],"SSSC-based":[156],"also":[159],"comparable":[161],"applications.":[162]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}