๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Formal development and verification of a distributed railway control system

โœ Scribed by Haxthausen, A.E.; Peleska, J.

Book ID
117872419
Publisher
IEEE
Year
2000
Tongue
English
Weight
275 KB
Volume
26
Category
Article
ISSN
0098-5589

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A formal approach for the construction a
A formal approach for the construction and verification of railway control systems
โœ Anne E. Haxthausen; Jan Peleska; Sebastian Kinder ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› Springer ๐ŸŒ English โš– 660 KB

## Abstract This paper describes a complete model-based development and verification approach for railway control systems. For each control system to be generated, the user makes a description of the application-specific parameters in a domain-specific language. This description is automatically tr

Formal verification of timed systems: a
Formal verification of timed systems: a survey and perspective
โœ Farn Wang ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› IEEE ๐ŸŒ English โš– 607 KB

An overview of the current state of the art of formal verification of real-time systems is presented. We discuss commonly accepted models, specification languages, verification frameworks, state-space representation schemes, state-space construction procedures,eduction techniques, pioneering tools,