Examensarbete - Effektiviserad analys av resultat från formella metoder inom SL:s signalsäkerhetssystem

Stockholmsregionen växer kraftigt – och allt fler pendlar till, från och inom länet. Snabb tillväxt och ökade krav från resenärer ställer krav på mer och attraktivare kollektivtrafik. Den växande regionen innebär också utmaningar för framkomlighet i vägnät och belastningar på miljö och klimat. Trafikförvaltningen har som mål att inte bara erbjuda befintliga resenärer en attraktiv kollektivtrafik utan även höja kollektivtrafikens konkurrenskraft och därigenom utöka användandet av kollektivtrafik. På så sätt blir kollektivtrafiken en pusselbit för att lösa Stockholms utmaningar i framtiden.

Bakgrund

SL:s signalsäkerhetsanläggning är idag till stor del baserad på reläteknik med säkerhetslogik som manuellt granskas på kretsnivå. För att utveckla och effektivisera arbetet bedöms det finnas stor potential i att göra en digital transformation och granska säkerhetslogiken baserat på matematiska formella metoder. Då formell verifiering idag tenderar att identifiera orealistiska felfall som riskerar att minska tilltron till och användbarheten av metoden som sådan behövs dock ett arbete för att öka användbarhet, stabilitet och tilltro till dessa verktyg. Exjobbet är därför inriktat på att utarbeta metoder och bedömningsgrunder för analys och resultat efter utförd formell verifiering av ett signalsäkerhetssystem för spårtrafik. Resultatet av ett lyckat arbete bedöms ha goda förutsättningar att direkt användas av verksamheten för utveckling av mer kostnadseffektiva säkerhetssystem i SL-trafiken.

Syfte

Inom ramen för ex-jobbet blir din övergripande uppgift att:

• Tolka och hitta rimlig nivå på resultatet av formell verifiering i syfte att undvika överanalys och orimliga fel med avseende på säkerhet och funktion i systemet/delsystemet
• Utforma riktlinjer för användning och tolkning av formella metoder inom TF. Riktlinjerna bör ta hänsyn till vilka delar av systemet som analyseras och hur omgivande system påverkar

Resultatet ska på ett lättillgängligt sätt ge ledning i hur resultatet ska tolkas och tillämpas.

Metod och genomförande

• Inläsning/omvärldsbevakning - Inledande litteraturstudie och jämförelse med hur andra infrastrukturägare analyserar och tillämpar resultaten från formell verifiering
• Utveckling - Utarbetande egen metod för resultatanalys
• Verifiering - Test av den egna metoden på genomförda studier och rapporter med omständigheter i specifika fall
• Förbättring - Justering av metoden baserad på identifierade förbättringsmöjligheter
• Rapportering och tillgängliggörande - Beskrivning av metoden för att ge möjlighet för praktisk tillämpning av den

Du kommer under projekttiden ges möjlighet att delta i pågående projekt med formell verifiering, för att på ett konkret sätt förstå verksamhetsbehovet och själv bedöma möjligheten att direkt bidra till verksamheten.

 Din utbildning och erfarenhet

Civilingenjör/Master inom något av följande eller motsvarande:

• Data
• Matematik
• Analys/statistik
• Avancerade (säkerhetskritiska) system

Kombination av ovanstående kunskaper är meriterande.

Handledare

Andreas Mårtensson,
kravställande specialist och bitr. signalsäkerhetsansvarig

Kontaktuppgifter

Om du har några frågor kring exjobbet kontakta handledare Andreas Mårtensson, andreas.martensson@sl.se. Om du har övriga frågor vänligen kontakta student@sl.se

Ansökan

Alla exjobb på trafikförvaltningen ligger publicerade på Studentsamarbeten på trafikförvaltningen - Region Stockholm samt på KTH:s exjobbsportal. Ansökan sker via vårt rekryteringssystem, vi har inte möjlighet att ta emot ansökningar via e-post.

Ansök redan i dag eftersom intervjuer kan ske löpande. Sista ansökningsdag är den 2025-11-09. Vi ser fram emot din ansökan!

Var finns vi?

Trafikförvaltningens lokaler finns på Kungsholmen i Stockholm, Lindhagensgatan 100.

Om oss

Enligt våra medarbetare är vår samlade kompetens och det gemensamma engagemanget utmärkande för vår verksamhet. Här finns också chefer och ledare som jobbar för att skapa och bibehålla ett öppet klimat. Tillsammans bidrar vi till Stockholms samhällsutveckling genom att bygga och utveckla en hållbar, modern och tillgänglig kollektivtrafik för 2,3 miljoner invånare. Vårt uppdrag – den gemensamma resan.  

Webb och sociala medier

För mer information om hur det är att jobba hos oss, besök vår karriärsida www.regionstockholm.se/tfjobb. Du hittar oss också på Linkedin.

Nyckelord: Signalsäkerhet, analys, dataanalys, statistik, formella metoder

Vi är stolta samhällsutvecklare. Med kompetens och engagemang tar vi Stockholm och kollektivtrafiken framåt. Vi ansvarar för SL, Waxholmsbolaget, Färdtjänsten och Spårvägsmuseet och tillsammans utvecklar vi en trygg, attraktiv och tillgänglig kollektivtrafik för nära 900 000 resenärer. Följ med oss på resan!

Att söka jobb i Region Stockholm

Vi eftersträvar jämställdhet och jämlikhet på vår arbetsplats och ser gärna sökande med olika bakgrund och förutsättningar.

Vi tar endast emot ansökningar via detta system. Ansök genom att klicka på knappen ”Ansök”. Ansökningar per brev eller e-post beaktas inte. Vi undanber oss direktkontakt med bemannings- och rekryteringsföretag samt säljare av ytterligare jobbannonser.

Vårt rekryteringssystem kan inte hantera anonyma ansökningar eller sökande med skyddade personuppgifter. Om du har skyddade personuppgifter ber vi dig att kontakta den kontaktpersonen som finns angiven i annonsen. Din ansökan kommer då att hanteras utanför rekryteringssystemet. Du bör även vara försiktig med vilken information du lämnar i din ansökan och endast ta med information som är relevant för den aktuella befattningen.

Region Stockholm ansvarar för hälso- och sjukvård, kollektivtrafik, regional utveckling och bidrar till kulturlivet. Varje dag, dygnet runt. I landets snabbaste växande region. Tillsammans skapar vi Europas attraktivaste storstadsregion.

Trafikförvaltningen ansvarar för att Stockholms läns invånare och besökare kan resa tryggt, tillgängligt och hållbart med kollektivtrafiken i länet.