Abstract
In order to sustain competitiveness in transport domain, especially in automotive, aerospace and rail, it is extremely important to control and optimize the entire development process of complex safety-critical embedded systems. In this context, the ARTEMIS EU-project CESAR (Cost-Efficient methods and processes for SAfety Relevant embedded systems) aims to boost cost efficiency of embedded systems development, safety and certification processes by an order of magnitude. We want to achieve the above target in the railway domain with particular emphasis on the Verification and Validation (V&V) process where activities to be performed, due to their complexity, require a significant amount of economical resources. Starting from an industrial use case (the On- Board Unit of the European Railway Traffic Management System Level 1, ERTMS L1) we provide a methodology that overcomes some weaknesses in testing processes. It supports requirements analysis and automatic test cases generation, avoiding a computational explosion.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Kotonya, G., Sommerville, I.: Requirements Engineering. John Wiley & Sons, Chichester (1998)
IEEE Recommended Practice for Software Requirements Specification. IEEE Std 830-1998 (1998)
CENELEC EN 50126: Railway applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (2001)
CENELEC EN 50128: Railway Applications - Communication, signalling and processing systems - Software for railway control and protection systems (2001)
CENELEC EN 50129: Railway applications - Communication, signalling and processing systems - Safety related electronic systems for signalling (2003)
CENELEC EN 50159-1: Railway applications - Communication, signalling and processing systems – Part 1: Safety-related communication in closed transmission systems (2001)
CENELEC EN 50159-2: Railway applications - Communication, signalling and processing systems – Part 2: Safety-related communication in open transmission systems (2001)
CENELEC Home Page, https://www.cenelec.org
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âniche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol. 3463, pp. 305–317. Springer, Heidelberg (2005)
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–68 (2005)
UNISIG, ERTMS/ETCS – Class 1, Scope of Test Specifications, Subset-076-7, issue 1.0.2 (2009)
UNISIG, ERTMS/ETCS – Class 1, Interoperability Test Guidelines, Subset-110, issue 1.0.0 (2009)
UNISIG, ERTMS/ETCS – Class 1, Interoperability Test Environment Definition (General), Subset-111-1, issue 1.0.0 (2009)
UNISIG, ERTMS/ETCS – Class 1, Rules for Interoperability Test Scenarios, Subset-112, issue 0.1.4 (2008)
Farfeleder, S., Moser, T., Krall, A., Stålhane, 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)
Hull, E., Jackson, K., Dick, J.: Requirements Engineering. Springer, Heidelberg (2005)
Stålhane, 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)
Omoronyia, I., Sindre, G., Stålhane, 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. 6182, pp. 188–202. Springer, Heidelberg (2010)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bonifacio, G., Marmo, P., Orazzo, A., Petrone, I., Velardi, L., Venticinque, A. (2011). Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2011. Lecture Notes in Computer Science, vol 6894. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24270-0_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-24270-0_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24269-4
Online ISBN: 978-3-642-24270-0
eBook Packages: Computer ScienceComputer Science (R0)