{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:26:10Z","timestamp":1726410370974},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336775"},{"type":"electronic","value":"9783642336782"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33678-2_22","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T11:02:42Z","timestamp":1346929362000},"page":"258-267","source":"Crossref","is-referenced-by-count":3,"title":["Reviewing Software Models in Compliance with ISO 26262"],"prefix":"10.1007","author":[{"given":"Ingo","family":"St\u00fcrmer","sequence":"first","affiliation":[]},{"given":"Elke","family":"Salecker","sequence":"additional","affiliation":[]},{"given":"Hartmut","family":"Pohlheim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"MES Strong Data Typing toolbox \u2013 guidelines and checks, \n                    \n                      http:\/\/www.model-engineers.com\/en\/our-products\/model-examiner\/sdt-toolbox.html"},{"key":"22_CR2","unstructured":"MISRA AC SLSF: Modelling design and style guidelines for the application of Simulink and Stateflow (2009) 978-906400-07-1"},{"key":"22_CR3","unstructured":"MISRA AC TL: Modelling style guidelines for the application of TargetLink in the context of code generation (2009) 978-906400-07-1"},{"key":"22_CR4","unstructured":"dSPACE Modeling Guidelines for TargetLink (2010)"},{"key":"22_CR5","unstructured":"dSPACE: TargetLink \u2013 Production Code Generator (2011), \n                    \n                      http:\/\/www.dspace.com"},{"key":"22_CR6","unstructured":"The MathWorks (product information) (2011), \n                    \n                      http:\/\/www.mathworks.com\/products"},{"key":"22_CR7","unstructured":"The MathWorks simulink modeling guidelines for high-integrity systems (2011)"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1147\/sj.382.0258","volume":"38","author":"M.E. Fagan","year":"1999","unstructured":"Fagan, M.E.: Design and code inspections to reduce errors in program development. IBM Syst. J.\u00a038, 258\u2013287 (1999)","journal-title":"IBM Syst. J."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Fey, I., St\u00fcrmer, I.: Quality assurance methods for model-based development: A survey and assessment. In: SAE World Congress & Exhibition, number 2007-01-0506 (2007)","DOI":"10.4271\/2007-01-0506"},{"key":"22_CR10","unstructured":"MathWorks Automotive Advisory Board (MAAB). Control Algorithm Modeling Guidelines Using Matlab\u00ae, Simulink\u00ae, and Stateflow\u00ae (July 2011)"},{"key":"22_CR11","unstructured":"St\u00fcrmer, I., Pohlheim, H., Rogier, T.: Calculation and visualization of model complexity in model-based design of safety-related software. In: Keller, B. (ed.) Automotive - Safety & Security, pp. 69\u201382. Shaker (2010)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"St\u00fcrmer, I., Stamatov, S., Eisemann, U.: Automated checking of misra targetlink and autosar guidelines. SAE Int. J. Passeng. Cars, 68\u201376 (2009)","DOI":"10.4271\/2009-01-0267"},{"key":"22_CR13","unstructured":"St\u00fcrmer, I., Pohlheim, H.: Model Quality Assessment in Practice: How to Measure and Assess the Quality of Software Models During the Embedded Software Development Process. In: Proc. of Int. Congress of Embedded Real Time Software and Systems (ERTS 2012), Toulouse, France (2012)"}],"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-642-33678-2_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:18:44Z","timestamp":1620116324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33678-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336775","9783642336782"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33678-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}