Abstract
The development standard for railway control software requires several design and verification methods. To support these methods we elaborated a coherent set of tools based on UML state diagrams. To avoid the problems of the ambiguous UML semantics, we propose a subset of UML state machines that includes the practical modeling concepts and has well-defined operational semantics elaborated definitely for software engineers. Based on this formalism we developed a tool chain supporting (i) the simulation of the behavior specified by the state diagram, (ii) static checking the completeness and consistency of the specification, (iii) generation of the C source of the application control flow, (iv) automatic construction of test cases on the basis of structural test coverage criteria and (v) automatic construction of the source code of run-time verification procedures that aim at checking high-level safety properties.
This is a preview of subscription content, log in via an institution to check access.
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
Pintér, G., Majzik, I.: Formal Operational Semantics for UML 2.0 Statecharts. Technical Report at Budapest University of Technology and Economics (DMIS/ESRG) (2005)
Pap, Z., Majzik, I., Pataricza, A., Szegi, A.: Methods of Checking General Safety Criteria in UML Statechart Specifications. Journal of Reliability Engineering and System Safety 87(1), 89–107 (2005)
Samek, M.: Practical Statecharts in C/C++. CMP Books, Lawrence, Kansas, USA (2002)
Object Management Group. MDA Guide (2003), http://www.omg.org
Micskei, Z., Majzik, I.: Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers. In: Proc. Int. Conf. on Dependability of Computer Systems (DepCoS 2006), pp. 191–198 (2006)
Pintér, G., Majzik, I.: Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements. In: Proc. HASE 2005, pp. 111–120 (2005)
Mahmood, A., McCluskey, E.J.: Concurrent Error Detection Using Watchdog Processors - A Survey. IEEE Transactions on Computers 37(2), 160–174 (1988)
Pataricza, A., Majzik, I., Huszerl, G., Várnai, G.: UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module. In: Proc. Formal Methods for Railway Operation and Control Systems (FORMS 2003), L’ Harmattan, Budapest (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Majzik, I., Micskei, Z., Pintér, G. (2007). Development of Model Based Tools to Support the Design of Railway Control Applications. In: Saglietti, F., Oster, N. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2007. Lecture Notes in Computer Science, vol 4680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75101-4_41
Download citation
DOI: https://doi.org/10.1007/978-3-540-75101-4_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75100-7
Online ISBN: 978-3-540-75101-4
eBook Packages: Computer ScienceComputer Science (R0)