Utskriftsvänlig sida

Formella metoder för signalanläggningar

BSFORMET

Kurstillfällen

5 eller fler
lediga platser

mindre än 5
lediga platser

inga lediga platser
(boka reservplats)

För tillfället finns inga kurstillfällen utlagda. Du kan anmäla ditt intresse för kommande tillfälle här:

Informationen om lediga platser uppdateras en gång per dygn.
Anmälningar behandlas alltid i den ordning de inkommer till Järnvägsskolan.
För information om kurstillfällen kontakta: Staffan Parkhed tel 0431-442095

Kursplan

Översiktsplan	Kursbevis	Kurstyp		Kursens längd	Målprogram
	Intyg	Ant dagar externat	4		Praktikplan
		Ant dagar internat	0	Timmar: 32	Version nr	1 . 1

Målgrupp

Förkunskaper

- signalprojektörer - säkerhetsgranskare - assessorer - kravställare

Kursmål/Genomförande

Innehåll Timmar

Kursen lär deltagarna att förstå hur formella metoder kan användas vid projektering och verifiering av signalanläggningar. Under kursen lär sig deltagarna att uttrycka krav och specifikationer formellt - precist och exakt. Deltagarna lär sig även att skriva generiska, generella och återanvändbara, krav och specifikationer för signalanläggningar. Kursen varvar teori och praktik. I kursen används Prover iLock för att projektera, verifiera och validera en signalanläggning. Målet med kursen är att förstå hur formella metoder kan användas vid projektering av signalanläggningar. Deltagarna får även lära sig de faser som används i projekt där formell verifiering ingår

Beskrivning	Teori	Praktik
Funktionsspecifikation	4	4
Säkerhetsspecifikation	4	4
Projektering	4	4
Formell verifiering	4	4
Totalt antal timmar	16	16

Övrigt