{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T07:19:11Z","timestamp":1769584751032,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642336744","type":"print"},{"value":"9783642336751","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33675-1_36","type":"book-chapter","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T12:33:04Z","timestamp":1347280384000},"page":"392-399","source":"Crossref","is-referenced-by-count":3,"title":["Towards the Automated Qualification of Tool Chain Design"],"prefix":"10.1007","author":[{"given":"Fredrik","family":"Asplund","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Biehl","sequence":"additional","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Loiret","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","unstructured":"Biehl, M.: Tool Integration Language. Technical Report ISRN\/KTH\/MMK\/R-11\/16-SE, Royal Institute of Technology (KTH) (September 2011)"},{"key":"36_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-31128-4_4","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2012","author":"M. Biehl","year":"2012","unstructured":"Biehl, M.: Early Automated Verification of Tool Chain Design. In: Murgante, B., Gervasi, O., Misra, S., Nedjah, N., Rocha, A.M.A.C., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2012, Part IV. LNCS, vol.\u00a07336, pp. 40\u201350. Springer, Heidelberg (2012)"},{"key":"36_CR3","unstructured":"CENELEC. BS\/EN 50128:2001, railway applications - communications, signalling and processing systems - software for railway control and protection systems (2001)"},{"key":"36_CR4","unstructured":"International\u00a0Electrotechnical Commission. BS\/IEC 61508:2010, functional safety of electrical\/electronic\/programmable electronic safety-related systems"},{"key":"36_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1007\/978-3-642-33678-2_29","volume-title":"SAFECOMP 2012","author":"F. Asplund","year":"2012","unstructured":"Asplund, F., El-khoury, J., T\u00f6rngren, M.: Qualifying Software Tools, a Systems Approach. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol.\u00a07612, pp. 340\u2013351. Springer, Heidelberg (2012)"},{"key":"36_CR6","unstructured":"Biehl, et al.: A Domain Specific Language for Generating Tool Integration Solutions. In: 4th Workshop on Model-Driven Tool & Process Integration at the European Conference on Modelling Foundations and Applications (June 2011)"},{"key":"36_CR7","doi-asserted-by":"crossref","unstructured":"Biehl, et al.: High-Level Specification and Code Generation for Service-Oriented Tool Adapters. In: Proceedings of ICCSA 2012 (June 2012)","DOI":"10.1109\/ICCSA.2012.16"},{"key":"36_CR8","unstructured":"Christie, et al.: Software Process Automation: Interviews, Survey, and Workshop Results. Technical report, SEI (1997)"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Conrad, et al.: Qualifying software tools according to ISO 26262. In: Proceedings of MBEES 2010 (February 2010)","DOI":"10.4271\/2011-01-1005"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Hamann, et al.: ISO 26262 release just ahead - remaining problems and proposals for solutions. In: SAE 2011 World Congress & Exhibition (April 2011)","DOI":"10.4271\/2011-01-1000"},{"key":"36_CR11","unstructured":"International Organization for Standardization. ISO 26262:2011, road vehicles - functional safety (2011)"},{"key":"36_CR12","unstructured":"Special Committee 205 of RTCA. DO-178C, software considerations in airborne systems and equipment certification (2011)"},{"key":"36_CR13","unstructured":"Special Committee 205 of RTCA. DO-330, software tool qualification considerations (2011)"}],"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-33675-1_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:18:31Z","timestamp":1620116311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33675-1_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336744","9783642336751"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33675-1_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}