{"id":"https://openalex.org/W2062522639","doi":"https://doi.org/10.1109/sies.2014.6871210","title":"Case study on combined validation of safety & security requirements","display_name":"Case study on combined validation of safety & security requirements","publication_year":2014,"publication_date":"2014-06-01","ids":{"openalex":"https://openalex.org/W2062522639","doi":"https://doi.org/10.1109/sies.2014.6871210","mag":"2062522639"},"language":"en","primary_location":{"id":"doi:10.1109/sies.2014.6871210","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2014.6871210","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014)","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/A5085476423","display_name":"Micha\u0142 S\u00f3jka","orcid":"https://orcid.org/0000-0002-8738-075X"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Michal Sojka","raw_affiliation_strings":["Faculty of Electrical Engineering, Czech Technical University in Prague, Prague 6, Czech Republic","Fac. of Electr. Eng., Czech Tech. Univ. in Prague, Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Czech Technical University in Prague, Prague 6, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Fac. of Electr. Eng., Czech Tech. Univ. in Prague, Prague, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063152997","display_name":"Michal Krec","orcid":null},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Michal Krec","raw_affiliation_strings":["Faculty of Electrical Engineering, Czech Technical University in Prague, Prague 6, Czech Republic","Fac. of Electr. Eng., Czech Tech. Univ. in Prague, Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Czech Technical University in Prague, Prague 6, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Fac. of Electr. Eng., Czech Tech. Univ. in Prague, Prague, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039174863","display_name":"Zden\u011bk Hanz\u00e1lek","orcid":"https://orcid.org/0000-0002-8135-1296"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Zdenek Hanzalek","raw_affiliation_strings":["Faculty of Electrical Engineering, Czech Technical University in Prague, Prague 6, Czech Republic","Fac. of Electr. Eng., Czech Tech. Univ. in Prague, Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Czech Technical University in Prague, Prague 6, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Fac. of Electr. Eng., Czech Tech. Univ. in Prague, Prague, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5085476423"],"corresponding_institution_ids":["https://openalex.org/I44504214"],"apc_list":null,"apc_paid":null,"fwci":1.623,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.85920468,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"244","last_page":"251"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9997000098228455,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9991999864578247,"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/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/computer-science","display_name":"Computer science","score":0.6712904572486877},{"id":"https://openalex.org/keywords/functional-safety","display_name":"Functional safety","score":0.5891395807266235},{"id":"https://openalex.org/keywords/software-security-assurance","display_name":"Software security assurance","score":0.5844944715499878},{"id":"https://openalex.org/keywords/autosar","display_name":"AUTOSAR","score":0.5339829921722412},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.48965007066726685},{"id":"https://openalex.org/keywords/security-testing","display_name":"Security testing","score":0.47867709398269653},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.46992480754852295},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.4594602882862091},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4537714421749115},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.44616782665252686},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4439883828163147},{"id":"https://openalex.org/keywords/security-service","display_name":"Security service","score":0.25717490911483765},{"id":"https://openalex.org/keywords/security-information-and-event-management","display_name":"Security information and event management","score":0.20951882004737854},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2088213562965393},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.19388693571090698},{"id":"https://openalex.org/keywords/cloud-computing-security","display_name":"Cloud computing security","score":0.1903051733970642},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13802242279052734},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1119515597820282}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6712904572486877},{"id":"https://openalex.org/C148493468","wikidata":"https://www.wikidata.org/wiki/Q2646951","display_name":"Functional safety","level":2,"score":0.5891395807266235},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.5844944715499878},{"id":"https://openalex.org/C2778602020","wikidata":"https://www.wikidata.org/wiki/Q300113","display_name":"AUTOSAR","level":3,"score":0.5339829921722412},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.48965007066726685},{"id":"https://openalex.org/C195518309","wikidata":"https://www.wikidata.org/wiki/Q13424265","display_name":"Security testing","level":5,"score":0.47867709398269653},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.46992480754852295},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.4594602882862091},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4537714421749115},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.44616782665252686},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4439883828163147},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.25717490911483765},{"id":"https://openalex.org/C103377522","wikidata":"https://www.wikidata.org/wiki/Q3493999","display_name":"Security information and event management","level":4,"score":0.20951882004737854},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2088213562965393},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.19388693571090698},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.1903051733970642},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13802242279052734},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1119515597820282},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sies.2014.6871210","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2014.6871210","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.44999998807907104}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W87635799","https://openalex.org/W2122907855","https://openalex.org/W2171554877","https://openalex.org/W2620084289","https://openalex.org/W6603557143"],"related_works":["https://openalex.org/W2949414923","https://openalex.org/W3010058685","https://openalex.org/W180225578","https://openalex.org/W2582581455","https://openalex.org/W1489825633","https://openalex.org/W2076491497","https://openalex.org/W1576832582","https://openalex.org/W2120086576","https://openalex.org/W2992498753","https://openalex.org/W168077931"],"abstract_inverted_index":{"In":[0,20,32],"the":[1,17,50,56,125,152],"automotive":[2],"domain,":[3],"it":[4],"is":[5,63,102,133],"of":[6,16,41,46,59,96,113,119,127],"paramount":[7],"importance":[8],"to":[9,115],"ensure":[10],"safety,":[11],"and":[12,24,39,43,53,66,80,83,109],"recently":[13],"also":[14],"security,":[15],"developed":[18],"products.":[19],"many":[21],"cases":[22],"safety":[23,121,154],"security":[25],"are":[26],"handled":[27],"separately":[28],"by":[29,77,106],"independent":[30],"teams.":[31],"this":[33],"paper":[34],"we":[35],"deal":[36],"with":[37,135],"testing":[38,90],"validation":[40],"safety-":[42],"security-related":[44,89],"properties":[45],"control":[47,99,131],"software":[48,132],"in":[49],"AUTOSAR":[51],"architecture":[52],"show":[54],"that":[55,67,76,101,146],"strict":[57],"separation":[58],"those":[60],"two":[61],"activities":[62],"not":[64],"necessary":[65],"combining":[68],"them":[69,85],"can":[70],"bring":[71],"economic":[72],"benefits.":[73],"We":[74,92],"demonstrate":[75],"developing":[78],"software-in-the-loop":[79],"hardware-in-the-loop":[81],"testbeds":[82],"use":[84],"for":[86],"both":[87],"safety-and":[88],"activities.":[91],"evaluate":[93],"a":[94,111,136],"prototype":[95],"electric":[97],"motors":[98],"software,":[100],"currently":[103],"under":[104,124],"development":[105],"Infineon":[107],"Technologies,":[108],"perform":[110],"number":[112],"tests":[114],"verify":[116],"correct":[117],"functionality":[118],"implemented":[120,153],"measures":[122,155],"even":[123],"presence":[126],"attacks.":[128],"The":[129,143],"motor":[130],"integrated":[134],"message":[137],"authentication":[138],"protocol":[139],"on":[140],"CAN":[141],"bus.":[142],"results":[144],"show,":[145],"apart":[147],"from":[148],"few":[149],"minor":[150],"problems,":[151],"function":[156],"correctly.":[157]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}