OnTrack: An Open Tooling Environment for Railway Verification
نویسندگان
چکیده
OnTrack automates workflows for railway verification, starting with graphical scheme plans and finishing with automatically generated formal models set up for verification. OnTrack is grounded on an established domain specification language (DSL) and is generic in the formal specification language used. Using a DSL allows the formulation of abstractions that work for verification in several formal specification languages. Here, we demonstrate the workflow using CSP||B and suggest how to extend the tool with further formal specification languages.
منابع مشابه
Modeling for Semantic Verification - Enhancement of Railway Infrastructure Planning
Planning a railway infrastructure is an extensive process. Placement and interaction of all infrastructural elements including security components like signals and level crossings has to be considered. Verifying the railway infrastructure against legal guidelines is an important task within this planning process. The verification purpose is to ensure a safe operation on the infrastructure. Duri...
متن کاملA Formal Verification Environment for Railway Signaling System Design
A fundamental problem in the design and development of embedded control systems is the verification of safety requirements. Formal methods, offering a mathematical way to specify and analyze the behavior of a system, together with the related support tools can successfully be applied in the formal proof that a system is safe. However, the complexity of real systems is such that automated tools ...
متن کاملOntology-based Railway Infrastructure Verification - Planning Benefits
Planning new railway infrastructures is a complex process. We present an approach where the formalization of expert knowledge regarding the railway domain is motivated in order to improve the planning process. By applying ontologies as a representation of railway related knowledge we are able to make the coherencies of infrastructural elements explicit. Furthermore the integration of an ontolog...
متن کاملRailway Open System Tribology Railway Open System Tribology
Tribology in the railway system is of increasing interest in the new railway era due to the demand for higher speed and load capacity. Since railway vehicles operate in an open environment, their performance depends greatly on temperature, humidity and natural and artificial contaminants. Meanwhile, the “feedback” of railway vehicles to the surroundings, such as noise and airborne particles, is...
متن کاملIntroducing Performance Awareness in an Integrated Specification Environment
With an increase in software complexity and modularization to create large software systems and software product lines it is increasingly difficult to ensure all requirements are met by the built system. Performance requirements are an important concern to software systems and research has developed approaches being capable of predicting software performance from annotated software architecture...
متن کامل