{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:03:49Z","timestamp":1725804229887},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105055"},{"type":"electronic","value":"9783319105062"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10506-2_19","type":"book-chapter","created":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T02:41:50Z","timestamp":1409712110000},"page":"278-293","source":"Crossref","is-referenced-by-count":4,"title":["Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements"],"prefix":"10.1007","author":[{"given":"Raphael Fonte Boa","family":"Trindade","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukas","family":"Bulwahn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Ainhauser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Arora, A., Kulkarni, S.S.: Detectors and correctors: A theory of fault-tolerance components. In: Int. Conf. on Distributed Computing Systems, pp. 436\u2013443 (1998)","key":"19_CR1","DOI":"10.1109\/ICDCS.1998.679772"},{"unstructured":"Artop User Group: Artop \u2013 AUTOSAR tool platform, http:\/\/www.artop.org","key":"19_CR2"},{"unstructured":"Artop User Group: Artext \u2013 an AUTOSAR textual language framework (2013), http:\/\/www.artop.org\/artext","key":"19_CR3"},{"unstructured":"AUTOSAR Development Partnership: Main requirements (v 2.1.0, rel 4.0, rev 1)","key":"19_CR4"},{"unstructured":"Cuenot, P., Ainhauser, C., Adler, N., Otten, S., Meurville, F.: Applying model based techniques for early safety evaluation of an automotive architecture in compliance with the ISO 26262 standard. In: Embedded Real-Time Software and Systems, ERTS (2014)","key":"19_CR5"},{"doi-asserted-by":"crossref","unstructured":"Erkkinen, T., Conrad, M.: Safety-critical software development using automatic production code generation (technical paper). In: SAE World Congress 2007 (2007)","key":"19_CR6","DOI":"10.4271\/2007-01-1493"},{"unstructured":"ISO: ISO\/FDIS 26262, Part 6 - product development at the software level (2011)","key":"19_CR7"},{"unstructured":"ISO: ISO\/FDIS 26262 road vehicles \u2013 functional safety (2011)","key":"19_CR8"},{"unstructured":"ITEA2 Project SAFE: Deliverable D3.6.b: Safety code generator specification (2013), https:\/\/itea3.org\/project\/workpackage\/document\/download\/1556\/10039-SAFE-WP-3-SAFED36b.pdf","key":"19_CR9"},{"unstructured":"ITEA2 Project SAFE: Safe - Safe Automotive software architecture (2013), http:\/\/www.safe-project.eu\/","key":"19_CR10"},{"unstructured":"ITEA2 Project SAFE: Deliverable D5.6.c: Evaluation of safety code generation, http:\/\/www.safe-project.eu\/SAFE-Download.html (to be published, 2014)","key":"19_CR11"},{"issue":"8","key":"19_CR12","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1524\/auto.2002.50.8.362","volume":"50","author":"H. Kirrmann","year":"2002","unstructured":"Kirrmann, H., Grosspietsch, K.: Fault-tolerant control systems (survey paper). Automatisierungstechnik\u00a050(8), 362\u2013374 (2002)","journal-title":"Automatisierungstechnik"},{"doi-asserted-by":"crossref","unstructured":"Mader, R., Griessnig, G., Armengaud, E., Leitner, A., Kreiner, C., Bourrouilh, Q., Steger, C., Weiss, R.: A bridge from system to software development for safety-critical automotive embedded systems. In: 38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012, pp. 75\u201379 (2012)","key":"19_CR13","DOI":"10.1109\/SEAA.2012.61"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-40793-2_21","volume-title":"Computer Safety, Reliability, and Security","author":"P. Masci","year":"2013","unstructured":"Masci, P., Ayoub, A., Curzon, P., Lee, I., Sokolsky, O., Thimbleby, H.: Model-based development of the generic PCA infusion pump user interface prototype in PVS. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP. LNCS, vol.\u00a08153, pp. 228\u2013240. Springer, Heidelberg (2013)"},{"unstructured":"MIRA Ltd.: MISRA-C:2004 Guidelines for the use of the C language in critical systems (2004), http:\/\/www.misra.org.uk","key":"19_CR15"},{"unstructured":"NASA: NASA software safety guidebook. NASA (2004)","key":"19_CR16"},{"unstructured":"The MathWorks Inc.: Simulink (2013)","key":"19_CR17"},{"doi-asserted-by":"crossref","unstructured":"Voelter, M., Ratiu, D., Sch\u00e4tz, B., Kolb, B.: mbeddr: An extensible C-based programming language and IDE for embedded systems. In: Proc. of the 3rd Ann. Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH 2012, pp. 121\u2013140. ACM (2012)","key":"19_CR18","DOI":"10.1145\/2384716.2384767"},{"unstructured":"Wu, W., Kelly, T.: Safety tactics for software architecture design. In: Proc. of the 28th Annual Int. Computer Software and Applications Conference, COMPSAC 2004, pp. 368\u2013375. IEEE (2004)","key":"19_CR19"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10506-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,16]],"date-time":"2022-04-16T05:00:40Z","timestamp":1650085240000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10506-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105055","9783319105062"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10506-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}