Kritické aplikace v železniční dopravě

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 !!!