{"id":"https://openalex.org/W2405076207","doi":null,"title":"Integrating State Machine Analysis with System-Theoretic Process Analysis.","display_name":"Integrating State Machine Analysis with System-Theoretic Process Analysis.","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2405076207","mag":"2405076207"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.646.3726","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.3726","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://subs.emis.de/LNI/Proceedings/Proceedings215/501.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5083262342","display_name":"Asim Abdulkhaleq","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Asim Abdulkhaleq","raw_affiliation_strings":["Univ. of Stuttgart#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Stuttgart#TAB#","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041829889","display_name":"Stefan Wagner","orcid":"https://orcid.org/0000-0002-5256-8429","observed_orcids":["https://orcid.org/0000-0002-5256-8429"]},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Wagner","raw_affiliation_strings":["Univ. of Stuttgart#TAB#"],"raw_orcid":"https://orcid.org/0000-0002-5256-8429","affiliations":[{"raw_affiliation_string":"Univ. of Stuttgart#TAB#","institution_ids":["https://openalex.org/I100066346"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I100066346"],"apc_list":null,"apc_paid":null,"fwci":0.8387,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.78040922,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"501","last_page":"514"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.6836000084877014,"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/T11357","display_name":"Risk and Safety Analysis","score":0.6836000084877014,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.28690001368522644,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.007699999958276749,"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/system-theoretic-process-analysis","display_name":"STPA","score":0.9660000205039978},{"id":"https://openalex.org/keywords/hazard-analysis","display_name":"hazard analysis","score":0.9240000247955322},{"id":"https://openalex.org/keywords/safety-analysis","display_name":"safety analysis","score":0.5950000286102295},{"id":"https://openalex.org/keywords/software-intensive-systems","display_name":"software-intensive systems","score":0.8199999928474426},{"id":"https://openalex.org/keywords/control-loops","display_name":"control loops","score":0.6570000052452087},{"id":"https://openalex.org/keywords/safety-constraints","display_name":"safety constraints","score":0.7720000147819519},{"id":"https://openalex.org/keywords/accident-modeling","display_name":"accident models","score":0.5419999957084656},{"id":"https://openalex.org/keywords/diagrammatic-notation","display_name":"diagrammatic notation","score":0.718999981880188},{"id":"https://openalex.org/keywords/control-actions","display_name":"control actions","score":0.7580000162124634}],"concepts":[{"id":"https://openalex.org/C106624574","wikidata":"https://www.wikidata.org/wiki/Q5270387","display_name":"Diagrammatic reasoning","level":2,"score":0.8041470050811768},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.7035007476806641},{"id":"https://openalex.org/C206355099","wikidata":"https://www.wikidata.org/wiki/Q3614972","display_name":"Hazard analysis","level":2,"score":0.6593668460845947},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6059843897819519},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5560264587402344},{"id":"https://openalex.org/C49261128","wikidata":"https://www.wikidata.org/wiki/Q1132455","display_name":"Hazard","level":2,"score":0.544564425945282},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.45374566316604614},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4450902044773102},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.41323086619377136},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3719331622123718},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3422034978866577},{"id":"https://openalex.org/C13736549","wikidata":"https://www.wikidata.org/wiki/Q4489420","display_name":"Industrial engineering","level":1,"score":0.3323504328727722},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3237568736076355},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.24851638078689575},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1286633312702179},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1272272765636444},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.646.3726","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.3726","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://subs.emis.de/LNI/Proceedings/Proceedings215/501.pdf","raw_type":"text"},{"id":"mag:2405076207","doi":null,"is_oa":false,"landing_page_url":"https://www.iste.uni-stuttgart.de/fileadmin/user_upload/iste/se/publ/Integrating_State_Machine_Analysis_with_System-Theoretic_Process_Analysis.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306530386","display_name":"Software Engineering (Workshops)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Software Engineering (Workshops)","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W41830997","https://openalex.org/W61993190","https://openalex.org/W104549032","https://openalex.org/W625928923","https://openalex.org/W642120166","https://openalex.org/W1495919280","https://openalex.org/W1602378215","https://openalex.org/W1637266576","https://openalex.org/W1995031227","https://openalex.org/W1996599282","https://openalex.org/W1996832037","https://openalex.org/W2082922837","https://openalex.org/W2103074760","https://openalex.org/W2162612791","https://openalex.org/W2464733146"],"related_works":["https://openalex.org/W1875052261","https://openalex.org/W1663447156","https://openalex.org/W1602378215","https://openalex.org/W7096123483","https://openalex.org/W1557199491","https://openalex.org/W4413371092","https://openalex.org/W2903050845","https://openalex.org/W1936749552","https://openalex.org/W7170770673","https://openalex.org/W7131082080"],"abstract_inverted_index":{"Abstract:":[0],"Safety":[1],"becomes":[2],"a":[3,37,46,118],"critical":[4],"aspect":[5],"for":[6,52],"software-intensive":[7],"systems":[8],"in":[9,80],"differ-ent":[10],"applications":[11],"areas.":[12],"Many":[13],"hazard":[14,39],"analysis":[15,40,113],"techniques":[16],"are":[17,70],"proposed":[18],"and":[19,29,54,67,83,102,130],"used":[20],"to":[21,26,91,109,116],"investigate":[22],"system":[23,60],"design":[24,30],"models":[25],"elicit":[27],"hazards":[28],"flaws.":[31],"STPA":[32,85,115],"(System-Theoretic":[33],"Process":[34],"Analysis)":[35],"is":[36,43,61],"modern":[38],"technique,":[41],"which":[42],"based":[44],"on":[45],"new":[47],"systems-theoretic":[48],"model":[49,98],"of":[50,77,121,126],"accidents":[51,69],"large":[53],"complex":[55],"systems.":[56],"With":[57],"STPA,":[58],"the":[59,68,93,96,124],"viewed":[62],"as":[63,72],"interacting":[64],"control":[65,100,128],"loops":[66],"consid-ered":[71],"results":[73],"from":[74],"inadequate":[75],"enforcement":[76],"safety":[78],"constraints":[79],"design,":[81],"develop-ment":[82],"operation.":[84],"still":[86],"needs":[87],"appropriate":[88],"diagrammatic":[89],"notations":[90],"represent":[92],"relation":[94],"between":[95,123],"process":[97],"variables,":[99],"actions":[101,129],"hazards.":[103,131],"For":[104],"this":[105],"purpose,":[106],"we":[107],"propose":[108],"integrate":[110],"state":[111],"machine":[112],"with":[114],"provide":[117],"suitable":[119],"notation":[120],"arguments":[122],"states":[125],"controllers,":[127],"1":[132]},"counts_by_year":[{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2015,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}