{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T16:50:30Z","timestamp":1774630230629,"version":"3.50.1"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319448169","type":"print"},{"value":"9783319448176","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-44817-6_12","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T11:55:25Z","timestamp":1472817325000},"page":"148-159","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":34,"title":["Supporting Cyber-Security Based on Hardware-Software Interface Definition"],"prefix":"10.1007","author":[{"given":"Georg","family":"Macher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"Sporer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugen","family":"Brenner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Kreiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,1]]},"reference":[{"key":"12_CR1","unstructured":"Bisson, P., Martinelli, F., Granadino, R.R.: Cybersecurity Strategic Research Agenda-SRA. In: European Network and Information Security (NIS) Platform NISP-Working Group, 3 (WG3), vol. v0.96, pp. 1\u2013201, August 2015"},{"key":"12_CR2","unstructured":"Cercone, M., Ernst, T.: An EU cybercrime centre to fight online criminals and protect e-consumers. European Commission-Press release, March 2012"},{"key":"12_CR3","unstructured":"Vehicle Electrical System Security Committee, SAE J3061 Cybersecurity Guidebook for Cyber-Physical Automotive Systems"},{"key":"12_CR4","unstructured":"ISO-International Organization for Standardization, ISO 26262 Road vehicles Functional Safety Part 1\u201310 (2011)"},{"key":"12_CR5","unstructured":"The SPICE User Group, Automotive SPICE Process Assessment\/Reference Model V3.0, July 2015"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Macher, G., Sporer, H., Armengaud, E., Kreiner, C.: A versatile approach for ISO26262 compliant hardware-software interface definition with model-based development. SAE Technical Paper, SAE International (2015)","DOI":"10.4271\/2015-01-0148"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Sporer, H., Macher, G., Kreiner, C., Brenner, E.: Resilient interface design for safety-critical embedded automotive software. In: Zizka, J., et al., (eds.) Sixth International Conference on Computer Science and Information Technology, CCSIT 2016, Zurich, Switzerland, pp. 183\u2013199. Academy and Industry Research Collaboration Center (AIRCC) (2016)","DOI":"10.5121\/csit.2016.60117"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"King, M., Dave, N., Arvind: Automatic generation of hardware\/software interfaces. In: Proceedings of the Seventeenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XVII, New York, NY, USA, pp. 325\u2013336. ACM (2012)","DOI":"10.1145\/2150976.2151011"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Tonetta, S.: A property-based proof system for contract-based design. In: 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 21\u201328, September 2012","DOI":"10.1109\/SEAA.2012.68"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Soderberg, A., Johansson, R.: Safety contract based design of software components. In: 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 365\u2013370, November 2013","DOI":"10.1109\/ISSREW.2013.6688922"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Damm, W., Hungar, H., Josko, B., Peikenkamp, T., Stierand, I.: Using contract-based component specifications for virtual integration testing and architecture design. In: Design Automation Test in Europe Conference Exhibition (DATE) 2011, pp. 1\u20136 (2011)","DOI":"10.1109\/DATE.2011.5763167"},{"key":"12_CR12","unstructured":"Iber, J., H\u00f6ller, A., Rauter, T., Kreiner, C.: Towards a generic modeling language for contract-based design. In: 2015 Workshop Proceedings 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp), p. 24 (2015)"},{"key":"12_CR13","unstructured":"ISO-International Organization for Standardization, ISO\/IEC 33000 Series on Process Assessment (2014)"},{"key":"12_CR14","unstructured":"Macher, G., Sporer, H., Armengaud, E., Brenner, E., Kreiner, C.: Using model-based Development for ISO26262 aligned HSI Definition. In: EDCC Conference Proceedings (2015)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Macher, G., Sporer, H., Berlach, R., Armengaud, E., Kreiner, C.: SAHARA: a security-aware hazard and risk analysis method. In: Design Automation Test in Europe Conference Exhibition (DATE) 2015, pp. 621\u2013624 (2015)","DOI":"10.7873\/DATE.2015.0622"},{"key":"12_CR16","unstructured":"ISO-International Organization for Standardization, ISO IEC 7498\u20131 Information technology-Open Systems Interconnection-Basic Reference Model: The Basic Model (1994)"},{"key":"12_CR17","unstructured":"Brown, D., Cooper, G., Gilvarry, I., Rajan, A., Tatourian, A., Venugopalan, R., Wheeler, D., Zhao, M.: Automotive Security Best Practices, White Paper, pp. 1\u201317 (2015)"},{"key":"12_CR18","unstructured":"Hahn, T., Matthews, S., Wood, L., Cohn, J., Regev, S., Fletcher, J., Libow, E., Poulin, C., Ohnishi, K.: IBM Point of View: Internet of Things Security, White paper, April 2015"},{"key":"12_CR19","unstructured":"Windriver, Improving Android Security for Automotive with a Defense-In-Depth Strategy, White Paper (2013)"},{"key":"12_CR20","unstructured":"Pallierer, R., Ziehensack, M.: Secure Ethernet Communication for Autonomous Driving, February 2016"},{"key":"12_CR21","unstructured":"Macher, G., Riel, A., Kreiner, C.: Integrating HARA and TARA-How does this fit with Assumptions of the SAE J3061, Software Quality Professional (2016)"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Otsuka, S., Ishigooka, T., Oishi, Y., Sasazawa, K.: CAN Security; Coste-Effective Intrusion Detection for Real-Time Control Systems, SAE Technical Paper 2014\u201301-0340 (2014)","DOI":"10.4271\/2014-01-0340"},{"key":"12_CR23","unstructured":"Greenberg, A.: Hackers cut a Corvette\u2019s brakes via a common car gadget, November 2015"},{"key":"12_CR24","unstructured":"Mahaffey, K.: Hacking a Tesla Model S: What we found and what we learned, August 2015"}],"container-title":["Communications in Computer and Information Science","Systems, Software and Services Process Improvement"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-44817-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:16:18Z","timestamp":1558394178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-44817-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319448169","9783319448176"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-44817-6_12","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"1 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EuroSPI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Software Process Improvement","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Graz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"eurospi2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}