A uml modelling approach for a railway signalization system simulator and scada system

Fatih Mecitoǧlu; M. Turan Söylemez

A uml modelling approach for a railway signalization system simulator and scada system

Fatih Mecitoǧlu, M. Turan Söylemez

Kontrol ve Otomasyon Mühendisliği Bölümü

Istanbul Technical University

Araştırma sonucu: Dergiye katkı › Konferans makalesi › bilirkişi

3 Atıf (Scopus)

Özet

Signalling systems play a vital role for safe and efficient transportation on railways. In parallel,development of signalling systems requires a lot of attention. The relevant standards insist on using formal methods such as automata and Petri Nets in the design of software for such crucial systems. In this study, the Unified Modelling Language (UML) formalism is employed to design a railway signalling system simulator and a SCADA system. The developed simulator can also help to validate a formal design based on automata.

Orijinal dil	İngilizce
Sayfa (başlangıç-bitiş)	77-82
Sayfa sayısı	6
Dergi	IFAC-PapersOnLine
Hacim	1
Basın numarası	PART 1
Yayın durumu	Yayınlandı - 2013
Etkinlik	1st IFAC Workshop on Advances in Control and Automation Theory for Transportation Applications, ACATTA 2013 - Istanbul, Turkey Süre: 16 Eyl 2013 → 17 Eyl 2013

Diğer Dosyalar ve Linkler

Link to publication in Scopus

Alıntı Yap

@article{bd6f61100ff4414cbd3c601472999be6,

title = "A uml modelling approach for a railway signalization system simulator and scada system",

abstract = "Signalling systems play a vital role for safe and efficient transportation on railways. In parallel,development of signalling systems requires a lot of attention. The relevant standards insist on using formal methods such as automata and Petri Nets in the design of software for such crucial systems. In this study, the Unified Modelling Language (UML) formalism is employed to design a railway signalling system simulator and a SCADA system. The developed simulator can also help to validate a formal design based on automata.",

keywords = "Interlocking, PLC, Railway signalling, SCADA, Software development, UML design",

author = "Fatih Mecitoǧlu and S{\"o}ylemez, {M. Turan}",

year = "2013",

language = "English",

volume = "1",

pages = "77--82",

journal = "IFAC-PapersOnLine",

issn = "2405-8963",

publisher = "Elsevier B.V.",

number = "PART 1",

note = "1st IFAC Workshop on Advances in Control and Automation Theory for Transportation Applications, ACATTA 2013 ; Conference date: 16-09-2013 Through 17-09-2013",

}

TY - JOUR

T1 - A uml modelling approach for a railway signalization system simulator and scada system

AU - Mecitoǧlu, Fatih

AU - Söylemez, M. Turan

PY - 2013

Y1 - 2013

N2 - Signalling systems play a vital role for safe and efficient transportation on railways. In parallel,development of signalling systems requires a lot of attention. The relevant standards insist on using formal methods such as automata and Petri Nets in the design of software for such crucial systems. In this study, the Unified Modelling Language (UML) formalism is employed to design a railway signalling system simulator and a SCADA system. The developed simulator can also help to validate a formal design based on automata.

AB - Signalling systems play a vital role for safe and efficient transportation on railways. In parallel,development of signalling systems requires a lot of attention. The relevant standards insist on using formal methods such as automata and Petri Nets in the design of software for such crucial systems. In this study, the Unified Modelling Language (UML) formalism is employed to design a railway signalling system simulator and a SCADA system. The developed simulator can also help to validate a formal design based on automata.

KW - Interlocking

KW - PLC

KW - Railway signalling

KW - SCADA

KW - Software development

KW - UML design

UR - http://www.scopus.com/inward/record.url?scp=84896265048&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:84896265048

SN - 2405-8963

VL - 1

SP - 77

EP - 82

JO - IFAC-PapersOnLine

JF - IFAC-PapersOnLine

IS - PART 1

T2 - 1st IFAC Workshop on Advances in Control and Automation Theory for Transportation Applications, ACATTA 2013

Y2 - 16 September 2013 through 17 September 2013

ER -

A uml modelling approach for a railway signalization system simulator and scada system

Özet

Diğer Dosyalar ve Linkler

Parmak izi

Alıntı Yap