Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, 2004-02-11 Programvarupartitionering efter kritikalitet Rikard Johansson, Saab Aerosystems.

Slides:



Advertisements
Liknande presentationer
Målstyrning utifrån Lag om skydd mot olyckor
Advertisements

EDA 480 – Maskinorienterad Programmering
Komponenter i GIS Ett Geografiskt Informationssystem skiljer sig i princip inte från vilket annat Informationssystem som helst © Naturgeografiska Institutionen,
Märkning uteblev – patient opererades på fel sida
Stöd för analys och förbättring
Insatskartan •Visar räddningstjänstens täckning •Gräns mellan upptagningsområden •Befolkningsstatistik.
Hösten 2011 Nortech Telecom
En avancerad miniräknare
Val som ger 500 % skillnad Bertil Moritz HM Power AB Energyforum Elmätning 2003.
Utveckling av Er IT-miljö Hjälp med datorproblem Allmän IT-support.
Anders Sjögren Lagringsklasser •en variabel i C har två attribut –type( int, float, char..... ) –lagringsklass( auto, extern, register, static ) •lagringsklassens.
Raindance mobila lösningar för dig som systemförvaltare
“Kick-off” Mitt-RTK 2005 Vidar Tangen
Acando föreläsning Uppsala caseakademi
Översikt av operativsystem (kap 1 & 2)
Projektet IT-coacher 2013 Enkäter angående intresset av IT-utbildning för seniorer gjordes i kommunerna Lidköping, Götene och Munkedal. De som svarade.
Tobias Gabrielsson Projektledare Arte740 Presentation.
PC-teknik Repetition enligt önskemål som inkommit via mail. (täcker alltså inte alla moment i kursen)
23 August 2014 IS1200 Datorteknik vt09, föreläsning 10, (E och I mfl)1 IS1200 Datorteknik Föreläsning Processorkonstruktion 2. DMA, Direct Memory.
En introduktion till Datakommunikation och Säkerhetstänkande
Silberschatz, Galvin and Gagne ©2009 Operating System Concepts – 8 th Edition, Kapitel 13: I/O-system.
Silberschatz, Galvin and Gagne ©2009 Operating System Concepts – 8 th Edition, Kap 3 & 4: Processer & trådar.
EDIEL avräkningskonferens
Basic Security (Grundläggande säkerhet) Security Policy (Säkerhetsregler)
Programmering B PHP Lektion 3
DIVISION Service Innovationer och upphandling Ett helt nytt sätt att tänka efter före Theresa Hägglund Upphandlingsjurist Norrbottens läns landsting.
Välkommen till Del 1.
Norskt val Försök med elektronisk förtidsröstning och röstning för 16-åringar.
Ann Söderström, Hälso- och sjukvårdsdirektör
Styrteknik: Programmering med MELSEC IL PLC2A:1
Analys av säkerhetskritisk programvara
Kartläggning av stöd- och ledningsprocess
1 Uppgift Implementera HProgSäk i Safety 1st Tillämpa HProgSäk i ”Pilotprojekt”
QULTURUM Mari Bergeling 2014 Kartläggning av stöd- och ledningsprocess Personcentrerad processkartläggning – PCP Före- byggande Identifiering av förutsättningar.
1 Inga-Lill Bratteby-Ribbing, KC Ledstöd, Slut seminarium inom FoTA-programmet Inledning FoTA P : Inledning FoTA P12 (I Bratteby-Ribbing)
Systemsäkerhet i ett marint ledningssystem
© 2007 Cisco Systems, Inc. All rights reserved.Cisco Public ITE PC v4.0 Chapter 1 1 Operating Systems Networking for Home and Small Businesses – Chapter.
IT-säkerhet Gästföreläsning av Christian Ohlsson 2011.
 Inga-Lill Bratteby-Ribbing, SESAM SESAM-gruppen i Programvarusäkerhet (software safety) Arbetet är organiserat i ◘ teman med ett/flera ◘ mikroprojekt.
1 Inga-Lill Bratteby-Ribbing, KC Ledstöd, FoTA P12: Sammanfattning o rekommendationer P12-projektmodell  Specialinriktat nätverk kombinerat med.
Organiska risksubstanser och metaller
Viktigt när du upphandlar molntjänster
Lågnivåprogrammering Översikt av I/O-mekanismer i hårdvara Olika språkkrav och modeller för komponent- hantering(device driving) Modeller för komponent-hantering.
Frågor Allmän IT-kunskap avsnitt 1 kapitel 1 Repetition 3
Personal Computer Hardware (Hårdvaran i PC) Personal Computers And Applications (PC och PC-applikationer)
Problemlösningsmetodik
Avropsprocessen, del 2 Jan Lundh, Enheten för IT-upphandling.
Local Area Network Management,Design and Security.
För utveckling av verksamhet, produkter och livskvalitet. Stack och Kö - Implementering - Tilllämpningar.
Kapitel 10 (i ISO27002) - Från dröm till verklighet Jaak Akker
CHALMERS Computer Engineering MonNet A project for network and traffic monitoring Tomas Olovsson Inst. för Datorteknik Chalmers Tekniska Högskola.
Emulatorkonstruktion Schema Inledning Andra metoder Mina metoder Demonstration av min C64-emulator Sammanfattning och frågor.
SAAB BOFORS UNDERWATER SYSTEMS AUV 62F Autonomous Underwater Vehicle Försöksplattform som bygger på moduler från torped 62 Maria Pettersson,
Kursintroduktion 2 Programmeringsteknik, 4p vt-00 Lärare/handledare Föreläsningar Thomas Johansson ank Marie Nordström
Forskarskolan i moderna språkens didaktik IKT – undervisning och lärande i språk Introduktion Jonas Granfeldt.
Finansiell stabilitet 2004: Lägre kreditrisker hos bankernas låntagare Tydligare tecken på återhämtning av konjunkturen har lett till anpassning.
Tobias Gabrielsson Presentation Projektledare Arte740
Makron. Vad är Makron? Ett makro är en samling kommandon som du kan köra med en enkel musklickning. Makron kan användas för att automatisera praktiskt.
IG-möte #2: Förmiddagsprogram
ett bra exempel på ett digitalt system
Statistiska samband i trafikolyckor Av: Lina Forsberg Hangjin Lee Daniel Leo Carl-Mikael Westman.
Engagemang och samverkan trots små resurser Lona-träff i Lycksele maj 2015.
Indikatorer och mål. Varför mäter man? Inga mål utan mätning Ingen mätning utan analys Ingen analys utan åtgärd Ingen åtgärd utan kommunikation.
Windows brandvägg s105 Använd mjukvarubrandvägg även om du har brandvägg i router/gateway mjukvarubrandvägg skyddar mot intrång inom det lokala nätverket.
Datasäkerhet 1.Skydda informationen – Ändra, förstöras eller kopieras 2.Säkerställa driften – Se till att program, datorer, servrar, nätverk och kommunikation.
Vad är informationssäkerhet?
Bygga dator: CPU och minne
Test & Kvalitetssäkring
Digitalteknik 3p - Kombinatoriska Byggblock
Digitalteknik 3p - Kombinatoriska Byggblock
Presentationens avskrift:

Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, Programvarupartitionering efter kritikalitet Rikard Johansson, Saab Aerosystems

Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, S/W Identifiering av felhändelser Vingbalksbrott Förlust av styrförmåga Brand i kabin Förlusta av noshjulsstyrning S/W

Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, Hazard 1 2 Hazard nameSystem EffectSeverity * Förlust av styrförmåga Förlust av noshjulsstyrning Haveri Skada/dödsfall Ökad förarbelastningMinor Catastrophic * Enligt RTCA/DO-178B Analys av felhändelser

Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, S/W Delar resurser (minne,CPU, I/O etc).

Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, Anpassning av utvecklingsmetod mot säkerhetskrav FEL

Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, S/W

Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, Partitioneringsproblemet TID RUM Skydd för beräkningar och kommunikation Oändliga loopar Program-stopp Fel i programflöde Överskrivning av stack Skydd för kod/data minne, register och I/O buffrar Överskrivning av data Otillåten påverkan av systemet Överskrivning av stack

Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, CPU NMI I/O Timer RAM PROM ÖppnaSlut slutenöppenslutenöppen ArkitekturSchemaläggning RAM Öppna och sätt Timer Timer triggar NMI och sluter Öppna och sätt Timer I/O Lösning

Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, Implementation A0-A14 CPU CS-logic A7-A15 ROMRAM A0-A15 I/O A15 CS

Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, Andra lösningar Exempel Lynuxworks, LynxOS-178 RTOS Green Hills, INTEGRITY-178B Wind River, VxWorks AE 653 RTOS …

Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, Summering Partitionering ger : + Minskad totalkostnad/ökad säkerhet + Flexibilitet inför framtiden - Ökad investeringskostnad (RTOS alt. Hårdvara) Partitionering i hårdvara ger : + Oberoende av processortyp + Oberoende av RTOS - Något ökad kostnad för hårdvara