{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:37:57Z","timestamp":1743053877802,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242694"},{"type":"electronic","value":"9783642242700"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24270-0_27","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T10:51:44Z","timestamp":1315392704000},"page":"369-382","source":"Crossref","is-referenced-by-count":6,"title":["Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Bonifacio","sequence":"first","affiliation":[]},{"given":"Pietro","family":"Marmo","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Orazzo","sequence":"additional","affiliation":[]},{"given":"Ida","family":"Petrone","sequence":"additional","affiliation":[]},{"given":"Luigi","family":"Velardi","sequence":"additional","affiliation":[]},{"given":"Alessio","family":"Venticinque","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","volume-title":"Requirements Engineering","author":"G. Kotonya","year":"1998","unstructured":"Kotonya, G., Sommerville, I.: Requirements Engineering. John Wiley & Sons, Chichester (1998)"},{"key":"27_CR2","unstructured":"IEEE Recommended Practice for Software Requirements Specification. IEEE Std 830-1998 (1998)"},{"key":"27_CR3","unstructured":"CENELEC EN 50126: Railway applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (2001)"},{"key":"27_CR4","unstructured":"CENELEC EN 50128: Railway Applications - Communication, signalling and processing systems - Software for railway control and protection systems (2001)"},{"key":"27_CR5","unstructured":"CENELEC EN 50129: Railway applications - Communication, signalling and processing systems - Safety related electronic systems for signalling (2003)"},{"key":"27_CR6","unstructured":"CENELEC EN 50159-1: Railway applications - Communication, signalling and processing systems \u2013 Part 1: Safety-related communication in closed transmission systems (2001)"},{"key":"27_CR7","unstructured":"CENELEC EN 50159-2: Railway applications - Communication, signalling and processing systems \u2013 Part 2: Safety-related communication in open transmission systems (2001)"},{"key":"27_CR8","unstructured":"CENELEC Home Page, \n                    \n                      https:\/\/www.cenelec.org"},{"key":"27_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/11408901_23","volume-title":"Dependable Computing - EDCC 2005","author":"G. Nicola De","year":"2005","unstructured":"De Nicola, G., di Tommaso, P., Esposito, R., Flammini, F., Marmo, P., Orazzo, A.: A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems. In: Dal Cin, M., Ka\u00e2niche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol.\u00a03463, pp. 305\u2013317. Springer, Heidelberg (2005)"},{"key":"27_CR10","unstructured":"De Nicola, G., di Tommaso, P., Esposito, R., Flammini, F., Marmo, P., Orazzo, A.: ERTMS\/ETCS: Working Principles and Validation. In: Proc. International Conference on Ship Propulsion and Railway Traction Systems, SPRTS 2005, Bologna, Italy, pp. 59\u201368 (2005)"},{"key":"27_CR11","unstructured":"UNISIG, ERTMS\/ETCS \u2013 Class 1, Scope of Test Specifications, Subset-076-7, issue 1.0.2 (2009)"},{"key":"27_CR12","unstructured":"UNISIG, ERTMS\/ETCS \u2013 Class 1, Interoperability Test Guidelines, Subset-110, issue 1.0.0 (2009)"},{"key":"27_CR13","unstructured":"UNISIG, ERTMS\/ETCS \u2013 Class 1, Interoperability Test Environment Definition (General), Subset-111-1, issue 1.0.0 (2009)"},{"key":"27_CR14","unstructured":"UNISIG, ERTMS\/ETCS \u2013 Class 1, Rules for Interoperability Test Scenarios, Subset-112, issue 0.1.4 (2008)"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Farfeleder, S., Moser, T., Krall, A., St\u00e5lhane, T., Zojer, H., Panis, C.: DODT: Increasing Requirements Formalism using Domain Ontologies for Improved Embedded System Development. In: 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, Germany (2011)","DOI":"10.1109\/DDECS.2011.5783092"},{"key":"27_CR16","volume-title":"Requirements Engineering","author":"E. Hull","year":"2005","unstructured":"Hull, E., Jackson, K., Dick, J.: Requirements Engineering. Springer, Heidelberg (2005)"},{"key":"27_CR17","unstructured":"St\u00e5lhane, T., Omoronyia, I., Reichenbach, F.: Ontology-guided requirements and safety analysis. In: Proceedings of 6th International Conference on Safety of Industrial Automated Systems, SIAS 2010 (2010)"},{"key":"27_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-14192-8_18","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"I. Omoronyia","year":"2010","unstructured":"Omoronyia, I., Sindre, G., St\u00e5lhane, T., Biffl, S., Moser, T., Sunindyo, W.: A Domain Ontology Building Process for Guiding Requirements Elicitation. In: Wieringa, R., Persson, A. (eds.) REFSQ 2010. LNCS, vol.\u00a06182, pp. 188\u2013202. Springer, Heidelberg (2010)"},{"key":"27_CR19","unstructured":"De Nicola, G., di Tommaso, P., Esposito, R., Flammini, F., Marmo, P., Orazzo, A.: An experience in validating train control systems by a grey-box testing approach. In: The Second International Conference on Complex, Intelligent and Software Intensive System, Technical University of Catalonia Barcelona, Spain (2008)"}],"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-24270-0_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T23:42:40Z","timestamp":1554162160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24270-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242694","9783642242700"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24270-0_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}