{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T15:37:44Z","timestamp":1773329864000,"version":"3.50.1"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319986531","type":"print"},{"value":"9783319986548","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-99130-6_6","type":"book-chapter","created":{"date-parts":[[2018,8,16]],"date-time":"2018-08-16T12:33:48Z","timestamp":1534422828000},"page":"73-87","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Model-Based Safety Analysis of Dependencies Across Abstraction Layers"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Dropmann","sequence":"first","affiliation":[]},{"given":"Eike","family":"Thaden","sequence":"additional","affiliation":[]},{"given":"Mario","family":"Trapp","sequence":"additional","affiliation":[]},{"given":"Denis","family":"Uecker","sequence":"additional","affiliation":[]},{"given":"Rakshith","family":"Amarnath","sequence":"additional","affiliation":[]},{"given":"Leandro Avila","family":"da Silva","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Munk","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Schweizer","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Jung","sequence":"additional","affiliation":[]},{"given":"Rasmus","family":"Adler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,17]]},"reference":[{"key":"6_CR1","unstructured":"QNX Auto Blog. http:\/\/qnxauto.blogspot.de . Accessed 22 Feb 2018"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Kopetz, H., Obermaisser, R., El Salloum, C., Huber, B.: Automotive software development for a multi-core system-on-a-chip. In: Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems. IEEE Computer Society, May 2007","DOI":"10.1109\/SEAS.2007.2"},{"key":"6_CR3","unstructured":"ISO: ISO 26262 - Road vehicles - Functional safety (2011)"},{"key":"6_CR4","unstructured":"IEC: IEC 61508 - functional safety of electrical\/electronic\/programmable electronic safety-related systems (2010)"},{"key":"6_CR5","unstructured":"RTCA: DO-178C: Software Consideration in Airborne Systems and Equipment Certification (2012)"},{"key":"6_CR6","unstructured":"SYSGO Homepage. https:\/\/www.sysgo.com . Accessed 22 Feb 2018"},{"key":"6_CR7","unstructured":"BlackBerry Homepage. http:\/\/blackberry.qnx.com\/en\/sdp7 . Accessed 22 Feb 2018"},{"key":"6_CR8","unstructured":"AUTOSAR development partnership, Specification of Operating System (v 5.3.0) (2014)"},{"key":"6_CR9","unstructured":"Schirmeier, H., Hoffmann, M., Kapitza, R., Lohmann, D., Spinczyk, O.: Fail\u2217: towards a versatile fault-injection experiment framework. In: ARCS Workshops (ARCS) 2012, pp. 1\u20135. IEEE, February 2012"},{"key":"6_CR10","unstructured":"John, R.: Partitioning in avionics architectures: requirements, mechanisms, and assurance (1999)"},{"key":"6_CR11","unstructured":"Kotaba, O., Nowotsch, J., Paulitsch, M., Petters, S.M., Theiling, H.: Multicore in real-time systems\u2013temporal isolation challenges due to shared resources. In: Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems, March 2013"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Zimmer, B., Dropmann, C., H\u00e4nger, J.U.: A systematic approach for software interference analysis. In: Software Reliability Engineering (ISSRE) 2014. IEEE, November 2014","DOI":"10.1109\/ISSRE.2014.12"},{"key":"6_CR13","unstructured":"Dropmann, C., Amorim, T., Ruiz, A., Schneider, D.: Towards safe mixed critical embedded multi-core systems in dynamic and changeable environments. CPS Week EMC2, Vienna, Austria, April 2016"},{"key":"6_CR14","unstructured":"OMG SysML Website. http:\/\/www.omgsysml.org . Accessed 05 Mar 2018"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-24270-0_3","volume-title":"Computer Safety, Reliability, and Security","author":"B Zimmer","year":"2011","unstructured":"Zimmer, B., B\u00fcrklen, S., Knoop, M., H\u00f6fflinger, J., Trapp, M.: Vertical safety interfaces \u2013 improving the efficiency of modular certification. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 29\u201342. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24270-0_3"},{"issue":"2","key":"6_CR16","first-page":"8","volume":"8","author":"D Schneider","year":"2013","unstructured":"Schneider, D., Trapp, M.: Conditional safety certification of open adaptive systems. ACM Trans. Auton. Adapt. Syst. (TAAS) 8(2), 8 (2013)","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis & design language (AADL): an introduction (No. CMU\/SEI-2006-TN-011). Carnegie-Mellon University, Pittsburgh, Software Engineering Institute, PA (2006)","DOI":"10.21236\/ADA455842"},{"key":"6_CR18","unstructured":"EAST-ADL Association: EAST-ADL Domain Model Specification. Version V2.1.12. EAST-ADL Association, G\u00f6teborg (2013)"},{"key":"6_CR19","unstructured":"Hilbrich, R., Behrisch, M.: Improving the efficiency of dislocality constraints for an automated software mapping in safety-critical systems (2018)"},{"issue":"2","key":"6_CR20","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1016\/j.engfailanal.2010.09.025","volume":"18","author":"Y Papadopoulos","year":"2011","unstructured":"Papadopoulos, Y., Walker, M., Parker, D., R\u00fcde, E., et al.: Engineering failure analysis and design optimisation with HiP-HOPS. Eng. Fail. Anal. 18(2), 590\u2013608 (2011)","journal-title":"Eng. Fail. Anal."},{"key":"6_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34614-9_8","volume-title":"Model-Based Engineering of Embedded Systems, pp 107\u2013118","author":"K H\u00f6fig","year":"2012","unstructured":"H\u00f6fig, K., Trapp, M., Zimmer, B., Liggesmeyer, P.: Modeling quality aspects: safety. In: Pohl, K., H\u00f6nninger, H., Achatz, R., Broy, M. (eds.) Model-Based Engineering of Embedded Systems, pp 107\u2013118. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34614-9_8"},{"key":"6_CR22","doi-asserted-by":"crossref","first-page":"66","DOI":"10.7250\/csimq.2015-4.05","volume":"4","author":"B Kaiser","year":"2015","unstructured":"Kaiser, B., Weber, R., Oertel, M., B\u00f6de, E., Nejad, B.M., Zander, J.: Contract-based design of embedded systems integrating nominal behavior and safety. Complex Syst. Inf. Model. Q. 4, 66\u201391 (2015)","journal-title":"Complex Syst. Inf. Model. Q."},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"H\u00f6fig, K., Zeller, M., Heilmann, R.: ALFRED: a methodology to enable component fault trees for layered architectures. In: 2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 167\u2013176. IEEE, August 2015","DOI":"10.1109\/SEAA.2015.26"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Vitali, E., Palermo, G.: Early stage interference checking for automatic design space exploration of mixed critical systems. In: Proceedings of the 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, p. 3. ACM, January 2017","DOI":"10.1145\/3023973.3023976"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Sari, B., Reuss, H.C.: A model-driven approach for dependent failure analysis in consideration of multicore processors using modified EAST-ADL (No. 2017-01-0065). SAE Technical Paper (2017)","DOI":"10.4271\/2017-01-0065"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Di Vito, B.L.: A model of cooperative noninterference for integrated modular avionics. In: Dependable Computing for Critical Applications 7, 1999. IEEE, January 1999","DOI":"10.1109\/DCFTS.1999.814300"},{"issue":"1\u20133","key":"6_CR27","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.jhazmat.2009.08.076","volume":"173","author":"J Dunj\u00f3","year":"2010","unstructured":"Dunj\u00f3, J., Fthenakis, V., V\u00edlchez, J.A., Arnaldos, J.: Hazard and operability (HAZOP) analysis. A literature review. J. Hazard. Mater. 173(1\u20133), 19\u201332 (2010)","journal-title":"J. Hazard. Mater."},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Auerswald, M., Herrmann, M., Schulte-Coerne, V.: Entwurfsmuster f\u00fcr fehlertolerante softwareintensive Systeme (Design Patterns for Fault-Tolerant Software-Intensive Systems). at-Automatisierungstechnik Methoden und Anwendungen der Steuerungs-, Regelungs-und Informationstechnik, 50(8\/2002), 389 (2002)","DOI":"10.1524\/auto.2002.50.8.389"},{"key":"6_CR29","unstructured":"Feth, P., Adler, R.: Service-based modeling of cyber-physical automotive systems: a classification of services. In: Workshop CARS 2016-Critical Automotive Applications: Robustness & Safety, September 2016"},{"issue":"1","key":"6_CR30","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., et al.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"M\u00f6hrle, F., Bizik, K., Zeller, M., H\u00f6fig, K., Rothfelder, M., Liggesmeyer, P.: A formal approach for automating compositional safety analysis using flow type annotations in: component fault trees. In: Risk, Reliability and Safety: Innovating Theory and Practice: Proceedings of ESREL. Taylor & Francis, CRC Press, Portoroz, Slovenia, June 2017","DOI":"10.1201\/9781315210469-442"},{"key":"6_CR32","unstructured":"Amalthea Project Homepage. http:\/\/www.amalthea-project.org\/ . Accessed 01 Mar 2018"},{"key":"6_CR33","series-title":"Lecture Notes on Data Engineering and Communications Technologies","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1007\/978-3-319-49109-7_75","volume-title":"Advances on P2P, Parallel, Grid, Cloud and Internet Computing","author":"H Li","year":"2017","unstructured":"Li, H., De Meulenaere, P., Hellinckx, P.: Powerwindow: a multi-component TACLeBench benchmark for timing analysis. Advances on P2P, Parallel, Grid, Cloud and Internet Computing. LNDECT, vol. 1, pp. 779\u2013788. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-49109-7_75"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99130-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T10:54:29Z","timestamp":1751799269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99130-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319986531","9783319986548"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99130-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}