Finns säkerhetskritisk programvara ur MSI-synpunkt? Dag Caldenfors Teknikområdesföreträdare MSI FramTek.

Slides:



Advertisements
Liknande presentationer
Planering, genomförande av undervisning och bedömning enligt Lgr 11
Advertisements

Centrala innehåll och kunskapskrav
Perspektiv på IT-system!
Kapitel 5 Att köpa företagstjänster
Teknisk psykologi – design för användaren
Teknik 1 utifrån förmågorna och centrala innehållet Vad teknik är
En av de främsta samhällsteoretikerna.
Vad är teknik?.
Förmågor & Centralt innehåll
E-diagnos Ny kontroll för säkrare fordon
Med hänsyn till de sju funktionernas dysfunktion
Malin Junerfält Mitt Syslöjdsarbete.
Kurslitteraturen består av 11 kapitel som var och en belyser olika delar av automatiseringstekniken. De utgör fristående delar men har en gemensam röd.
Region Skåne © Copyright 2005 Springlife AB | Ola Persson VD
Vad innebär ett barnperspektiv
Objektorienterad tänkande
Varför vänta! Dra nytta av nya funktioner i Maximo
Personlig assistans ur ett sociologiskt perspektiv Forskningsledare Antti Teittinen Förbundet Utvecklingsstörning.
Vetenskaplighet En gissning blir inte vetenskap för att den råkar visa sig vara sann. Vetenskap handlar om att ge tillräckligt goda /rimliga skäl för att.
Att dela kakan rättvist i vården
Hållbar Utveckling Vad är det?.
Simulering (och förbättring) av mänskliga rörelser Anders Eriksson och Elena Gutierrez-Farewik KTH Mekanik, (E G-F även KI, Kvinnors och barns hälsa)
1. Bosättning Hur bodde befolkningen förr i tiden?
William Sandqvist C:s minnesmodell.
Analys av säkerhetskritisk programvara
Trygghet ger resultat  Enligt läroplan 2011 är det varje elevs rättighet att ha en trygg tillvaro i skolan.  Med gemensamma värdegrunder skapas trygghet.
Säkerhetsfilosofi KBS-3 KBS-3-metodens säkerhetsfilosofi Allan Hedin, SKB.
Icke-kognitiva förmågor
Samhällskunskap 1a1 Kursens: mål innehåll kunskapskrav samhällsfrågor
SYTT System för tidrapportering och tidplanering.
Harriet Borg Unander Leg psykolog
Etik & moral Etik = beskriver vilka riktlinjer vi ska välja för hur vi ska handla, val vi ställs inför. När man funderar över skillnader i vad som anses.
1 LUCAS: Tematiska områden z Utvecklingsmiljöer för programvara z Metodik för programvaruutveckling z Programvara för realtidssystem.
Specialister på IT-arbetssätt.
13,7 miljarder år.
MDI och användbarhet Måndagen den 27/3 Design och utvärdering, 5 poäng.
När projekt blir mer än ett gästspel Regional lärkonferens - För samverkan, lärande och erfarenhetsutbyten 30 september – 1 oktober 2010 Skellefteå Carina.
Nyttan med en säker meddelande- och kommunikationsplattform Lasse Pettersson, Humandata.
Innehåll Form (Svenska Impulser från s 198)
Årskurs 9 Entréskolan vt 2013
1 Validering Regional arbetsgrupp Vad är validering? ”Validering är en process som innebär en strukturerad bedömning, värdering, dokumentation.
Strukturering av informationssystem Föreläsningsunderlag
Helena Lindgren 1 Varför Verksamhetsteori i MDI? Reaktion mot det som man såg som MDI-disciplinens brister Artefaktens roll dåligt utforskad.
Sexualitet, lust, relationer och sexuella hälsa
Varför dog Jesus? Vad är problemet? Vad kunde God göra åt det?
Datorer gör bilarna säkrare Mathias Bylund Johan Svensson.
Angrepp mot informationssystem Ds 2005:5 Göteborgs Universitet Kristina Ullgren
Cancervårdprocesser och deras förbättring
Föreläsning om RUP RUP – Rational Unified Process
Den framtida operativa trafikbilden Inst. för informationsteknologi Uppsala universitet Bengt Sandblad.
Ge och ta konstruktiv, förstärkande och utvecklande feedback
fokusgrupper En Kvalitativ datainsamlingsmetod Karina Kight
Främjande av hälsa Varför främja hälsan? På samhällsnivån är det mycket billigare att förebygga än att sköta sjukdomar På individnivån uppskattar.
Hur arbetar Gambro i Lund med Human Factors Engineering?
Presentationsteknik och Interkulturell kommunikation, ÅYH 2002
- Innehåll - Form - (Svenska Impulser från s 198) Analys av roman.
Teknikutveckling i ett hållbart perspektiv
Coaching.
Styr och regler teknik.
Förändrad kunskapssyn Olika tekniker
Kvalitativ metod II Hur gick det i går? Är det frågor?
Organisationskultur Det symboliska perspektivet Definitioner
Infrastruktur för patientportaler
Politiskt deltagande Sammanfattning.
Organisationskultur Det symboliska perspektivet Definitioner
Med hänsyn till de sju funktionernas dysfunktion
Att skriva uppsats Metodfrågor.
Identifiering av viktiga processer och nyckelfunktioner
Agenda Bakgrund/utgångspunkt - för Västkom idag
Infomationsdag ladok3-projektet
Presentationens avskrift:

Finns säkerhetskritisk programvara ur MSI-synpunkt? Dag Caldenfors Teknikområdesföreträdare MSI FramTek

Agenda Inledning Tentativa definitioner och begrepp Kända tekniska funktionstillämpningar –Kritiska funktioner och egenskaper –där det kan gå fel?! System och händelser Interaktion –Krav på dynamisk utvecklingsmetodik Sammanfattning

Inledning Vad menas med säkerhetskritisk pgmvara? Vad menar vi med MSI? Varför Interaktion? Varför ”klassiska” säkerhetskritiska funktioner finns? Vad är problemet? –Hönan eller ägget eller båda

Några definitioner och begrepp Vanliga tolkningar ! Säkerhetskritisk funktion –onormala händelser –krav på hög precision –fara för liv och egendom/miljö Kända principer –Inbyggd funktionalitet - Kompensera för brist i mänsklig förmåga dvs. utestänga människan från vital säkerhetsfunktion –Interaktion dvs. stödfunktion för samspel vid säkerhetskritisk händelse

Kända tekniska Funktionstillämpningar Elektriska styrsystem/automater JAS 39 Automatisk upptagning vid markkollision Automatisk destruktion Robotar mm Automatisk Tågtrafik reglering ATC Motorstyrning av bilar EMS TCS Låsningsfria bromsar ABS Kylvatten reglering Kärnkraftverk

Kritiska funktioner och egenskaper -där det kan gå fel?! Nöd-stopp –Blockering av ”felande” system (göra strömlöst) –Aktivering av funktion/mode Prioritering av överordnade egenskaper Spärrning (via FÖ/TEST) –Checksummering –Toleransvärden

Sammanfattning Människans adaptiva förmåga måste förstås bättre vid utveckling av Säkerhetskritisk programvara MSI aspekterna gäller även för systemutvecklare och underhålltekniker Människa-system dynamiken ställer speciella krav på utvecklingsmetodik och processer