Abstract
Complex systems are experiencing increasing needs to obtain a higher level of safety and to reduce time to market. This is in particular true for automotive, aerospace and railway domains, pushing the research community to define novel development and verification methods and techniques. The ARTEMIS EU-project MBAT (Combined Model-Based Analysis and Testing of Embedded Systems) represents one of the most important attempts in this direction since it aims to achieve such improvements in several application domains. Starting from the Ansaldo STS implementation of Communication-Based Train Control system (CBTC), which is the base of automatic driverless metro systems, we describe in this paper the improvement that MBAT would bring to the Verification process. To this aim an accurate description of existing Verification process in automatic metro systems and discussion about critical points are provided. Then we describe the expected results of MBAT project on such kind of processes. The proposed approach and developed tools will be part of a common reference platform and, also if related to the railway domain, for its generality, they can be used for different domains with similar needs. The basic agreement in the project will guarantee the cross use of the platform and will give quantitative measures of the obtained improvement.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Schätz, B., Pretschner, A., Huber, F., Philipps, J.: Model-based development. Technical Report TUM-I0204, Institut für Informatik, Technische Universitat Munchen (2002)
Schätz, B., Pretschner, A., Huber, F., Philipps, J.: Model-Based Development of Embedded Systems. In: Proceedings of Advances in Object-Oriented Information Systems, OOIS (2002)
Bender, K., Broy, M., Péter, I., Pretschner, A., Stauner, T.: Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation. In: Modelling, Analysis, and Design of Hybrid Systems (2002)
Ziegenbein, D., Braun, P., Freund, U., Bauer, A., Romberg, J., Schatz, B.: AutoMoDe - model-based development of automotive software. In: Proceedings of Design, Automation and Test in Europe, pp. 171–176 (2005)
Fantechi, A., Gnesi, S.: On the Adoption of Model Checking in Safety-Related Software Industry. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 383–396. Springer, Heidelberg (2011)
Stålhane, T., Omoronyia, I., Reichenbach, F.: Ontology-Guided Requirements and Safety Analysis. In: Proc. 6th International Conference on Safety of Industrial Automated Systems, SIAS (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)
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)
di Tommaso, P., Esposito, R., Marmo, P., Orazzo, A.: Hazard Analysis of Complex Distributed Railway Systems. In: Proc. of International Symposium on Reliable Distributed Systems, SRDS 2003, Florence, Italy, pp. 283–292 (2003)
De Nicola, G., di Tommaso, P., Esposito, R., Flammini, F., Orazzo, A.: A Hybrid Testing Methodology for Railway Control Systems. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol. 3219, pp. 116–129. Springer, Heidelberg (2004)
De Nicola, G., di Tommaso, P., Rosaria, E., Francesco, F., Pietro, M., Antonio, O.: 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: Proceedings of the International Conference on Ship Propulsion and Railway Traction Systems, SPRTS 2005, Bologna, Italy, pp. 59–68 (2005)
Donini, R., Marrone, S., Mazzocca, N., Orazzo, A., Papa, D., Venticinque, S.: Testing complex safety-critical systems in SOA context. In Proc. of the 2008 International Conference on Complex, Intelligent and Software Intensive Systems (CISIS), Barcelona, Spain (2008)
Flammini, F., Mazzocca, N., Orazzo, A.: Automatic instantiation of abstract tests on specific configurations for large critical control systems. Journal of Software Testing, Verification & Reliability (STVR) 19(2), 91–110 (2009)
Bonifacio, G., Marmo, P., Orazzo, A., Petrone, I., Velardi, L., Venticinque, A.: Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 369–382. Springer, Heidelberg (2011)
Institute of Electrical and Electronics Engineers. IEEE Standard for Communication Based Train Control (CBTC) Performance and Functional Requirements. IEEE Std 1474.1-2004 (Revision of IEEE Std 1474.1-1999) (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marrone, S., Nardone, R., Orazzo, A., Petrone, I., Velardi, L. (2012). Improving Verification Process in Driverless Metro Systems: The MBAT Project. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. Lecture Notes in Computer Science, vol 7610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34032-1_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-34032-1_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34031-4
Online ISBN: 978-3-642-34032-1
eBook Packages: Computer ScienceComputer Science (R0)