EURIS, a Specification Method for Distributed Interlockings
نویسندگان
چکیده
Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, which champions an objectoriented method for the specification of interlocking logics.
منابع مشابه
EURIS, a Speci cation Method for Distributed Interlockings
Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. We present a tutorial on the EURIS method from NS Railinfrabeheer, which champions an objectoriented approach to the speci cation of interlocking logics. We also give an overview of UniSpec, which is an instance of EURIS for the Dutch railway system.
متن کاملEuris, a Speciication Method for Distributed Interlockings (extended Abstract)
Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, which champions an object-oriented method for the speciication of interlocking logics.
متن کاملSpecifying Railway Interlocking Requirements for Practical Use
An essentially complete formal specification of safety requirements for railway interlockings has been developed. The work is part of as project with the Swedish National Rail Administration investigating the feasibility of using formal methods for the analysis of interlockings in a production setting. An overview of the specification is given and two ongoing case studies on verifying interlock...
متن کاملUsing formal methods for quality assurance of interlocking systems
”Formal methods” denotes mathematical techniques making it possible to perform a formal mathematical proof of the compliance – or noncompliance – of a system to its specification. We discuss the views of the Swedish National Rail Administration on the use of formal methods to increase safety and reliability of safety-critical signalling systems. As a study, a formal requirements specification f...
متن کاملUsing formal methods for quality assurance of interlocking systems
”Formal methods” denotes mathematical techniques making it possible to perform a formal mathematical proof of the compliance – or noncompliance – of a system to its specification. We discuss the views of the Swedish National Rail Administration on the use of formal methods to increase safety and reliability of safety-critical signalling systems. As a study, a formal requirements specification f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998