Uttryck i förreglingstabeller

Transkript

1 Skapat av (org) Dokumentdatum ersion Trafikverket Ev. dokumentid Antal sidor Antal bilagor 22 0 Fastställt av, (org) Trafikverket Dokumenttitel Uttryck i förreglingstabeller Toppdokument Projekteringsprocessen Handbok för anläggningsuppbyggnad och projektering Manualer till verktyg Förutsättningar Dokumentets förutsättningar framgår i varje enskilt kapitel. Ansvar för innehåll Trafikverket har ansvar för att innehållet i dokumentet är uppdaterat enligt gällande versioner av programvaror och föreskrifter. Dokumentets plats i strukturen för Cst erktygslådan Dokumentet är en bilaga till projekteringshandboken. Dokumentets koppling till övriga delar av Cst erktygslådan Det finns hänvisningar till dokumentet i övriga tre delar av Cst erktygslådan för att tydliggöra kopplingen mellan de olika fyra huvuddelarna och underliggande dokument och kapitel. Återkoppling id synpunkter på innehållet ska ansvarig på Trafikverket kontaktas.

2 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller Innehållsförteckning UTTRYC I FÖRREGLINGSTABELLER ALLMÄNT TABELLSTRUTUR BETECNINGAR Centralt omläggningsbar växel Centralt omläggningsbar spårspärr Endast lokalt omläggningsbar växel Endast lokalt omläggningsbar spårspärr Signal Motberoenden över ställverksgräns Linjeblockanslutning Stopplykta Spårledning Speciella krav och villkor EXEMPEL Lr234, D234 och Utl.Lr J264 och Utl.J FO x L220 och Utl.L Tågvägslåsning med Ls-relä RuS rav och tolkning av krav för fall med "sammanslagna" reläer Nyckelordet PRE ommentar i tabell... 23

3 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller Uttryck i förreglingstabeller 1 Allmänt Detta dokument beskriver hur förreglings- och upplåsningstabeller ska skrivas på ett enhetligt och logiskt sätt. 2 Tabellstruktur I förreglingstabellerna ingår förteckning, deklarationstabell vid behov och de egentliga förreglingstabellerna. Denna PM handlar i huvudsak om de sistnämnda. Deklarationstabeller behandlas dock också. Se avsnitt Förreglingstabellerna byggs upp med en fast struktur av fyra kolumner: Funktion Förreglingskrav. Med al mellan alternativa villkor, vanligen växellägen i rörelseväg. Fordrar illkor Om ej illkor som, om de uppfylls, upphäver villkor i Fordrar. anligen växellägen. ad som står på en rad med visst villkor i kolumnen Med gäller bara om villkoret är uppfyllt. Ska en tabell exempelvis ange alternativa villkor för en växel i endera läget blir det minst en sådan rad för vardera läget. Dessutom måste det finnas en rad som ovillkorligt kräver att växeln intar endera läget. Är växeln ur kontroll kommer nämligen raderna där Med-kolumnen används alltid att uppfyllas. rav och villkor uttrycks med symboler enligt avsnitt 3. I vissa tabeller används bara en del av kolumnerna. Alla ska dock visas, men vid redigering kan man göra tomma kolumner smala för att vinna mer utrymme i de faktiskt använda kolumnerna. För att uttrycka logiska villkor används speciella symboler enligt nedan. & onnektiv som uttrycker konjunktion, logiskt "och" ( ). # onnektiv som uttrycker disjunktion, logiskt "eller" ( ). ~ Motsatt logiskt läge. Detta blir emellertid en viss skillnad mot en verklig logisk negation ( ) när villkor översätts till samband med reläer. illkor låst rörelseväg medför kontroll av att backkontakt sluter på ett bestämt låsrelä. illkor icke låst medför inte kontroll av att backkontakt inte sluter på reläet, utan på att samma reläs frontkontakt sluter. Symbolen används inte som normalt konnektiv, utan bara som del i definierade symboler. anligen motsvarar det omställt läge, där motsvarande symbol utan ~ anger normalläge. rav. Symbol utan är villkor som fordras uppfyllt i krav. Parenteser kan användas för att hantera prioriteten mellan olika konnektiv. Det gäller framför allt mellan & och # i samma kolumn och på samma rad i en tabell. & binder hårdare, så att A # B & C har samma innebörd som A # (B & C). Är A och B alternativa villkor och C ovillkorligt kan detta bara uttryckas med parentes som (A # B) & C.

4 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller Före ett villkor kan sättas nyckelordet PRE som skrivs med versaler och med mellanslag före det efterföljande villkoret inom parentes. Innebörden är att det ska finnas en registrering i systemet av att villkoret varit uppfyllt, men att det inte behöver vara det när funktionen blir sann. Ett typexempel när skrivsättet används för dubbla passagekontroller visas i avsnitt 4.9. Med beteckningarna Td och Tf kan tillslagsfördröjning och frånslagsfördröjning i villkor uttryckas. Aktuell tid anges också. Hela beteckningen Td30s eller Tf30s skrivs samman och följs direkt av parentes kring xxx resp yyy. Något mellanslag ska inte skrivas före parentesen, Uttryck i parentesen kan i sig innehålla konjunktioner och disjunktioner. Annan tid än 30 sekunder kan anges. Td30s(xxx) illkor xxx är uppfyllt och har varit uppfyllt minst 30 s. Tf30s(yyy) illkor yyy är uppfyllt eller var uppfyllt högst 30 s tidigare. Observera dock att Td/Tf inte används för de vanligaste fördröjningsfunktionerna. Dessa har nämligen tilldelats egna symboler. Se symbolerna 123_tut(60s), 123_rut(30s) med flera i avsnitt 3.5. Logisk implikation ( ) används inte i tabellerna, men förekommer i denna PM för att översätta en del exempel till gängse logiska uttryck. A B # C betyder således att om krav A är sant så måste endera B eller C vara sant för att hela uttrycket ska vara sant. Mellan alla rader för en och samma funktion gäller konjunktion. Tolkningen av varje rad beror av vilka kolumner som är använda. Schematiskt kan en anvisning se ut så här: Icke tomma kolumner Fordrar Fordrar, Om ej Med, Fordrar Med, Fordrar, Om ej Tolkning Funktion -> Fordrar Funktion -> (Fordrar # Om ej) Funktion -> (Med -> Fordrar) Funktion -> (Med -> (Fordrar # Om ej)) Se det fiktiva exemplet nedan och efterföljande översättning. x a1 # b1 x a2 & b2 c2 # d2 x a3 # b3 x a3 a4 b4 x b3 a5 b5 Detta kan översättas till följande formulering. Man kan föreställa sig att varje rad innesluts mellan parenteser, liksom varje tabellcell. Alla dessa parenteser är inte nödvändiga. Parenteser som enligt nämnda regler skulle tas med, men som inte är nödvändiga just i exemplet återges nedan, men med ( och ) ersatta av { resp }. x (a1 # b1) & ({a2 & b2} # {c2 # d2}) & (a3 # b3) &

5 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller ({a3} ({a4} # {b4})) & ({b3} ({a5} # {b5})) ommentar kan skrivas i tabellen och ska föregås av omvänt snedstreck (\). Det markerar att efterföljande tecken på raden är kommentar. Se exempel i avsnitt Beteckningar I avsnitten nedan redovisas definierade beteckningar som ska användas för att symbolisera krav och villkor. och i första kolumnen markerar krav respektive villkor. Inom parentes i kolumnen för beskrivning anges motsvarande reläsymboler. Beteckningarna till förreglingstabellerna står i sista kolumnen med godtyckligt valda objektnummer. rav markeras med symbolen i beteckningen. 3.1 Centralt omläggningsbar växel / Beskrivning Beteckning äxel fri för central omläggning (Lå120_S eller Sk120_S) 120_ lå äxel fri för central omläggning till höger 120_ lh äxel fri för central omläggning till vänster 120_ lv Lokalfrige växel (Lo120_SB) 120_ lo äxel är låst (Lå120_B eller Sk120_B) ~120_lå äxel är central (Lo120_F) 120_lo äxel är lokal (Lo120_B) ~120_lo äxel är inte nödmanövrerad (NT120_B) 120_n äxel är nödmanövrerad (NT120_F) ~120_n äxel central höger (SS120H_F) 120_h äxel central, ej höger (SS120H_B & Lo120_F, enbart SS120H_B om Lo120 saknas) ~120_h äxel central vänster (SS120_F) 120_v äxel central, ej vänster (SS120_B & Lo120_F, enbart SS120_B om Lo120 saknas) ~120_v äxel central i kontroll (SS120H_F # SS120_F) 120_k äxel central, separat tunglägeskontroll (Tk120_F # Tk120H_F, alternativt om det finns a/b-växlar Tk120a_F & Tk120b_F # Tk120aH_F & Tk120bH_F) äxel central, separat tunglägeskontroll för växel a (Tk120a_F # Tk120aH_F) äxel central, separat tunglägeskontroll för växel b (Tk120b_F # Tk120bH_F) 120_u 120_ua 120_ub Beteckningarna 120_u, 120_ua och 120_ub har valts som kortfattad beskrivning, i stället för att ha skilda beteckningar för vänster- och högerläge. Tunglägeskon-

6 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller troll används aldrig för sig, utan alltid i kombination med växelläge som också skulle kunna kallas tungspetsläge, spetsläge eller liknande. Detta betyder att reläekvivalenten till 120_u egentligen blir Tk120_F vid användning tillsammans med 120_v (SS120_F) och Tk120H_F vid användning tillsammans med 120_h (SS120H_F). 3.2 Centralt omläggningsbar spårspärr / Beskrivning Beteckning Spårspärr fri för central omläggning (Lå120_S eller Sk120_S) 120_ lå Spårspärr fri för att lägga på centralt 120_ lp Spårspärr fri för att lägga av centralt 120_ la Lokalfrige spårspärr (Lo120_SB) 120_ lo Spårspärr är låst (Lå120_B eller Sk120_B) ~120_lå Spårspärr är central (Lo120_F) 120_lo Spårspärr är lokal (Lo120_B) ~120_lo Spårspärr är inte nödmanövrerad (NT120_B) 120_n Spårspärr är nödmanövrerad (NT120_F) ~120_n Spårspärr central på (SS120P_F) 120_p Spårspärr central, ej på (SS120P_B & Lo120_F, enbart SS120P_B om Lo120 saknas) ~120_p Spårspärr central av (SS120A_F) 120_a Spårspärr central, ej av (SS120A_B & Lo120_F, enbart SS120A_B om Lo120 saknas) ~120_a Spårspärr central i kontroll (SS120P_F # SS120A_F) 120_ks 3.3 Endast lokalt omläggningsbar växel / Beskrivning Beteckning Lokalfrige växel (Lo120_SB) 120_ lo äxel är central (Lo120_F) 120_lo äxel är lokal (Lo120_B) ~120_lo äxel central höger (SS120H_F) 120_h äxel central vänster (SS120_F) 120_v äxel central i kontroll (SS120H_F # SS120_F) 120_k äxel central, separat tunglägeskontroll (Tk120_F # Tk120H_F, alternativt om det finns a/b-växlar Tk120a_F & Tk120b_F # Tk120aH_F & Tk120bH_F) 120_u

7 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller / Beskrivning Beteckning äxel central, separat tunglägeskontroll för växel a (Tk120a_F # Tk120aH_F) äxel central, separat tunglägeskontroll för växel b (Tk120b_F # Tk120bH_F) 120_ua 120_ub Beträffande kommentar till 120_u, 120_ua och 120_ub, se avsnitt Endast lokalt omläggningsbar spårspärr / Beskrivning Beteckning Lokalfrige spårspärr (Lo120_SB) 120_ lo Spårspärr är central (Lo120_F) 120_lo Spårspärr är lokal (Lo120_B) ~120_lo Spårspärr central på (SS120P_F) 120_p Spårspärr central av (SS120A_F) 120_a Spårspärr central i kontroll (SS120P_F # SS120A_F) 120_ks 3.5 Signal Här avses med signal huvudljussignaler, huvuddvärgsignaler och växlingsdvärgsignaler. ategorierna har i vissa fall olika översättningar till reläsymboler. Några beteckningar är inte aktuella för alla signaler. Beskrivningen har i dessa fall kompletterats med endera av nedanstående två symboler. {/d} {/h} {/e} {/f} äxlingsdvärgsignal bara om den står tillsammans med huvudljussignal. Huvudljussignal bara om den står tillsammans med växlingsdvärgsignal. Huvudljussignal som inte står tillsammans med växlingsdvärgsignal. Huvudljussignal som står tillsammans med växlingsdvärgsignal. I beskrivning används nedan följande förkortningar. bp sp tv vt vv Börjanpunkt Slutpunkt Tågväg Underliggande växlingsväg i tågväg äxlingsväg / Beskrivning Beteckning Gemensamma krav för att låsa som bp tv och signalera tv {/d} 123_ tg Låsa som bp tv {/d} (L123_SB) 123_ tl Låsa upp som bp tv, gemensamma krav för tids- och passageupplåsning {/d} 123_ tug Låsa upp som bp tv med passagekontroll {/d} 123_ tup

8 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller / Beskrivning Beteckning Upprätthålla tidräkning för att låsa upp som bp tv {/d} (Tdenhet_S) 123_ tut Låsa upp som bp tv {/d} (L123_SF) 123_ tu Signalera som bp tv (gemensamma krav för A123_S, B123_S, C123_S med flera, signaleringsplan visar specifika krav beroende av målsignal och besked i målsignal) {/d} Medge att signalera som bp tv med avseende på vsi, gemensamma krav {/d} Medge att signalera som bp tv med avseende på vsi, krav för att behålla medgivande {/d} Medge att signalera som bp tv med avseende på vsi, aktiveringskrav {/d} Medge att signalera som bp tv med avseende på vsi {/d} (si123_s) Medge att signalera som bp tv (separat kontrollerade grundkrav när dvsi vid bp saknas) {/e} (H123_S) 123_ ts 123_ tsvg 123_ tsvh 123_ tsvt 123_ tsv 123_ th Gemensamma krav för att låsa som bp vv och signalera vv {/h} 123_ rg Låsa som bp vv {/h} (L123r_SB) 123_ rl Låsa upp som bp vv, gemensamma krav för tids- och passageupplåsning {/h} 123_ rug Låsa upp som bp vv med passagekontroll {/h} 123_ rup Upprätthålla tidräkning för att låsa upp som bp vv (Td-enhet_S) {/h} 123_ rut Låsa upp som bp vv {/h} (L123r_SF) 123_ ru Signalera som bp vv, snett vänster eller lodrätt {/h} (H123_S) 123_ rsv Signalera som bp vv, lodrätt {/h} (D123_S) 123_ rsl Signalera som bp tv med tryckknappsmanöver, lodrätt {/f} (H123t_S) Tillåt låsning som sp tv (används när slutpunkt med hjälp av Lsrelä låses innan börjanpunkt låses) {/d} 123_ tsl 123_ tls Låsa som sp tv eller sp vt (J123_SB) 123_ stl Låsa som sp tv (används när slutpunkt med hjälp av Ls-relä låses innan börjanpunkt låses) {/d} (Ls123_S) Låsa upp som sp tv eller sp vt, gemensamma krav för tids- och passageupplåsning 123_ slt 123_ stug Låsa upp som sp tv eller sp vt med passagekontroll 123_ stup Upprätthålla tidräkning för att låsa upp som sp tv eller sp vt (Tdenhet_S) 123_ stut

9 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller / Beskrivning Beteckning Låsa upp som sp tv eller sp vt (J123_SF) 123_ stu Låsa som sp vv (J123r_SB) 123_ srl Låsa upp som sp vv, gemensamma krav för tids- och passageupplåsning 123_ srug Låsa upp som sp vv med passagekontroll 123_ srup Upprätthålla tidräkning för att låsa upp som sp vv (Td-enhet_S) 123_ srut Låsa upp som sp vv (J123r_SF) 123_ sru Gemensamma krav för att låsa och signalera temporärt växlingsområde {/h} 123_ xg Låsa temporärt växlingsområde {/h} (FO123_S eller FO123_SB) 123_ xl Upprätthålla tidräkning för att låsa upp temporärt växlingsområde {/h} (Td-enhet_S) 123_ xut Låsa upp temporärt växlingsområde {/h} (FO123_SF) 123_ xu Signalera temporärt växlingsområde, snett höger {/h} (O123_S) 123_ xsh Godkänn frontskydd för tågväg {/d} (Fs123_S) 123_ tfs Låst som bp tv {/d} (L123_B) ~123_t Inte låst som bp tv {/d} (L123_F) 123_t Låst som bp vt {/h} (L123r_B & Tv123_B) ~123_rt Inte låst som bp vt {/h} (Tv123_F) 123_rt Låst som bp vv {/h} (L123r_B) ~123_r Inte låst som bp vv {/h} (L123r_F) 123_r Låst som sp tv eller sp vt (J123_B) ~123_st Inte låst som sp tv eller sp vt (J123_F) 123_st Låst som sp vv (J123r_B) ~123_sr Inte låst som sp vv (J123r_F) 123_sr Slutpunktsvillor uppfyllda för låsning som sp tv med hjälp av Lsrelä {/d} (Ls123_F) Slutpunktsvillor inte uppfyllda för låsning som sp tv med hjälp av Ls-relä {/d} (Ls123_B) ~123_slt 123_slt Tidräkning för att låsa upp bp tv klar {/d} (Td-enhet_F) * 123_tut(60s ) Tidräkning för att låsa upp bp vv klar {/h} (Td-enhet_F) * 123_rut(30 s) Tidräkning för att låsa upp sp tv klar (Td-enhet_F) * 123_stut(60 s)

10 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller / Beskrivning Beteckning Tidräkning för att låsa upp sp vv klar (Td-enhet_F) * 123_srut(3 0s) Tidräkning för att låsa temporärt växlingsområde klar (Tdenhet_F) {/h} * 123_xut(30 s) Optisk signalering kör kontrollerad {/d} (Ljg123_F) 123_og Optisk signalering stopp kontrollerad {/d} (Ljr123_F) 123_or Optisk signalering kontrollerat {/d} (Ljg123_F # Ljr123_F) 123_ok Medger signalering som bp tv (grundkrav kontrollerade när dvsi vid bp saknas) {/e} (H123_F) Signalerar snett vänster eller lodrätt i vv {/h} (H123_F, alltså inte lampkontroll) ~123_th ~123_rsv Signalerar lodrätt i vv {/h} (D123_F, alltså inte lampkontroll) ~123_rsl Fördröjd upplåsning av växel efter börjanpunkt inkopplad {/h} (F123_F) Fördröjd upplåsning av växel efter börjanpunkt ej inkopplad {/h} (F123_B) ~123_rf 123_rf Aktivering av frontskyddsstopplykta {/d} (F101(123)_F) ** ~123_rff Godkänt frontskydd finns för tågväg {/d} (Fs123_F) ~123_tfs Godkänt frontskydd saknas för tågväg {/d} (Fs123_B) 123_tfs Temporärt växlingsområde låst {/h} (FO123_F (vilströmsrelä) eller FO123_B (remanent relä)) Temporärt växlingsområde inte låst {/h} (FO123_B (vilströmsrelä) eller FO123_F (remanent relä)) ~123_x 123_x Signalerar snett höger {/h} (O123_F, alltså inte lampkontroll) ~123_xsh Signalerar inte snett höger {/h} (O123_B) 123_xsh Medgivande att signalera som bp tv med avseende på vsi {/d} (si123_f) * Tid anges inom parentes i beteckningen, till exempel 30s. ~123_tsv ** Inom parentes i relänamnet anges den slutpunkt som framgår av beteckningen (här 123). id verifiering söks frontkontakt på relä med sådant namn. Före parentesen står nummer på en eller flera börjanpunkter (här 101). ilka dessa är behöver inte verifieras. anligen är det den signal i vars tabell villkoret finns med. Flera börjanpunkter kan finnas i relänamnet när spårkonfigurationen är sådan att det är rimligt. 3.6 Motberoenden över ställverksgräns / Beskrivning Beteckning Medge tågväg i grannställverk till ställverksgräns (Mot123_S) 123_ mt

11 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller / Beskrivning Beteckning Medge tågväg i grannställverk över ställverksgräns (Lsp123_S) 123_ mst Godkänt frontskydd finns för tågväg in i grannställverk (Fs123_S) Medgivande till grannställverk att låsa tågväg till ställverksgräns (Mot123_F) Inget medgivande registrerat från grannställverk att låsa tågväg till ställverksgräns (RMot123_B) Medgivande till grannställverk att låsa tågväg över ställverksgräns (Lsp123_F) Inget medgivande till grannställverk att låsa tågväg över ställverksgräns (RLsp123_B) vittens att grannställverk hindrar tågväg till ställverksgräns (RRMot123B_F) Ingen kvittens att grannställverk hindrar tågväg till ställverksgräns (RRMot123B_B) vittens att grannställverk hindrar tågväg över ställverksgräns (RRLsp123B_F) Ingen kvittens att grannställverk hindrar tågväg över ställverksgräns (RRLsp123B_B) 123_ mtfsb 123_mt ~123_mt 123_mst ~123_mst ~123_mtb 123_mtb ~123_mstb 123_mstb Frontskydd bekräftat för tågväg in i grannställverk (Fs123_F) ~123_mtfsb Frontskydd saknas för tågväg in i grannställverk (Fs123_B) 123_mtfsb Genomgående används ovan bokstaven t som symbol för tågväg. Behöver undantagsvis särskilda krav och villkor användas för växlingsvägar skrivs dessa på samma sätt, förutom att bokstaven t byts mot r. 3.7 Linjeblockanslutning / Beskrivning Beteckning Linjen låst från stationen (Lm123_B) ~123_lil Linjen inte låst från stationen (Lm123_F) 123_lil Linjen riktad ut från stationen (Ri123_B) ~123_lir Linjen riktad in mot stationen (Ri123_F) 123_lir Observera att beteckningarna ~123_lir och 123_lir avviker från gängse beteckningssätt i ett avseende. anligen betecknar tilde (~) omställt läge. Just i detta fall används det för riktning ut oberoende av huruvida detta är normalläge för ifrågavarande block eller inte.

12 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller Stopplykta / Beskrivning Beteckning Lyser (Ljr125s_F) 125s_or Ingen kontroll av tänd stopplykta (Ljr125s_B) ~125s_or illkor på aktivering av frontskyddsstopplykta kan uttryckas med beteckningen ~123_rff. Se avsnitt Spårledning Som spårledningar hanteras dels egentliga spårledningar. För dem används följande beteckningar. / Beskrivning Beteckning Fri (S130_F) S130_f Belagd (S130_B) ~S130_f Ej spärrad (S130/bdisp_F) S130_d Spärrad (S130/bdisp_B) ~S130_d Fri och ej spärrad (S130_F & S130/bdisp_F) S130_df Belagd eller spärrad (S130_B # S130/bdisp_B) ~S130_df Frånslagsfördröjd registrering av belagd spårledning (RS130B_F) S130_b Fri efter beläggning (S130_F & RS130B_F) S130_bf Som spårledningar hanteras emellertid också körriktningsberoende spårledningsvillkor för växelspärrning. Ofta anges i reläbeteckningarna som objektnummer en sammanfattande beteckning för flera spårledningar. Följande beteckningar används för udda (nedåtgående) riktning. För motsatt jämn (uppåtgående) riktning ersätts RnS med RuS. / Beskrivning Beteckning Gemensamma krav för att betraktas som fri RnS130.32_ fg rav för att få aktivera detektering som fri RnS130.32_ ft rav för att få bibehålla detektering som fri trots att aktiveringsvillkor inte uppfylls RnS130.32_ fh Får betraktas som fri (RnS130.32_S) RnS130.32_ fm Fri (RnS130.32_F) RnS130.32_fm Belagd (RnS130.32_B) ~RnS130.32_fm

13 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller Speciella krav och villkor För att hantera speciella krav och villkor som saknar symboler i denna PM kan man införa nya symboler enligt något av de två sätt som anges nedan. Ena sättet är att ange aktuellt relänamn i symbolen, medan man enligt det andra sättet skriver en kort beskrivning. / Beskrivning Beteckning Specialkrav för aktivering/omställning till normalläge (deklareras) 133_ "Relänamn" Specialkrav för återställning till normalläge (deklareras) ~133_ "Relänamn" Specialkrav (specificeras för varje fall) 133_ Beskrivning Specialvillkor på normalläge (deklareras) 133_"Relänamn" Specialvillkor på omställt läge (deklareras) ~133_"Relänamn" Specialvillkor (specificeras för varje fall) 133_Beskrivning Skrivsätt med relänamn rekommenderas. För att klarlägga översättningen till reläer ska direkt efter innehållsförteckningen i förreglingstabellen finnas en deklarationstabell. Se nedan. äljs alternativet med beskrivning utformas den vanligen som en mycket kortfattad beteckning snarlik övriga beteckningar enligt denna PM. Innebörden av beteckningen ska anges i tabellen som kommentar (inledd med "\" enligt avsnitt 2). Den nämnda deklarationstabellen utformas med fyra kolumner enligt nedan. Se också efterföljande exempel. / rav eller villkor anges med respektive. Beskrivning Beteckning Översättning Beskrivande text, används inte i den maskinella verifieringen. Beteckning i förreglingstabellerna. ### anges i stället för objekt. Motsvarande relä. ### anges i stället för objekt. Därtill används följande suffix. _S=krav för spole i vilströmsrelä, _SF=krav för frontspole i remanent relä, _SB=krav för backspole i remanent relä, _F=frontkontakt, _B=backkontakt. / Beskrivning Beteckning Översättning Låsa som förstärkt slutpunkt för tv ~###_ "Lbs" Lbs###_SB Låsa upp som förstärkt slutpunkt för tv ###_ "Lbs" Lbs###_SF Förstärkt slutpunktslåst som slutpunkt för tv ~###_"Lbs" Lbs###_B Inte förstärkt slutpunktslåst som slutpunkt för tv ###_"Lbs" Lbs###_F

14 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller Exempel Som exempel återges några tabeller. Efter tabellerna görs en logisk översättning till reläbeteckningar. Däri används logiska symboler för implikation (->), konjunktion (&) och disjunktion (#). idare används en symbol (:=) för att tilldela ett krav villkor. Symbolen används också i avsnitt 4.8 för att översätta villkor utan direkt relämotsvarighet till relävillkor. 4.1 Lr234, D234 och Utl.Lr _ rg 234_ rg 234_ rg 221_st 234_ rg 236_v 261_r 235_r & 247_r 236_k & 237_h 234_ rg 236_h 239_r & 249_r & 263_r 234_ rg 236_h 224_r 226_h 234_ rg 236_h 228_r 227_h 234_ rl 234_ rg 234_ rl 236_v 260_st 234_ rl 236_h 262_st 234_ rsv 234_ rsv 234_ rsv 234_ rg ~234_r ~234_rf 234_ rsl ~234_rsv 234_ rsl S234_df 234_ rsl 236_v S235_df 234_ rsl 236_h S238_df 234_ rsl 236_h S239_df 234_ rug 234_ rg 234_ rug 220_t & 234_rt 234_ rup 236_v S234_bf & ~S235_f

15 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller _ rup 236_h S238_bf & ~S239_f 234_ ru 234_ rug & 234_ rup Försöker man enligt den föregående tabellen översätta detta till reläbeteckningar får man villkor på följande sätt. "gemensamma krav" := J221_F & L235r_F & L247r_F & (SS236H_F # SS236_F) & SS237H_F & (SS236_F -> L261r_F) & (SS236H_F -> (L239r_F & L249r_F & L263r_F)) & (SS236H_F -> (L224r_F # SS226H_F)) & (SS236H_F -> (L228r_F # SS227H_F)) L234r_SB -> "gemensamma krav" & (SS236_F -> J260_F) & (SS236H_F -> J262_F) H234_S -> "gemensamma krav" & L234r_B & F234_F D234_S -> H234_F & S234_F & S234/bdisp_F & (SS236_F -> S235_F & S235/bdisp_F) & (SS236H_F -> (S238_F & S234/bdisp_F)) (SS236H_F -> (S239_F & S234/bdisp_F)) L234r_SF -> "gemensamma krav" & L220_F & Tv234_F & (SS236_F -> (S234_F & RS234B_F & S235_B)) & (SS236H_F -> (S238_F & RS238B_F & S239_B)) Ovan har passagevillkoren formulerats med RS234B och RS238B. Eventuellt skulle en mer korrekt översättning vara att i stället för RS238B_F skriva något som i pseudokod skulle se ut ungefär så här: RS234B_F -> S234_B # S234_B(1 steg före)# # S234_B(n steg före) Dessa alternativ gäller översättningen till reläkrav, men påverkar inte innehållet i upplåsningstabellen. Däremot innebär skrivningen ovan att upplåsningstabellen använder det gemensamma kravet, som faktiskt också ingår i reläkretsen.

16 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller J264 och Utl.J _ stl 242_v & ~240_st # 243_v & ~252_t 264_ stug 240_st 242_h 264_ stug 252_t 243_h 264_ stup S240_f & S241_bf & ~S264_f 264_ stup S244_f 243_h 264_ stut 264_ stu 264_ stug 264_ stug & (264_ stup # 264_stut(60s)) Med översättning på samma sätt som för Lr234 med flera blir det följande översättning. Manuellt eller genom analys av kretsen kopplas krav och villkor för tidsupplåsning till Td5/H6.3. Sista siffran anger vilken av enhetens fyra tidräknare det gäller, alltså i detta fall den med anslutning 3 till "spolen". J264_SB -> SS242_F & J240_B # SS243_F & L252_B "gemensamma upplåsningskrav" := (J240_F # SS242H_F) & (L252_F # SS243H_F) "passageupplåsningskrav" := S240_F & S241_F & RS241B_F & S264_B & (S244_F # SS243H_F) Td5/H6.3_S -> "gemensamma upplåsningskrav" J264_SF -> "gemensamma upplåsningskrav" & ("passageupplåsningskrav" # Td5/H6.3_F) 4.3 FO _ xg 257_ xl 257_ xsh 257_ xut 257_ xu 256_v 257_ xg 257_ xg & ~257_x ~257_x & 257_xsh 257_ xut & 257_xut(30s)

17 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller Tabellen avser ett fall med remanent FO-relä som ger följande översättning. Manuellt eller genom analys av kretsen kopplas krav och villkor för tidsupplåsning till Td6/H6.3. Sista siffran anger vilken av enhetens fyra tidräknare det gäller, alltså i detta fall den med anslutning 3 till "spolen". FO257_SB -> SS257_F O257_S -> SS257_F & FO257_B Td6/H6.3_S -> FO257_B & O257_B FO257_SB -> FO257_B & O257_B & Td6/H6.3_F 4.4 x _ lå 234_r & 235_r & 238_r & 239_r 236_ lå 234_rf & 239_rf 236_n 236_ lå S234_f & S238_f 236_n Till detta erhålls följande översättning. Lå236_S -> L234r_F & L235r_F & L238r_F & L239r_F & (F234_B & F239_B # NT236_F) & (S234_F & S238_F # NT236_F)

18 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller L220 och Utl.L _ tg 221_t 220_ tg S220_df 220_ tg S221_df 220_ tg ~234_rsl & ~234_t 220_ tg 236_v 261_st 220_ tg 236_v 299_t 283_v 220_ tg 236_v 260_ok 220_ tg 236_h 263_st 220_ tg 236_h 299_t 283_h # 285_v 220_ tg 236_h 301_t 275_v # 287_v 220_ tg 236_h 262_ok 220_ tl 220_ tg 220_ ts 220_ tg 220_ ts ~220_t 220_ ts 236_v ~260_st & 236_u 220_ ts 236_h ~262_st & 236_ua 220_ ts 236_h 237_ub 220_ tug 220_ tup 220_ tu S220_f S221_bf & ~S234_f 220_ tug & 220_ tup Översättningen till reläer enligt förslag ovan ger det här utfallet: "gemensamma krav" := L221_F & S220_F & S220/bdisp_F & S221_F & S221/bdisp_F & D234_F & L234r_B & Tv234_B & (SS236_F -> J261_F) & (SS236_F -> (L299_F # SS283_F)) & (SS236_F -> (Ljg260_F # Ljr260_F)) &

19 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller (SS236H_F -> J263_F) & (SS236H_F -> (L299_F # SS283H_F # SS285_F)) & (SS236H_F -> (L301_F # SS275_F # SS287_F)) & (SS236H_F -> (Ljg262_F # Ljr262_F)) L220_SB -> "gemensamma krav" Signaleringskrav := "gemensamma krav" & L220_B & (SS236_F -> J260_B & (Tk236aH_F & Tk236bH_F # Tk236a_F & Tk236b_F) & (SS236H_F -> J262_B & (Tk236aH_F # Tk236a_F)) & (SS236H_F -> (Tk237bH_F # Tk237b_F)) "gemensamma upplåsningskrav" := S220_F "passageupplåsningskrav" := S221_F & RS221B_F & S234_B L220_SF -> "gemensamma upplåsningskrav" & "passageupplåsningskrav" 4.6 Tågvägslåsning med Ls-relä Tabellerna i detta avsnitt är mycket reducerade för att bara lyfta fram det som är väsentligt för att se skillnaderna mellan tågvägslåsning där Ls-relä används för att först låsa slutpunkten och normal låsning där slutpunkt låses efter att börjanpunkten blivit låst. Förutsättningarna här är sådana att Ls-relä används för 522 som slutpunkt (växel 386 i vänsterläge), men inte annars. 380_ tg 380_ tg 380_ tg 386 _v 380_ tg 386 _h 386_k 380_ tg 380_ tls 380_ tg

20 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller _ tl 386 _v 380_ tl 386 _h 380_ tls & ~522_st 380_ tg 380_ ts 380_ ts 380_ ts 386 _v 380_ ts 386 _h 380_ tg ~380_t ~522_st ~532_st Utdrag ur berörda tabeller för J-reläer ser ut så här. 522_ slt 522_ stl 386_v & & 380_ tls & # ~522_slt 532_ stl 386_h & & ~380_t & # 4.7 RuS RuS276.80_ ft S280_f & S276_f RuS276.80_ ft S274_f 275_v RuS276.80_ fh 276_t RuS276.80_ fh 274_t 275_v RuS276.80_ fm RuS276.80_ ft # RuS276.80_ fh & RuS276.80_fm Översättningen till reläer enligt förslag ovan ger det här utfallet: "aktiveringskrav" := S280_F & S276_F & (S274_F # SS275+_F)

21 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller "hållkrav" := L276_F & (L274_F # SS275+_F) RuS276.80_S -> "aktiveringskrav" # "hållkrav" & RuS276.80_F 4.8 rav och tolkning av krav för fall med "sammanslagna" reläer Tabellerna förutsätts byggas upp utan att man i dem tar hänsyn till att en del funktioner löses med sammanslagna reläer. För sådana fall måste någonstans en översättning göras från "ideala" reläer till sammanslagna reläer som underlag för formell verifiering. Man kan fundera på i vilka termer denna översättning ska göras, men ett alternativ är att göra på det här viset. Till att börja med skapas en normal tabelluppsättning för signalerna: 284_ rg 284_ rg 284_ rg 284_ rg 284_ rg 277_h 269_r & 271_r & 273_r 282_r 269_x & 271_x & 273_x 282_x & 284_x & 286_x 284_ rl 284_ rl 284_ rg 288_sr 284_ rsv 284_ rsv 284_ rg ~284_r 284_ rsl 284_ rsl 284_ rsl 284_ rsl ~284_rsv S286_df S269_df S288_df 286_ rg 277_v 286_ rg 269_r & 271_r & 273_r 286_ rg 254_r 256_v 286_ rg 269_x & 271_x & 273_x 286_ rg 284_x & 286_x

22 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller _ rl 286_ rl 286_ rg 288_sr 286_ rsv 286_ rsv 286_ rg ~286_r 286_ rsl 286_ rsl 286_ rsl 286_ rsl ~286_rsv S286_df S269_df S288_df 284_ rug 284_ rup 284_ ru 284_ rg S286_bf & ~S269_f 284_ rug & 284_ rup 286_ rug 286_ rup 286_ ru 286_ rg S286_bf & ~S269_f 286_ rug & 286_ rup id sidan av ovanstående normala tabeller skapas en specialtabell för den formella verifieringen. Specialtabellerna byggs upp så här _ rl _ rl 277 _h _ rl 277 _v 277_k 284_ rl 286_ rl _ rsl _ rsl 277 _h _ rsl 277 _v 277_k 284_ rsl 286_ rsl

23 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller _ ru _ ru 277 _h _ ru 277 _v 277_k 284_ ru 286_ ru Därtill måste något i stil med nedanstående konvertering beskrivas. Exakt hur detta ska hanteras är måhända en senare fråga, och behöver inte påverka utförandet av de normala tabellerna. 284_r := _r # 277_v ~284_r := ~ _r & 277_h 286_r := _r # 277_h ~286_r := ~ _r & 277_v ~284_rsl := ~ _rsl & 277_h ~286_rsl := ~ _rsl & 277_v 4.9 Nyckelordet PRE Nedan visas ett exempel på hur nyckelordet PRE enligt avsnitt 2 kan användas i en tabell. Innebörden är att funktionen 1302_ tup kräver två gjorda passageregistreringar. Av dem får den första vara registrerad tidigare i samma rörelseväg. 1302_ tup 1302_ tup PRE (S1287_bf & ~S1302f) S1302_bf & ~S1347_f 4.10 ommentar i tabell En tillämpning av kommentar enligt avsnitt 2 är att tydliggöra att för visst växelläge finns inga tillkommande krav. Det kan se ut som nedanstående utdrag ur en större tabell. Just i detta fall finns ingen direkt motsvarighet i Stockholms södra. Tabellen är skapad bara för att visa ett exempel på skrivsättet för kommentar. Formellt tillför raden med kommentar ingenting. Syftet är att tydliggöra för läsaren att inga ytterligare villkor finns. 999_ rg 999_ rg 999_ rg 996 _v 992_r 996_k 994_r & 994_st

24 Dokumentnamn: ersion Sidnummer Uttryck i förreglingstabeller _ rg 996 _h \Intet mer.