Research project

H2020 - ENABLE-S3 - ECSEL-2015-1-RIA - Butler

Lead researcher:

Professor Michael Butler
Research funder:

EPSRC
Status:

Not active

Staff

Lead researcher

Professor Michael Butler

Dean of Engineering and Physical Science

Email: m.j.butler@soton.ac.uk

Research outputs

Formalising the hybrid ERTMS level 3 specification in iUML-B and Event-B

Dana Dghaym,

Mohammad Sadegh Dalvandi,

Michael Poppleton,

& Colin Snook

, 2019 , International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-019-00548-w

Type: article

Systematic verification and testing

Dana Dghaym,

Tomas Fischer,

Thai Son Hoang,

Klaus Reichl,

Colin Snook,

Rupert Schlick,

& Peter Tummeltshammer

, 2019

DOI: 10.1007/978-3-030-14628-3_9

Type: bookChapter

Formal model validation through acceptance tests

Tomas Fischer,

& Dana Dghaym

, 2019

DOI: 10.1007/978-3-030-18744-6_10

Type: conference

Behaviour-driven formal model development of the ETCS hybrid level 3

Michael Butler,

Dana Dghaym,

Thai Son Hoang,

Temitope Omitola,

Colin Snook,

Andreas Fellner,

Rupert Schlick,

Thorsten Tarrach,

Tomas Fischer,

& Peter Tummeltshammer

, 2019

Type: conference

Diagram-led formal modelling using iUMLB for Hybrid ERTMS Level 3

Dana Dghaym,

Michael Poppleton,

& Colin Snook

, 2018

DOI: 10.1007/978-3-319-91271-4_23

Type: conference