Kritické aplikacev železniční dopravě
K611 – Katedra Aplikované Matematiky
Ing. Martin Pěnička
ČVUT v PrazeFakulta dopravníKatedra Aplikované MatematikyNa Florenci 25110 00 Praha 1
E-mail: [email protected]: [email protected]
16. 4. 2004
PhDr. Štěpán Klapka
AŽD Praha s.r.o., Věda a VýzkumŽirovnická 2, 106 17 Praha 10Tel: 267 287 396
E-mail: [email protected]
2Presentace projektu: Kritické aplikace v železniční dopravě
O čem je tento projekt?
V tomto projektu se budete zabývat současnou a hlavně budoucí železnicí výpočetní technikou (HW, SW) matematickým modelováním formálními jazyky výpočtem bezpečnosti a spolehlivosti optimalizačními úlohami integrováním systémů
3Presentace projektu: Kritické aplikace v železniční dopravě
Příklad: Tvorba bezpečného SW
„Program testing can be used to show the presence o bugs, but never to show their absence“Dijkstra 1972
Za správně (bezpečně) navržený systém považujeme systém, pokud
splňuje požadavky zadavatele.
prokazatelně
4Presentace projektu: Kritické aplikace v železniční dopravě
Příklad: Tvorba bezpečného SW
Testování SWPouze hledání chyb
Validace SW (Model Checking) Pokud nemůžeme
prokázat správnost/bezpečnost samotného SW, prokážeme jí na modelu
5Presentace projektu: Kritické aplikace v železniční dopravě
Příklad: Formální model železnice (1)
6Presentace projektu: Kritické aplikace v železniční dopravě
Příklad: Formální model železnice (2)
7Presentace projektu: Kritické aplikace v železniční dopravě
Příklad: Formální model železnice (3)
axiom
8Presentace projektu: Kritické aplikace v železniční dopravě
Proč tento projekt?
Protože počítačové systémy hrají stále důležitější roli ve všech oblastech železniční dopravy (od plánování až po zabezpečení)
Protože návrh těchto systémůje těžký a málokdo to umí
Protože současné systémy mohou být mnohem více integrovány
Protože je to zajímavé
9Presentace projektu: Kritické aplikace v železniční dopravě
Pro koho je projekt určen?
Projekt je určen pro ty studenty, kteří mají zájem naučit se zajímavé a
perspektivní metody a techniky nebojí se matematiky, počítačů,
železniční dopravy a trochy práce budou chtít snadno nalézt své
uplatnění v zabezpečení Železniční dopravy Letecké dopravy Jaderné energetiky Výzkumu vesmíru Telekomunikací
10Presentace projektu: Kritické aplikace v železniční dopravě
Co se můžete naučit?
Programovat bezpečně Formální metody
RAISE Petri Net StateCharts, StateMate SPIN
Určit bezpečnost a spolehlivost systémů Pravděpodobností modely
Markovovské modely
11Presentace projektu: Kritické aplikace v železniční dopravě
Závěrem
Jedná se o velmi širokou oblast =>máte možnost sami si nalézt, co vás bude
nejvíce těšit a zajímat a tomu se v projektu následně věnovat.
Prosím omluvte dnešní neúčast vedoucích tohoto projektu
Vaše případné dotazy směřujte na email:
[email protected]ím obratem !
12Presentace projektu: Kritické aplikace v železniční dopravě
Pojďte si hrát s námi !!!