Overview

Currently the following techniques and tools have been identified as having been or being used in understanding and developing experimental or commercial software and/or hardware (incl. equipment) solutions to railway problems.

The below list will be regularly updated.

In right margin citations we refer to alphabetic references to method, technique or tool texts.

In addition we plain number reference such documents which apply the itemised method, technique or tool.

1.

B: [Abr96,Lan96,Wor96]  [63,122,84,83,85,199,19,198]

2.

CafeOBJ: [DF96,Nak97,NSF,FD]

3.

CoFI: CASL: [oLD97,oS97,Mos97,CHKBM97]

4.

ccs:[Mil80,Mil89]

 [216,217,218,219]

5.

COLD-K:[COL90,Jon88a,Jon88b,MdL91]

6.

CSP/FDR: [Hoa85,Ros97]

 [265,242,241,267,266]

7.

Domain Engineering:

[SM98]

8.

The Duration Calculi: [CHR91,CX93,CRH93,Cha93,CH93,HC94,CHX95,HG95]

9.

ExSpect: [KvHV91]

 [15,14]

10.

Euris:

 [234,119]

11.

FOREST: [AC91]

 [12]

12.

Graph Grammars:

 [134]

13.

HOL: [GM93]

 [75,289,74]

14.

Michael Jackson's Description Principles  [Jac94,Jac95,Jac97,ZJ97a,ZJ97b]

15.

Larch: [GHG⁺93,MW93]

16.

Logic: [GHRN93b,GHRN93a,GHRN94,GHRN95,GHRN98]

 [156,151,154,153]

17.

Mathematics:

• General:  [232,78]
• Galois Theory:  [152]
• Graph Theory:  [290]

18.

Model-checking:

 [135]

19.

$\mu$CRL: [GP94,GP95,GvV95]

 [121,120]

20.

Petri Net: [Rei85,Rei98]

 [210,209,234,211,13,15,213]

21.

Prolog:

 [18]

22.

RAISE, RSL: [Gro95,Gro92]

 [247,30,111,112,28,136,27]

23.

Requirements Engineering:

[ELC⁺98] + Jackson, item 14

24.

SMV: [SMV]

 [158]

25.

SPRINT: [Jon93]

26.

Stålmarck's Method: [SS90]

 [258,120,121,196,96,95,36,38,245,40,41,39,244]

27.

STeP/React: [MP91,MP95]

28.

VDM, VDM-SL: [BJ78,Jon90,FL98]

 [129,128,26,130,91,131,5,132,137]

29.

Z: [Spi88,Spi89]

 [171,134]