Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
lacjascenariuszyoperacyjnych”sąoryginalnymosiągnięciemindywidualnego
dorobkuautoraiobejmująskładowezagadnieniabadawczetakiejak:
−koncepcjainfrastrukturyCyfrowegoBliźniakaAplikacjiETCS(rozdz.4.1),
−identyfikacjaiopracowaniemodeluAplikacjiETCSijejotoczenia(rozdz.4.4),
−koncepcjawirtualnegolaboratoriumimetodykiprojektowaniaaplikacjiETCS
przezwirtualneprototypowanie(rozdz.4.5.2),
−formalnymodelinfrastrukturykolejowejwpostaciMultigrafuIS(rozdz.5.2),
−algorytmyweryfikacjipoprawnościmodeluinfrastrukturykolejowej(rozdz.5.3),
−formalnymodelprocesuweryfikacjiaplikacjiETCSzwykorzystaniemsymu-
lacjiscenariuszyoperacyjnychwtym:
•formalnaspecyfikacjascenariuszaoperacyjnego(rozdz.5.4.1),
•koncepcjaobrazusymulacjiscenariuszaoperacyjnego(rozdz.5.4.3),
−implementacjaweryfikacjimodelowejzwykorzystaniemczasowych,roz-
proszonychautomatówwspółbieżnych,jakoformalnejmetodypozwalającej
nakompleksowąweryfikacjęmodeluaplikacjiETCS(rozdz.5.5).
Opiswymienionychnowatorskichzagadnieńjestuzupełnionycharakterystyką
powiązanych,istniejącychrozwiązań,którestanowiąśrodowiskołącząceaktual-
nystanwiedzyzdorobkiemautora.
1.2.PLANMONOGRAFII
Merytorycznącześćmonografiirozpoczynarozdziałdrugi,wktórymwodpo-
wiedniodobranymzakresieomówionazostałaarchitekturaizasadydziałaniasys-
temuERTMS/ETCS.Wskazanojegoistotneelementyzpunktuwidzeniacyfro-
wegoodwzorowania.Wtrzecimrozdzialeprzedstawionokoncepcjęcyfrowego
bliźniakawujęciuogólnym,prezentującwłaściwościrozwiązaniaorazprzykłady
zastosowań.WrozdzialeczwartymwprowadzonodefinicjęCyfrowegoBliźniaka
AplikacjiETCS(CBAE),którastanowiwynikkompilacjidwóchpoprzednich
zagadnień.PrzedstawionokoncepcjęinfrastrukturyCBAE,wskazującjejgłów-
nekomponenty,którastanowikompletne,wirtualneśrodowiskoprojektowo-ba-
dawczepozwalającenaprowadzeniebadańidoświadczeńodwzorowanychapli-
kacjiETCS.Wdalszejczęścirozdziałuczwartegozostałaprzeprowadzonado-
kładnaidentyfikacjamodelustrukturalnegoCBAE.Napodstawieopisusystemu
w[140]orazzuwzględnieniemopisuelementówmodeluwprowadzanychprzez
RailMLzostałyzidentyfikowanewszystkieniezbędnemodeleskładoweorazich
parametryiwłaściwości.Modelezostałyopisanepoprzezlistyparametrówjak
równieżprzezblokidefinicjijęzykaSysML.Dalejwrozdzialeczwartymprzed-
17