Developing a Domain Model for Relay Circuits

Publication: Research - peer-reviewJournal article – Annual report year: 2009

Standard

Developing a Domain Model for Relay Circuits. / Haxthausen, Anne Elisabeth.

In: International Journal of Software and Informatics, Vol. 3, No. 2-3, 2009, p. 241-272.

Publication: Research - peer-reviewJournal article – Annual report year: 2009

Harvard

APA

CBE

MLA

Vancouver

Author

Haxthausen, Anne Elisabeth / Developing a Domain Model for Relay Circuits.

In: International Journal of Software and Informatics, Vol. 3, No. 2-3, 2009, p. 241-272.

Publication: Research - peer-reviewJournal article – Annual report year: 2009

Bibtex

@article{d33465d9087c48a2b77efa68540b722f,
title = "Developing a Domain Model for Relay Circuits",
keywords = "formal methods, RAISE, relay circuits, domain modelling",
publisher = "Kexue Chubanshe",
author = "Haxthausen, {Anne Elisabeth}",
year = "2009",
volume = "3",
number = "2-3",
pages = "241--272",
journal = "International Journal of Software and Informatics",
issn = "1673-7288",

}

RIS

TY - JOUR

T1 - Developing a Domain Model for Relay Circuits

A1 - Haxthausen,Anne Elisabeth

AU - Haxthausen,Anne Elisabeth

PB - Kexue Chubanshe

PY - 2009

Y1 - 2009

N2 - In this paper we stepwise develop a domain model for relay circuits as used in railway control systems. First we provide an abstract, property-oriented model of networks consisting of components that can be glued together with connectors. This model is strongly inspired by a network model for railways madeby Bjørner et.al., however our model is more general: the components can be of any kind and can later be refined to e.g. railway components or circuit components. Then we show how the abstract network model can be refined into an explicit model for relay circuits. The circuit model describes the statics as well as the dynamics of relay circuits, i.e. how a relay circuit can be composed legally from electrical components as well as how the components may change state over time. Finally the circuit model is transformed into an executable model, and we show how a concrete circuit can be defined, checked to be legal, and the reaction to an input can be simulated.

AB - In this paper we stepwise develop a domain model for relay circuits as used in railway control systems. First we provide an abstract, property-oriented model of networks consisting of components that can be glued together with connectors. This model is strongly inspired by a network model for railways madeby Bjørner et.al., however our model is more general: the components can be of any kind and can later be refined to e.g. railway components or circuit components. Then we show how the abstract network model can be refined into an explicit model for relay circuits. The circuit model describes the statics as well as the dynamics of relay circuits, i.e. how a relay circuit can be composed legally from electrical components as well as how the components may change state over time. Finally the circuit model is transformed into an executable model, and we show how a concrete circuit can be defined, checked to be legal, and the reaction to an input can be simulated.

KW - formal methods

KW - RAISE

KW - relay circuits

KW - domain modelling

JO - International Journal of Software and Informatics

JF - International Journal of Software and Informatics

SN - 1673-7288

IS - 2-3

VL - 3

SP - 241

EP - 272

ER -