𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A System-Based Approach to the Formal Development of Embedded Controllers for a Railway

✍ Scribed by Michael Butler

Book ID
110348565
Publisher
Springer US
Year
2002
Tongue
English
Weight
112 KB
Volume
6
Category
Article
ISSN
0929-5585

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

A formal approach to the design of featu
A formal approach to the design of feature-based multi-sensor recognition systems
✍ Mieczyslaw M. Kokar; Zbigniew Korona πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 270 KB

This paper shows an example of developing a fusion system in a formal framework, i.e., through the use of formal operators in the development process. Two main concepts of formal methods are theories and models. In our approach, the development of a fusion system consists of operations on theories a