• norsk
    • English
  • norsk 
    • norsk
    • English
  • Logg inn
Vis innførsel 
  •   Hjem
  • Fakultet for naturvitenskap (NV)
  • Institutt for biologi
  • Vis innførsel
  •   Hjem
  • Fakultet for naturvitenskap (NV)
  • Institutt for biologi
  • Vis innførsel
JavaScript is disabled for your browser. Some features of this site may not work without it.

Goal and evidence based dependability assessment

Melkild, Eline Marie Bye
Master thesis
Thumbnail
Åpne
644237_COVER01.pdf (131.4Kb)
644237_FULLTEXT01.pdf (1.877Mb)
Permanent lenke
http://hdl.handle.net/11250/245291
Utgivelsesdato
2013
Metadata
Vis full innførsel
Samlinger
  • Institutt for biologi [1957]
Sammendrag
Utvikling av sikkerhetskritiske systemer er styrt av standarder. Mange standarder krever utvikling av en safety case for å demonstrere aksept av sikkerhetskritisk utstyr. En safety case må gi visshet om at systemet er trygt nok til å operere. For programvare der det ikke er mulig å tallfeste den tilknyttede risiko, gjeldende standarder innen luftfart, jernbane og forsvarssektorer, identifiseres design- og sikkerhetsprosesser for ulike Safety Integrity Levels (Sil's) eller lignende. Programvare blir sagt å være egnet for bruk hovedsaklig ved å appellere til standardene, og støttet med passende bevis. Forutsetningen er at programvare som er utviklet etter prosesskravene om høyere Sil's, vil være mindre utsatt for kritiske feil, og dermed har en lavere innvirkning på det totale systemets sikkerhet.Det har blitt foreslått at en "bevisbasert" tilnærming bør brukes på programvare. En "bevisbasert» eller «målbasert" tilnærming kan implementeres ved hjelp av et rammeverk for å uttrykke programvaresikkerhets-argumenter, basert på kategorisering av bevis, som i stor grad er uavhengig av utviklingsprosessen.Følgende oppgaver er inkludert i prosjektet:.Oppgave 1: En undersøkelse av ulike verktøy for å bygge safety case'er.Oppgave 2: Basert på et av verktøyene: Foreslå en måte å strukturere en safety case for å gi tilstrekkelig bevis om sikkerhet.Oppgave 3: Diskuter erfaringen ved å bruke de verktøyene (kan inkludere semi-strukturerte intervjuer med eksperter i bransjen om deres bruk av safety case'er).
Utgiver
Institutt for datateknikk og informasjonsvitenskap

Kontakt oss | Gi tilbakemelding

Personvernerklæring
DSpace software copyright © 2002-2019  DuraSpace

Levert av  Unit
 

 

Bla i

Hele arkivetDelarkiv og samlingerUtgivelsesdatoForfattereTitlerEmneordDokumenttyperTidsskrifterDenne samlingenUtgivelsesdatoForfattereTitlerEmneordDokumenttyperTidsskrifter

Min side

Logg inn

Statistikk

Besøksstatistikk

Kontakt oss | Gi tilbakemelding

Personvernerklæring
DSpace software copyright © 2002-2019  DuraSpace

Levert av  Unit