{"id":"https://openalex.org/W2114669525","doi":"https://doi.org/10.1109/hicss.1997.663168","title":"A case study in developing complex safety critical systems","display_name":"A case study in developing complex safety critical systems","publication_year":2002,"publication_date":"2002-11-22","ids":{"openalex":"https://openalex.org/W2114669525","doi":"https://doi.org/10.1109/hicss.1997.663168","mag":"2114669525"},"language":"en","primary_location":{"id":"doi:10.1109/hicss.1997.663168","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hicss.1997.663168","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirtieth Hawaii International Conference on System Sciences","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/A5004271647","display_name":"Bernd Kr\u00e4mer","orcid":"https://orcid.org/0000-0001-8433-2667"},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"FernUniversit\u00e4t in Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"B.J. Kramer","raw_affiliation_strings":["Fern Universit\u00e4t Hagen, Hagen, Germany","(Fern University, Hagen, Germany)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fern Universit\u00e4t Hagen, Hagen, Germany","institution_ids":["https://openalex.org/I120691247"]},{"raw_affiliation_string":"(Fern University, Hagen, Germany)","institution_ids":["https://openalex.org/I120691247"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5004271647"],"corresponding_institution_ids":["https://openalex.org/I120691247"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":null,"first_page":"135","last_page":"143"},"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.9993000030517578,"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.9993000030517578,"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.9983000159263611,"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.9979000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6925582885742188},{"id":"https://openalex.org/keywords/relevance","display_name":"Relevance (law)","score":0.5903915762901306},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5116639137268066},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5107722282409668},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.48445653915405273},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4831530451774597},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.473474383354187},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4695751368999481},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.45340436697006226},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.412825345993042},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21492382884025574},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10508731007575989}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6925582885742188},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.5903915762901306},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5116639137268066},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5107722282409668},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.48445653915405273},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4831530451774597},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.473474383354187},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4695751368999481},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.45340436697006226},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.412825345993042},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21492382884025574},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10508731007575989},{"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hicss.1997.663168","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hicss.1997.663168","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirtieth Hawaii International Conference on System Sciences","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1045205787","https://openalex.org/W1489800325","https://openalex.org/W2037638912","https://openalex.org/W2133156999","https://openalex.org/W4285719527","https://openalex.org/W6629290476"],"related_works":["https://openalex.org/W2032233321","https://openalex.org/W3121970507","https://openalex.org/W2110028391","https://openalex.org/W54497855","https://openalex.org/W217960748","https://openalex.org/W3125814499","https://openalex.org/W2090827041","https://openalex.org/W2094012830","https://openalex.org/W187246281","https://openalex.org/W2079194830"],"abstract_inverted_index":{"Safety-critical":[0],"systems":[1],"were":[2],"traditionally":[3],"monitored":[4],"and":[5,26,40,48,111,117,120,128,158,176],"controlled":[6],"by":[7,20],"mechanical":[8],"or":[9],"electronic":[10],"devices.":[11],"Today,":[12],"this":[13,52],"task":[14],"has":[15],"largely":[16],"been":[17],"taken":[18],"over":[19],"software.":[21],"However,":[22],"the":[23,35,60,101,107,142,148,171],"growing":[24],"complexity":[25],"safety":[27,49,118],"relevance":[28],"of":[29,37,63,103,109,114,126,135,141,164,173],"such":[30],"software":[31,93],"raises":[32],"questions":[33],"about":[34],"choice":[36],"adequate":[38,104],"techniques":[39,136],"tools":[41],"to":[42,137,168],"be":[43],"used":[44],"in":[45],"its":[46],"construction":[47],"assessment.":[50],"In":[51],"paper,":[53],"we":[54,152],"review":[55],"a":[56,64,69,80,85,89,123,133,154],"case":[57,75,143],"study":[58,144],"on":[59,92,160],"stepwise":[61],"development":[62,108],"distributed":[65,96],"control":[66],"program":[67],"for":[68,88,95,150],"safety-critical":[70],"technical":[71,97],"production":[72,82],"process.":[73],"The":[74],"study,":[76],"which":[77],"slightly":[78],"simplifies":[79],"real":[81],"situation,":[83],"provides":[84],"patent":[86],"example":[87],"university":[90],"course":[91],"engineering":[94],"systems.":[98],"We":[99,131],"emphasize":[100],"elicitation":[102],"modeling":[105],"ideas,":[106],"precise":[110],"alternative":[112],"descriptions":[113],"system":[115],"functions":[116],"requirements,":[119],"carry":[121],"out":[122],"careful":[124],"analysis":[125,175],"specifications":[127],"design":[129,177],"solutions.":[130],"use":[132],"variety":[134],"address":[138],"different":[139],"aspects":[140],"adequately.":[145],"To":[146],"reduce":[147],"potential":[149],"inconsistencies,":[151],"maintain":[153],"consistent":[155],"naming":[156],"scheme":[157],"rely":[159],"closely":[161],"related":[162],"variants":[163],"temporal":[165],"logic":[166],"formulas":[167],"systematically":[169],"relate":[170],"results":[172],"requirements":[174],"activities.":[178]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}