A Domain-oriented, Model-based Approach for Construction and Verification of  Railway Control Systems

Anne Elisabeth Haxthausen; Jan Peleska

A Domain-oriented, Model-based Approach for Construction and Verification of Railway Control Systems

Anne Elisabeth Haxthausen (Invited author), Jan Peleska (Invited author)

University of Bremen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjørner and Zhou Chaochen on Occasion of their 70th Birthdays
Editors	Cliff B. Jones, Zhiming Liu, Jim Woodcock
Publisher	Springer
Publication date	2007
Pages	320-348
ISBN (Print)	978-3-540-75220-2
Publication status	Published - 2007
Event	Festschrift Symposium dedicated to the 70th birthdays of Dines Bjørner and Zhou Chaochen - Macau, China Duration: 24 Sept 2007 → 25 Sept 2007

Conference

Conference	Festschrift Symposium dedicated to the 70th birthdays of Dines Bjørner and Zhou Chaochen
Country/Territory	China
City	Macau
Period	24/09/2007 → 25/09/2007

Series	Lecture Notes in Computer Science
Number	4700

Keywords

domain engineering
formal methods
verification
domain-specific languages
railway control systems
code generation

OpenUrl availability

Full text

Cite this

Haxthausen, Anne Elisabeth ; Peleska, Jan. / A Domain-oriented, Model-based Approach for Construction and Verification of Railway Control Systems. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on Occasion of their 70th Birthdays. editor / Cliff B. Jones ; Zhiming Liu ; Jim Woodcock. Springer, 2007. pp. 320-348 (Lecture Notes in Computer Science; No. 4700).

@inproceedings{47f571e4ac304d1a8cf1ed8c62f1b9e4,

title = "A Domain-oriented, Model-based Approach for Construction and Verification of Railway Control Systems",

keywords = "domain engineering, formal methods, verification, domain-specific languages, railway control systems, code generation",

author = "Haxthausen, {Anne Elisabeth} and Jan Peleska",

year = "2007",

language = "English",

isbn = "978-3-540-75220-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "4700",

pages = "320--348",

editor = "Jones, {Cliff B.} and Zhiming Liu and Jim Woodcock",

booktitle = "Formal Methods and Hybrid Real-Time Systems",

note = "Festschrift Symposium dedicated to the 70th birthdays of Dines Bj{\o}rner and Zhou Chaochen ; Conference date: 24-09-2007 Through 25-09-2007",

}

Haxthausen, AE & Peleska, J 2007, A Domain-oriented, Model-based Approach for Construction and Verification of Railway Control Systems. in CB Jones, Z Liu & J Woodcock (eds), Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on Occasion of their 70th Birthdays. Springer, Lecture Notes in Computer Science, no. 4700, pp. 320-348, Festschrift Symposium dedicated to the 70th birthdays of Dines Bjørner and Zhou Chaochen, Macau, China, 24/09/2007.

A Domain-oriented, Model-based Approach for Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth (Invited author); Peleska, Jan (Invited author).
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on Occasion of their 70th Birthdays. ed. / Cliff B. Jones; Zhiming Liu; Jim Woodcock. Springer, 2007. p. 320-348 (Lecture Notes in Computer Science; No. 4700).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - A Domain-oriented, Model-based Approach for Construction and Verification of Railway Control Systems

AU - Haxthausen, Anne Elisabeth

AU - Peleska, Jan

PY - 2007

Y1 - 2007

KW - domain engineering

KW - formal methods

KW - verification

KW - domain-specific languages

KW - railway control systems

KW - code generation

M3 - Article in proceedings

SN - 978-3-540-75220-2

T3 - Lecture Notes in Computer Science

SP - 320

EP - 348

BT - Formal Methods and Hybrid Real-Time Systems

A2 - Jones, Cliff B.

A2 - Liu, Zhiming

A2 - Woodcock, Jim

PB - Springer

T2 - Festschrift Symposium dedicated to the 70th birthdays of Dines Bjørner and Zhou Chaochen

Y2 - 24 September 2007 through 25 September 2007

ER -

Haxthausen AE, Peleska J. A Domain-oriented, Model-based Approach for Construction and Verification of Railway Control Systems. In Jones CB, Liu Z, Woodcock J, editors, Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on Occasion of their 70th Birthdays. Springer. 2007. p. 320-348. (Lecture Notes in Computer Science; No. 4700).