{"id":"https://openalex.org/W1971108739","doi":"https://doi.org/10.1145/1082983.1083199","title":"Towards verified automotive software","display_name":"Towards verified automotive software","publication_year":2005,"publication_date":"2005-05-21","ids":{"openalex":"https://openalex.org/W1971108739","doi":"https://doi.org/10.1145/1082983.1083199","mag":"1971108739"},"language":"en","primary_location":{"id":"doi:10.1145/1082983.1083199","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1082983.1083199","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-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/A5003806631","display_name":"Jewgenij Botaschanjan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J. Botaschanjan","raw_affiliation_strings":["Institut f\u00fcr Informatik, Garching, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Garching, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028240736","display_name":"Leonid Kof","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"L. Kof","raw_affiliation_strings":["Institut f\u00fcr Informatik, Garching, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Garching, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067555244","display_name":"Christian K\u00fchnel","orcid":"https://orcid.org/0000-0003-3307-1772"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"C. K\u00fchnel","raw_affiliation_strings":["Institut f\u00fcr Informatik, Garching, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Garching, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049584186","display_name":"Maria Spichkova","orcid":"https://orcid.org/0000-0001-6882-1444"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"M. Spichkova","raw_affiliation_strings":["Institut f\u00fcr Informatik, Garching, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Garching, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.6477,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.92744975,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"30","issue":"4","first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12810","display_name":"Real-time simulation and control systems","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/correctness","display_name":"Correctness","score":0.752627968788147},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.6868383288383484},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6627203226089478},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.5855189561843872},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.5771744251251221},{"id":"https://openalex.org/keywords/avionics-software","display_name":"Avionics software","score":0.5538225173950195},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.5303614139556885},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5291894674301147},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5131266713142395},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.46918702125549316},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4353156089782715},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.385945200920105},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.24166011810302734},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1495411992073059},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1403389275074005}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.752627968788147},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.6868383288383484},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6627203226089478},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.5855189561843872},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.5771744251251221},{"id":"https://openalex.org/C109905503","wikidata":"https://www.wikidata.org/wiki/Q4828920","display_name":"Avionics software","level":5,"score":0.5538225173950195},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.5303614139556885},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5291894674301147},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5131266713142395},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.46918702125549316},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4353156089782715},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.385945200920105},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24166011810302734},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1495411992073059},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1403389275074005},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1082983.1083199","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1082983.1083199","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5299999713897705}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1556449297","https://openalex.org/W1582157248","https://openalex.org/W1603617612","https://openalex.org/W2071229589","https://openalex.org/W2106192381","https://openalex.org/W2113624447","https://openalex.org/W2121519027","https://openalex.org/W2911450990","https://openalex.org/W4242915164"],"related_works":["https://openalex.org/W2769494974","https://openalex.org/W827030833","https://openalex.org/W2391945232","https://openalex.org/W1528679027","https://openalex.org/W314063233","https://openalex.org/W2152781486","https://openalex.org/W1536444154","https://openalex.org/W2184165310","https://openalex.org/W2125234193","https://openalex.org/W2167467693"],"abstract_inverted_index":{"Automotive":[0],"software":[1,10,46,71],"is":[2,18,64],"one":[3],"of":[4,9,30,39,78,92,99,104],"the":[5,27,37,97,100,122],"most":[6],"challenging":[7],"fields":[8],"engineering:":[11],"it":[12,63,84],"must":[13],"meet":[14],"real":[15],"time":[16],"requirements,":[17],"safety":[19],"critical":[20],"and":[21,43,50],"distributed":[22],"over":[23],"multiple":[24],"processors.":[25],"With":[26],"increasing":[28],"complexity":[29],"automotive":[31,79],"software,":[32],"as":[33],"for":[34],"example":[35],"in":[36],"case":[38,111],"drive-by-wire,":[40],"automated":[41],"driving":[42],"driver":[44],"assitents,":[45],"correctness":[47],"becomes":[48],"more":[49,51],"a":[52,86,90,110],"crucial":[53],"issue.":[54],"In":[55],"order":[56],"that":[57,113],"these":[58],"innovations":[59],"can":[60,118],"become":[61],"reality,":[62],"necessary":[65],"to":[66,69],"be":[67,119],"able":[68],"guarantee":[70],"correctness.The":[72],"presented":[73],"work":[74],"aims":[75],"at":[76],"verification":[77,87,98,117],"software.":[80],"For":[81],"this":[82,105],"purpose":[83],"introduces":[85],"approach,":[88],"including":[89],"framework":[91],"verified":[93],"modules":[94],"which":[95],"assists":[96],"actual":[101],"application.":[102],"Feasibility":[103],"approach":[106],"was":[107],"validated":[108],"on":[109],"study":[112],"also":[114],"showed":[115],"how":[116],"integrated":[120],"into":[121],"development":[123],"process.":[124]},"counts_by_year":[{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}