{"id":"https://openalex.org/W2017658740","doi":"https://doi.org/10.1145/2591062.2591178","title":"Objective safety compliance checks for source code","display_name":"Objective safety compliance checks for source code","publication_year":2014,"publication_date":"2014-05-20","ids":{"openalex":"https://openalex.org/W2017658740","doi":"https://doi.org/10.1145/2591062.2591178","mag":"2017658740"},"language":"en","primary_location":{"id":"doi:10.1145/2591062.2591178","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2591062.2591178","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 36th International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"article","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/A5030883404","display_name":"Alois Mayr","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Alois Mayr","raw_affiliation_strings":["JKU Linz, Austria"],"affiliations":[{"raw_affiliation_string":"JKU Linz, Austria","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082242659","display_name":"Reinhold Pl\u00f6sch","orcid":"https://orcid.org/0000-0002-4659-2385"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Reinhold Pl\u00f6sch","raw_affiliation_strings":["JKU Linz, Austria"],"affiliations":[{"raw_affiliation_string":"JKU Linz, Austria","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042306202","display_name":"Matthias Saft","orcid":null},"institutions":[{"id":"https://openalex.org/I1325886976","display_name":"Siemens (Germany)","ror":"https://ror.org/059mq0909","country_code":"DE","type":"company","lineage":["https://openalex.org/I1325886976"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Saft","raw_affiliation_strings":["Siemens, Germany"],"affiliations":[{"raw_affiliation_string":"Siemens, Germany","institution_ids":["https://openalex.org/I1325886976"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5030883404"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7471,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.84639498,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"115","last_page":"124"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998000264167786,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9995999932289124,"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/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/iec-61508","display_name":"IEC 61508","score":0.9345704317092896},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.776650071144104},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6673907041549683},{"id":"https://openalex.org/keywords/functional-safety","display_name":"Functional safety","score":0.5308113098144531},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.5150653719902039},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4818095564842224},{"id":"https://openalex.org/keywords/safety-standards","display_name":"Safety standards","score":0.48051485419273376},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4588625431060791},{"id":"https://openalex.org/keywords/conformity-assessment","display_name":"Conformity assessment","score":0.4476739168167114},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.43937379121780396},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4313177466392517},{"id":"https://openalex.org/keywords/international-standard","display_name":"International standard","score":0.41770288348197937},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4170655906200409},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.3967616558074951},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3485240936279297},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2548706531524658},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.23820874094963074},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.15736433863639832},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09136417508125305}],"concepts":[{"id":"https://openalex.org/C138267214","wikidata":"https://www.wikidata.org/wiki/Q1060017","display_name":"IEC 61508","level":3,"score":0.9345704317092896},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.776650071144104},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6673907041549683},{"id":"https://openalex.org/C148493468","wikidata":"https://www.wikidata.org/wiki/Q2646951","display_name":"Functional safety","level":2,"score":0.5308113098144531},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.5150653719902039},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4818095564842224},{"id":"https://openalex.org/C2776179734","wikidata":"https://www.wikidata.org/wiki/Q7398668","display_name":"Safety standards","level":2,"score":0.48051485419273376},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4588625431060791},{"id":"https://openalex.org/C5911748","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformity assessment","level":2,"score":0.4476739168167114},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.43937379121780396},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4313177466392517},{"id":"https://openalex.org/C2776588390","wikidata":"https://www.wikidata.org/wiki/Q1334738","display_name":"International standard","level":2,"score":0.41770288348197937},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4170655906200409},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3967616558074951},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3485240936279297},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2548706531524658},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.23820874094963074},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.15736433863639832},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09136417508125305},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2591062.2591178","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2591062.2591178","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 36th International Conference on Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.44999998807907104},{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W132594803","https://openalex.org/W156366748","https://openalex.org/W1563645046","https://openalex.org/W1579747287","https://openalex.org/W1966194937","https://openalex.org/W1999601741","https://openalex.org/W2013727301","https://openalex.org/W2015729052","https://openalex.org/W2070539146","https://openalex.org/W2088647418","https://openalex.org/W2099794800","https://openalex.org/W2100808993","https://openalex.org/W2121866145","https://openalex.org/W2122828988","https://openalex.org/W2129714608","https://openalex.org/W2129927028","https://openalex.org/W2142949066","https://openalex.org/W2144814285","https://openalex.org/W2169611117","https://openalex.org/W2171249361","https://openalex.org/W2288977256","https://openalex.org/W2296716915","https://openalex.org/W2533266356","https://openalex.org/W3143378422","https://openalex.org/W4230507407","https://openalex.org/W4240802486","https://openalex.org/W6681075055"],"related_works":["https://openalex.org/W2022575379","https://openalex.org/W2088715535","https://openalex.org/W2124473145","https://openalex.org/W2116719151","https://openalex.org/W2341870646","https://openalex.org/W163704823","https://openalex.org/W2102116793","https://openalex.org/W2058986734","https://openalex.org/W1965081589","https://openalex.org/W2808243722"],"abstract_inverted_index":{"Safety":[0],"standards":[1],"such":[2],"as":[3],"IEC":[4,61],"61508":[5,62],"are":[6,102,112,134],"an":[7],"important":[8],"instrument":[9],"for":[10,73,114],"developing":[11],"safety-critical":[12],"systems.":[13],"They":[14],"provide":[15],"requirements":[16,38],"and":[17,24,39],"recommendations":[18],"to":[19,36,99,136],"assist":[20],"engineers":[21],"in":[22,31,63,86,103,139],"system":[23],"software":[25],"development.":[26],"Nevertheless,":[27],"applying":[28,96],"this":[29,66,97],"standard":[30],"practice":[32],"is":[33],"difficult":[34],"due":[35],"unclear":[37,40],"or":[41],"missing":[42],"acceptance":[43],"criteria.":[44],"We":[45,84],"systematically":[46],"developed":[47],"a":[48,87],"quality":[49],"model":[50],"including":[51],"proper":[52],"measurement":[53],"support":[54],"that":[55,90],"covers":[56],"the":[57,70,78,82,91,115,119,123,130,140],"code-related":[58,79],"parts":[59,80],"of":[60,77,81,118,122],"[20].":[64],"In":[65],"paper,":[67],"we":[68,133],"present":[69],"assessment":[71,92,131],"approach":[72,98],"automatic":[74],"compliance":[75],"checks":[76],"standard.":[83,124],"find":[85],"validation":[88],"study":[89],"results":[93,111],"obtained":[94],"by":[95,126],"real-world":[100,142],"projects":[101],"line":[104],"with":[105],"their":[106],"externally":[107],"granted":[108],"certification.":[109],"The":[110],"valid":[113],"vast":[116],"majority":[117],"modeled":[120],"elements":[121],"Moreover,":[125],"drilling":[127],"down":[128],"into":[129],"results,":[132],"able":[135],"detect":[137],"deficiencies":[138],"certified":[141],"projects.":[143]},"counts_by_year":[{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}