Search Results

You are looking at 1 - 1 of 1 items for :

  • Author or Editor: Gábor Lukács x
  • Architecture and Architectonics x
  • Refine by Access: All Content x
Clear All Modify Search

Abstract

The use of formal modeling has seen an increasing interest in the development of safety-critical, embedded microcomputer-controlled railway interlocking systems, due to its ability to specify the behavior of the systems using mathematically precise rules. The research goal is to prepare a specification-verification environment, which supports the developer of the railway interlocking systems in the creation of a formally-proven correct design and at the same time hides the inherent mathematical-computer since related background knowledge. The case study is presented with the aim to summarize the process of formalizing a domain specification, and to show further application possibilities (e.g. verification methods).

Open access