{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:53:20Z","timestamp":1725857600542},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319339504"},{"type":"electronic","value":"9783319339511"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-33951-1_14","type":"book-chapter","created":{"date-parts":[[2016,6,14]],"date-time":"2016-06-14T05:21:26Z","timestamp":1465881686000},"page":"191-202","source":"Crossref","is-referenced-by-count":4,"title":["Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements"],"prefix":"10.1007","author":[{"given":"Daniel","family":"K\u00e4stner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Ferdinand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,15]]},"reference":[{"key":"14_CR1","unstructured":"AbsInt. The Static Analyzer Astr\u00e9e \u2013 User Documentation for AAL Annotations (2015)"},{"key":"14_CR2","unstructured":"Barr, M.: Bookout v. Toyota, 2005 Camry software Analysis by Michael Barr (2013). http:\/\/www.safetyresearch.net\/Library\/BarrSlides_FINAL_SCRUBBED.pdf"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2003), pp. 196\u2013207, San Diego, California, USA, 7\u201314 June 2003. ACM Press (2003)","DOI":"10.1145\/781131.781153"},{"key":"14_CR4","unstructured":"CENELEC EN 50128. Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems (2011)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R., Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: 4th POPL, pp. 238\u2013252. ACM Press, Los Angeles (1977)","DOI":"10.1145\/512950.512973"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/978-3-540-74061-2_27","volume-title":"Static Analysis","author":"D Delmas","year":"2007","unstructured":"Delmas, D., Souyris, J.: Astr\u00e9e: from research to industry. In: Riis Nielson, H., Fil\u00e9, G. (eds.) SAS 2007. LNCS, vol. 4634, pp. 437\u2013451. Springer, Heidelberg (2007)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Ferdinand, C., Heckmann, R.: Worst-case execution time - a tool provider\u2019s perspective. In: Proceedings of the International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC), pp. 340\u2013345. IEEE Computer Society, Orlando, May 2008","DOI":"10.1109\/ISORC.2008.16"},{"key":"14_CR8","unstructured":"Ferdinand, C., Heckmann, R., Jersak, M., Martin, F., Richter, K.: Integrating system-level and code-level timing analysis for dependable system development. In: 4th European Congress ERTS Embedded Real Time Software, Toulouse, France, January 2008"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-540-24725-8_4","volume-title":"Programming Languages and Systems","author":"J Feret","year":"2004","unstructured":"Feret, J.: Static analysis of digital filters. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol. 2986, pp. 33\u201348. Springer, Heidelberg (2004)"},{"key":"14_CR10","unstructured":"Gebhard, G.: Static Timing Analysis Tool Validation in the Presence of Timing Anomalies. PhD thesis, Saarland University (2013)"},{"key":"14_CR11","unstructured":"K\u00e4stner, D., Pister, M., Gebhard, G., Schlickling, M., Ferdinand, C.: Confidence in Timing. Safecomp 2013 Workshop: Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), September 2013"},{"key":"14_CR12","unstructured":"K\u00e4stner, D., Pohland, J.: Program analysis on evolving software. In: Roy, M. (ed.) CARS 2015 - Critical Automotiveapplications: Robustness & Safety, Paris, September 2015"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D., Schlickling, M., Pister, M., Cullmann, C., Gebhard, G., Heckmann, R., Ferdinand, C.: Meeting real-time requirements with multi-core processors. Safecomp 2012 Workshop: Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), September 2012","DOI":"10.1007\/978-3-642-33675-1_10"},{"key":"14_CR14","unstructured":"K\u00e4stner, D., Wilhelm, S., Nenova, S., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Rival, X.: Astr\u00e9e: Proving the Absence of Runtime Errors. Embedded Real Time Software and Systems Congress $$ERTS^2$$ E R T S 2 (2010)"},{"key":"14_CR15","unstructured":"Lions, J., et al.: ARIANE 5, Flight 501 Failure. Report by the Inquiry Board (1996)"},{"issue":"1","key":"14_CR16","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s10990-006-8609-1","volume":"19","author":"A Min\u00e9","year":"2006","unstructured":"Min\u00e9, A.: The octagon abstract domain. Higher-Order Symbolic Comput. 19(1), 31\u2013100 (2006)","journal-title":"Higher-Order Symbolic Comput."},{"issue":"26","key":"14_CR17","first-page":"63","volume":"8","author":"A Min\u00e9","year":"2012","unstructured":"Min\u00e9, A.: Static analysis of run-time errors in embedded real-time parallel C programs. Logical Methods Comput. Sci. (LMCS) 8(26), 63 (2012)","journal-title":"Logical Methods Comput. Sci. (LMCS)"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Min\u00e9, A., Delmas, D.: Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software. In: Proceeding of the 15th International Conference on Embedded Software (EMSOFT 2015), pp. 65\u201374. IEEE CS Press, October 2015","DOI":"10.1109\/EMSOFT.2015.7318261"},{"key":"14_CR19","unstructured":"Min\u00e9, A., Mauborgne, L., Rival, X., Feret, J., Cousot, P., K\u00e4stner, D., Wilhelm, S., Ferdinand, C.: Taking Static Analysis to the Next Level: Proving the Absence ofRun-Time Errors and Data Races with Astr\u00e9e. Embedded Real Time Software and Systems Congress $$ERTS^2$$ E R T S 2 (2016)"},{"key":"14_CR20","unstructured":"NASA Engineering and Safety Center. Technical Support to the National Highway Traffic Safety Administration (NHTSA) on the Reported Toyota Motor Corporation (TMC) Unintended Acceleration (UA) Investigation (2011)"},{"key":"14_CR21","unstructured":"Radio Technical Commission for Aeronautics. Formal Methods Supplement to DO-178C and DO-278A (2011)"},{"key":"14_CR22","unstructured":"Radio Technical Commission for Aeronautics. RTCA DO-178C. Software Considerations in Airborne Systems and Equipment Certification (2011)"},{"key":"14_CR23","unstructured":"Souyris, J., Pavec, E.L., Himbert, G., J\u00e9gu, V., Borios, G., Heckmann, R.: Computing the worst case execution time of an avionics program by abstract interpretation. In: Proceedings of the 5th International Workshop on Worst-case Execution Time (WCET 2005), Mallorca, pp. 21\u201324 (2005)"},{"key":"14_CR24","unstructured":"Transcript of Morning Trial Proceedings had on the 14th day of October 2013 Before the Honorable Patricia G. Parrish, District Judge, Case No.CJ-2008-7969, October 2013. http:\/\/www.safetyresearch.net\/Library\/Bookout_v_Toyota_Barr_REDACTED.pdf"},{"issue":"3","key":"14_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenstr\u00f6m, P.: The worst-case execution-time problem\u2013overview of methods and survey of tools. ACM Trans. Embedded Comput. Syst. 7(3), 1\u201353 (2008)","journal-title":"ACM Trans. Embedded Comput. Syst."},{"issue":"7","key":"14_CR26","first-page":"966","volume":"28","author":"R Wilhelm","year":"2009","unstructured":"Wilhelm, R., Grund, D., Reineke, J., Pister, M., Schlickling, M., Ferdinand, C.: Memory hierarchies, pipelines, and buses for future time-critical embedded architectures. IEEE TCAD 28(7), 966\u2013978 (2009)","journal-title":"IEEE TCAD"}],"container-title":["Lecture Notes in Computer Science","Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33951-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T14:26:16Z","timestamp":1568039176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33951-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319339504","9783319339511"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33951-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}