Denne siden holdes oppdatert av Mary Ann Lundteigen, professor på teknisk kybernetikk, NTNU.

* Rammeverk for sikkerhet- og pålitelighetsanalyser for sikkerhetssystemer gis i standarder for funksjonell sikkerhet, slik som IEC 61508, IEC 61511, ISO 26262, IEC 62061, etc. Med ntnu-bruker så får man tilgang til disse via denne siden.

• Relevante bøker er:
  • System Reliability Theory (Rausand, Barros og Høyiland) (tilgjengelig via Wiley online)
  • Reliability of Safety-Critical Systems: Theory and Applications (Rausand)
  • Risk assessment: thoery, methods and applications (Rausand og Haugen). (tilgjengelig via Wiley online)
• Metoder:
  • Funksjonsanalyse (kap 3) (FAST, IDEF, SADT)
  • Risikoanalysemetoder som HAZOP (Hazards and Operability Studies), what-if analyser, hendelsestreanalyser («Event tree analysis»)
  • Feilanalysemetoder for hardware og/eller software som FMECA (failure modes, criticality, and effects analysis), feiltreanalyse («fault tree analysis») og STPA (systems theoretic process analysis)
  • Modeller for tilstandsbaserte systemer: Markovmodeller, , Petri Nets
  • Enklere pålitelighetsanalyser - gjerne med bruk av Grif-verktøyet (gratis-versjon)
  • Feilklassifisering og årsaksanalyser, inludert fellesfeil («Common cause failures»)
  • Metoder som kombinerer sikkerhetsanalyse og modelbasert representasjon av software SysML og UML

Eksempler fra prosessindustrien:

• Rapporter og metodebøker fra PDS forum (nettverk av 40 selskaper)
• Prinsipper for barrierestyring (petroleumstilsynet) (video og rapporter)
• Regelverk med veiledninger (petroleumstilsynet)
• Eksempler på tilsynsrapporter
• NORSOK S-001 (Tilgang via standard.no med ntnu-bruker, via denne siden)

Eksempler fra martim industri:

• Kommer etterhvert

Sikkerhet og AI/ML:

• Roadmap av AI utført av CENELEC
• Artikler (eksempler):
  • Safety monitoring of ML based perception systems for autonomous systems
  • ML og safety engineering (bilindustrien)
  • ML pg safety engineering (også bilindustrien)