Programvara i säkerhetskritiska tillämpningar

Storlek: px
Starta visningen från sidan:

Download "Programvara i säkerhetskritiska tillämpningar"

Transkript

1 Programvara i säkerhetskritiska tillämpningar Programvara får inte bidra till att person, egendom eller miljö skadas

2 Systemsäkerhetsprocessen vid försvarsmakten materielupphandling beskrivs och kravställs i H SystSäk Försvarsmaktens handbok för Systemsäkerhet Samhället: Allmän tolerans av döda och skadade uttryckt i lagar och förordningar. FM specificerar den tolerabla risk nivån för ett nytt FM system i en TTEM. FMV producerar en system specifikation som inkluderar systemsäkerhetskrav. Industrin använder en systemsäkerhetsmetodik vid systemutvecklingen och deklarerar systemet i ett säkerhetsutlåtande, SCA. FMV tar fram ett Säkerhetsgodkännande, SS och rekommenderade säkerhetsrestriktioner. FM tar beslut om användning BOA inklusive säkerhetsrestriktioner

3 H ProgSäk Försvarsmaktens handbok för programvara i säkerhetskritisk tillämpning Beskriver och kravställer livscykelprocessen för utveckling, underhåll och avveckling av programvara Ställer systemsäkerhetskrav på: Uppdragsgivare (FM), Beställare (FMV) och Leverantör Produkter Utvecklings- och måldatormiljö i fyra kritikalitetsnivåer Hög/Medel/Låg och Grundkrav Samhället: Allmän tolerans av döda och skadade uttryckt i lagar och förordningar. Industrin använder en Systemsäkerhetsmeto dik vid systemutvecklingen och deklarerar systemet i ett säkerhetsutlåtande, SCA. FM specificerar den tolerabla risk nivån för ett nytt FM system i en TTEM. FMV tar fram ett Säkerhetsgodkännande, SS och rekommenderade säkerhetsrestriktioner. Förklarar begrepp och akronymer Jämför och refererar standarder och handböcker inom området Anger tekniker och metoder för säkerhetskritisk programvara Diskuterar problemställningar vid säkerhetskritisk programvara FMV producerar en system specifikation som inkluderar systemsäkerhetskrav. FM tar beslut om användning BOA inklusive säkerhetsrestriktioner

4 DO-178B / ED12B DeFacto Standard i USA (RTCA) och Europa (EUROCAE) för utveckling av flygsäkerhetskritisk programvara Beskriver och ställer krav på utvecklingsprocess för programvara, Software Life Cycle Processes Förutsätter en övergripande systemsäkerhetsprocess, System Safety Assessment Process Definierar fyra kritikalitetsnivåer, Software Level, som svarar mot företagets eller projektets förmåga att utveckla flygsäkerhetskritisk programvara Ställer hårda krav på testning och konfigurationshantering

5 DO-178B Software Life Cycle Process Input from System Life Cycle Process System Requirements allocated to SW, SW Level, Design Constraints, HW Definition Integral Products Development Resources Planning SW Development Environment Configuration Management Quality Assurance Standards Plans Problem Reports SW Development plan SW Certification plan SW Verification plan SW CM Plan SW QA plan SW Req. std. SW Design std SW Development Process System req alloc to sw, hw interfaces, system architecture Source Code, compiler instructions, linking&loading data Executable Object Code SW Verification Cases, Procedures & Results Baseline SW Code std. SW req std SW Requirements Data, high-level requirements & derived requirements Design Description, SW architecture & low-level requirements dev env compiler Requirement process highlevel test env SCM Records, SCM Index, SW Life Cycle Environment Configuration Index, Traceability, Archive SQA Records Software Planning Process Prototyping SW design std Iterations Previously developed SW Design process Low-level req sw architecture Verification process Coding process SW code std Configuration Management process Quality Assurance process Certification Liaison process Source code Verification Cases & Procedures Source code Source code Integration process Object code SW Verification Result SW Accomplishment Summary Ouput to System Life Cycle Process Fault Containment Boundaries, Error Sources identified/ eliminated, SW requirements & architecture

6 Jämförelse mellan H ProgSäk och DO-178B H ProgSäk: Krav i kapitel 2-5. Grönmarkerade och numrerade. Kritikalitet (H/M/L) utöver grundkrav. DO-178B: Krav finns sammanställda i tabellform i annex A. Kritikalitet som SW Level A-D

7 Jämförelse mellan H ProgSäk och DO-178B H ProgSäk Krav på uppdragsgivare FM Personal, planering och TTEM Krav på beställare FMV Personal, planering, kvalitetsstyrning/säkring, anskaffning, drift, vidmakthållande, ändringar, stödsystem och teknisk specifikation. DO-178B Inga krav på uppdragsgivare Inga krav på beställare

8 Jämförelse mellan H ProgSäk och DO-178B H ProgSäk Krav på Leverantör Personal, planering, systemsäkerhetsplanering, kvalitetsstyrning/säkring, konfigurationsstyrning Systemsäkerhetsanalys, produktionsprocess, utvecklingsmodell/metodik Stödverktyg för CM, felrapporter, kravhantering, programvaruutveckling, kodgenerering, analyser Verktygscertifiering(H) Krav på DO-178B Planering, kvalitetsstyrning/säkring, konfigurationsstyrning Ej på personal Ej på systemsäkerhetsanalys och systemsäkerhetsplanering som förutsätts men inte preciseras Produktionsprocess, utvecklingsmodell/metodik CM, felrapportering, kompilatorer och analyser Verktygskvalificering

9 Jämförelse mellan H ProgSäk och DO-178B H ProgSäk Krav på Leverantör COTS och återanvändning Produktspecifikation, konstruktionsprinciper, språkrestriktioner, kodningsföreskrifter, dokumentation Produktionsmiljö Måldatormiljö Systemsäkerhetsinriktad arkitektur Krav på DO-178B COTS och återanvändning Produktspecifikation, konstruktionsprinciper, dokumentation Dokumentation av produktionsmiljö Certifieringsprocess för luftvärdighetsgodkännande av luftfartsmyndighet Diskuterar Systemsäkerhetsrelaterad arkitektur

10 Sammanfattande jämförelse mellan H ProgSäk och DO-178B H ProgSäk ställer generella systemsäkerhetskrav på programvarans livscykel DO-178B ställer flygspecifika krav på programvarans utvecklingsprocess H ProgSäk ställer krav på uppdragsgivare, beställare, leverantör m a p personalkompetens, styr- och produktionsprocesser, metoder, verktyg, produkt och dokumentation DO-178B ställer krav på planerings-, stöd-, utvecklings-, certifieringsprocess, (produkt) och dokumentation H ProgSäk ställer krav enligt fastställd kritikalitet (H/M/L/G) DO-178B ställer krav enligt fastställd Software Level (A-D) DO-178B kompletterar H ProgSäk inom flygsektorn m a p leverantörens utvecklingsprocess

11 Korsreferens mellan H ProgSäk och DO-178B Inom FoTA P12 har S&T tagit fram en korsreferens mellan krav i H ProgSäk & DO-178B Korsreferensen är tillgänglig via FMV och SESAM

REGELVERK & HANDBÖCKER

REGELVERK & HANDBÖCKER 1 (5) REGELVERK & HANDBÖCKER Innehåll sid. Uppdateringar/kompletteringar 2 Nyskrivning av rutiner 4 Gränsytan mellan systemsäkerhet och programvarusäkerhet 5 2 (5) Uppdateringar/kompletteringar Software

Läs mer

Kursinformation. Metodik för programvaruutveckling. Utvecklingsprocessen för programvara. Innehåll. Processmodell. Exempel

Kursinformation. Metodik för programvaruutveckling. Utvecklingsprocessen för programvara. Innehåll. Processmodell. Exempel Kursinformation Metodik för programvaruutveckling Föreläsning 3 Latex ok för litteraturstudierapport (prata med mig bara) Nästa föreläsning är av Björn Regnell (jag är med också) Presentationer imorgon

Läs mer

Att fatta rätt beslut vid komplexa tekniska upphandlingar

Att fatta rätt beslut vid komplexa tekniska upphandlingar Att fatta rätt beslut vid komplexa tekniska upphandlingar Upphandlingsdagarna 2015 Stockholm 29 januari 2015 1 Inledning Den här presentation kommer att undersöka de vanligaste fallgroparna vid komplex

Läs mer

System Safety Management Plan (SSMP) för [SiF] [Materielgrupp]

System Safety Management Plan (SSMP) för [SiF] [Materielgrupp] AK XXX XXXXXX 1(10) System Safety Management Plan (SSMP) för [SiF] [Materielgrupp] Instruktion för ifyllande: SSMP är en dokumentering av den planerade systemsäkerhetsverksamhet som avses genomföras för

Läs mer

FMV användning av ISO/IEC 15288 för ledningssystem implementering. Harold Bud Lawson Styrelsemedlem och Consulting Partner

FMV användning av ISO/IEC 15288 för ledningssystem implementering. Harold Bud Lawson Styrelsemedlem och Consulting Partner FMV användning av ISO/IEC 15288 för ledningssystem implementering Harold Bud Lawson Styrelsemedlem och Consulting Partner Roller FMV har nära och långsiktiga samarbeten Regeringen Uppgifter Anslag Finansiella

Läs mer

Handbok för programvara i säkerhetskritiska tillämpningar

Handbok för programvara i säkerhetskritiska tillämpningar Handbok för programvara i säkerhetskritiska tillämpningar FÖRSVARSMAKTEN 2001-12-13 FM beteckning Försvarets materielverk 14910:61171 FMV beteckning Plan 14910:3476/01 Publikation M7762-000531 Handbok

Läs mer

Platina och kvalité. Rasmus Staberg, Teknisk direktör, 2014-04-08

Platina och kvalité. Rasmus Staberg, Teknisk direktör, 2014-04-08 Formpipe Platina och kvalité Rasmus Staberg, Teknisk direktör, 2014-04-08 04 08 1 Formpipe Presentation Bakgrund Platina släpptes som första release år 2000. Fick pris för Best in show från Bill Gates

Läs mer

ISTQB Testarens ledstjärna

ISTQB Testarens ledstjärna ISTQB Testarens ledstjärna SSTB SAST-möte 2012-02-23 Vilka är vi? Mångårig erfarenhet från testarbete, testare, testledare, testchef. Utveckling av test metoder och processer. Test kurser. Jobbar som Systemarkitekt

Läs mer

0. ALLMÄNT INNEHÅLL. Bilaga 1.Referensförteckning över angivna referenser i Verksamhetsåtagande. Handbok KRAVDOK Verksamhetsåtagande 1996-04-03

0. ALLMÄNT INNEHÅLL. Bilaga 1.Referensförteckning över angivna referenser i Verksamhetsåtagande. Handbok KRAVDOK Verksamhetsåtagande 1996-04-03 FLYG 075/96 Sida 1 (7) 0. ALLMÄNT INNEHÅLL 0. ALLMÄNT...2 0.1 OMFATTNING, INNEHÅLL...3 0.2 SYFTE...5 0.3 TILLÄMPNING, GILTIGHET...5 0.4 REFERENSER, STANDARDER...6 0.5 DEFINITIONER, FÖRKORTNINGAR...7 Bilaga

Läs mer

Informationshantering vid systemutveckling styrd av CM

Informationshantering vid systemutveckling styrd av CM Informationshantering vid systemutveckling styrd av CM Håkan Edler Torbjörn Jungeby Tore Qvist Syfte och mål Syftet med arbetsgruppens aktuella arbete är, att möjliggöra ett samordnat informationsutbyte

Läs mer

1. Kursens benämning Tekniska system och dess bidrag till de operativa förmågorna

1. Kursens benämning Tekniska system och dess bidrag till de operativa förmågorna 1. Kursens benämning Tekniska system och dess bidrag till de operativa förmågorna 2. Engelsk benämning An introduction to Military-Technology, technical systems (OP Mte) 3. Kurskod 1OP088 4. Beslut Denna

Läs mer

Workshop: How can CM enable business downstream?

Workshop: How can CM enable business downstream? Workshop: How can CM enable business downstream? Concept Development Production Utilisation & Support s Retirement Upstream activities or front end analysis Enterprise & Portfolio context Programme Management

Läs mer

Metoder och verktyg för funktionssäkerhet

Metoder och verktyg för funktionssäkerhet Metoder och verktyg för funktionssäkerhet Projektstart 1. Hantera kraven En bra process är grunden för att hantera kraven i ett säkerhetsprojekt. Det krävs att du har en tydlig spårbarhet mellan krav och

Läs mer

Produktinformation viktigare än programvara?!

Produktinformation viktigare än programvara?! Produktinformation viktigare än programvara?! Standarden ISO 10303-239 PLCS gör g r det möjligt m att skapa en helhetsbild över den information som beskriver de krav du ställer påp din produkt, den resulterande

Läs mer

Erfarenheter från Hazop användning på programvara i Arte740. Presentation för SESAM 2003-02-04 Claes Norelöv 4Real AB

Erfarenheter från Hazop användning på programvara i Arte740. Presentation för SESAM 2003-02-04 Claes Norelöv 4Real AB Erfarenheter från Hazop användning på programvara i Arte740 Presentation för SESAM 2003-02-04 Claes Norelöv 4Real AB 1 Innehåll 1. Bakgrund 2. Hazops plats i systemsäkerhetsarbetet 3. Vad-Hur gör man.

Läs mer

Systemsäkerhetsverksamhet

Systemsäkerhetsverksamhet 1 Systemsäkerhetsverksamhet Systemsäkerhet definieras som Egenskapen hos ett system att inte orsaka person-, egendoms-, eller miljöskada. Här ställs krav på den systemsäkerhetsverksamhet som leverantören

Läs mer

Presentation. Fredrik Runnsjö 1996 Utvecklare 2004 Testare ~2006 Scrum/Canban

Presentation. Fredrik Runnsjö 1996 Utvecklare 2004 Testare ~2006 Scrum/Canban Presentation Fredrik Runnsjö 1996 Utvecklare 2004 Testare ~2006 Scrum/Canban Om AddQ Mission Vi skapar affärsnytta för kunden genom specialisttjänster inom test, kvalitetssäkring och effektivisering Tjänsteområden

Läs mer

ISD - IT-säkerhetsdeklaration. Information till SESAME Dan Olofsson PrL ISD 070-6825904

ISD - IT-säkerhetsdeklaration. Information till SESAME Dan Olofsson PrL ISD 070-6825904 ISD - IT-säkerhetsdeklaration Information till SESAME Dan Olofsson PrL ISD 070-6825904 Agenda Varför ISD? Omfattning ISD, Informationssäkerhet kontra IT-säkerhet Status Vad är ISD? Varför ISD? Projekt

Läs mer

H ProgSäk REMISSUTGÅVA 2. Handbok Programvara i säkerhetskritiska tillämpningar. Version Peter Djervbrant. Lars Lange.

H ProgSäk REMISSUTGÅVA 2. Handbok Programvara i säkerhetskritiska tillämpningar. Version Peter Djervbrant. Lars Lange. Version 2017-05-29 Peter Djervbrant Lars Lange Björn Koberstein Mikael Lindbergh H ProgSäk Handbok Programvara i säkerhetskritiska tillämpningar REMISSUTGÅVA 2 2018 H ProgSäk 2018 Sida 2 Försvarets materielverk

Läs mer

Projektkaos. Chaos-rapporten. 34% av projekten avslutades i tid och enligt budget... ... 66% misslyckades!

Projektkaos. Chaos-rapporten. 34% av projekten avslutades i tid och enligt budget... ... 66% misslyckades! Projektkaos. Chaos-rapporten 34% av projekten avslutades i tid och enligt budget...... 66% misslyckades! 1 Standish Group, 2003 (www.standishgroup.com) Praxis Hantera krav Använd komponentarkitekturer

Läs mer

Informationssystem och databasteknik, 2I-1100

Informationssystem och databasteknik, 2I-1100 Informationssystem och databasteknik, 2I-1100 Introduktion till informationssystem - användning, teknik och utveckling Vad är ett informationssystem? Informationssystem: datoriserat system som stödjer

Läs mer

men borde vi inte också testa kraven? Robert Bornelind

men borde vi inte också testa kraven? Robert Bornelind men borde vi inte också testa kraven? Robert Bornelind Presentation på SAST 15 års jubileum 14 oktober 2010 SQS Software Quality Systems Nordic Innehåll Introduktion Kvalitet, tid och kostnad Process Testning

Läs mer

Försvarsmaktens handbok Systemsäkerhet 2011 Del 2 Metoder. H SystSäk

Försvarsmaktens handbok Systemsäkerhet 2011 Del 2 Metoder. H SystSäk Försvarsmaktens handbok Systemsäkerhet 2011 Del 2 Metoder H SystSäk Försvarsmakten Högkvarteret 2010-06-08 14 910:60224 Försvarsmaktens handbok Systemsäkerhet 2011 (H SystSäk 2011) M7739-352022 H SystSäk

Läs mer

Common Criteria Certification of Open Source Software

Common Criteria Certification of Open Source Software Certification of Open Source Software Tomas Gustavsson PrimeKey Solutions AB www.ejbca.org www.cesecore.eu Agenda Common Criteria Vad Varför Open Source Hur fungerar de ihop? Hur påverkas ett projekt?

Läs mer

RUP - Rational Unified Process

RUP - Rational Unified Process IBM Software Group RUP - Rational Unified Process Eva Hådding eva.hadding@se.ibm.com 1 Projektkaos. Chaos-rapporten 28% av projekten avslutades i tid och enligt budget. 49% av projekten drog över de ursprungliga

Läs mer

Innehåll. Kravhantering. Kravhantering TDDD06 Introduktion till kravhantering. Vad är kravhantering?

Innehåll. Kravhantering. Kravhantering TDDD06 Introduktion till kravhantering. Vad är kravhantering? Innehåll Kravhantering TDDD06 Introduktion till kravhantering Institutionen för datavetenskap (IDA) Linköpings universitet Kravhantering Omfattning Grundläggande koncept Aktörer Aktiviteter Artefakter

Läs mer

men borde vi inte också testa kraven?

men borde vi inte också testa kraven? men borde vi inte också testa kraven? Robert Bornelind Presentation på SAST, 24 februari 2011 SQS Software Quality Systems Sweden AB Innehåll Introduktion Kvalitet, tid och kostnad Process Testning av

Läs mer

SESAM. Försvarssektorns Användargrupp för Software Engineering. Inbjuder till seminariet. Automatiserad programvarutestning -

SESAM. Försvarssektorns Användargrupp för Software Engineering. Inbjuder till seminariet. Automatiserad programvarutestning - SESAM Försvarssektorns Användargrupp för Software Engineering Inbjuder till seminariet Automatiserad programvarutestning - Utmaningar, exempel och potential i kritiska system 17 november 2011 Armémuseum,

Läs mer

3. KVALITETSSÄKRING INNEHÅLL

3. KVALITETSSÄKRING INNEHÅLL FLYG 075/96 Sida 1 (16) 3. KVALITETSSÄKRING INNEHÅLL 3 KVALITETSSÄKRING...2 3.1 ALLMÄNT...2 3.2 LEVERANTÖRENS KVALITETSSYSTEM...3 3.2.1 Val av kvalitetssystemstandard...3 3.2.2 Precisering av standardkrav...5

Läs mer

BIM konceptuell överblick och utblick

BIM konceptuell överblick och utblick BIM konceptuell överblick och utblick Dr Väino Tarandi, Eurostep Ordförande buildingsmart Sweden Agenda BIM vad är det, och vad är det inte?» Hur samverkar man? openbim» Definition» Hur samverkar man?

Läs mer

Kravhantering integrerat i MoDAF. Ulf.Carlsson@Syntell.se

Kravhantering integrerat i MoDAF. Ulf.Carlsson@Syntell.se Kravhantering integrerat i MoDAF Ulf.Carlsson@Syntell.se Innehåll Kravhantering ur ett livscykelperspektiv Dokumentbaserad kravhantering integrerat i MODAF Att verifiera TTEM genom att modellera Erfarenheter

Läs mer

Professionell masterutbildning i programvaruteknik

Professionell masterutbildning i programvaruteknik Professionell masterutbildning i programvaruteknik Mälardalens högskola Blekinge Tekniska Högskola Chalmers Tekniska Högskola & Göteborgs Universitet Swedish Institute of Computer Science Swedsoft i samarbete

Läs mer

Föreläsning 3. Programvaruutveckling för Stora System. Målsättning i programvaruprojekt. Fel och risker. Christin Lindholm

Föreläsning 3. Programvaruutveckling för Stora System. Målsättning i programvaruprojekt. Fel och risker. Christin Lindholm Föreläsning 3 Programvaruutveckling för Stora System Projektledning, planering, dokument Dokument, processöversikt, möten Christin Lindholm 2 Målsättning i programvaruprojekt producera rätt produkt med

Läs mer

Agil programutveckling

Agil programutveckling Agil programutveckling Pontus Evertsson D00, Lunds Tekniska Högskola d00pe@efd.lth.se Anna Jennerheim D00, Lunds Tekniska Högskola d00aj@efd.lth.se 2003-05-15 1 1. Inledning 3 2. Extreme Programming (XP)

Läs mer

Testning på 3 föreläsningar. PV7180 Verifiering och Validering. Litteratur. Vad är testning? Varför testa och olika syn? Målet med testning

Testning på 3 föreläsningar. PV7180 Verifiering och Validering. Litteratur. Vad är testning? Varför testa och olika syn? Målet med testning ning på 3 föreläsningar Första föreläsningen Översikt PV7180 Verifiering och Validering Föreläsning 3 ning del 1 Andra föreläsningen Coverage ing, OO-ing, Utvärdering av tekniker Tredje föreläsningen Automatiserad

Läs mer

RUP Rational Unified Process. 17 november 2004

RUP Rational Unified Process. 17 november 2004 RUP Rational Unified Process 17 november 2004 RUP Volvo Information Technology, Eva Hådding Volvo Information Technology Volvo IT ingår i Volvo-koncernen Volvo Lastvagnar Volvo Bussar Volvo Anläggningsmaskiner

Läs mer

2014-2015 Alla rättigheter till materialet reserverade Easec

2014-2015 Alla rättigheter till materialet reserverade Easec 1 2 Innehåll Introduktion... 4 Standarder... 5 Översikt: Standarder... 6 1058.1-1987 IEEE Standard för Software Project Management Plans... 7 Ingående dokument... 8 Syfte och struktur... 9 ITIL... 10 ITIL

Läs mer

Erik Marklund, RTKP1, 0586-856 51 2001-12-21 - Håkan Edler och övriga medlemmar i SESAM:s Metodikarbetsgrupp

Erik Marklund, RTKP1, 0586-856 51 2001-12-21 - Håkan Edler och övriga medlemmar i SESAM:s Metodikarbetsgrupp 1 (16) Erik Marklund, RTKP1, 0586856 51 20011221 Mottagare Håkan Edler och övriga medlemmar i SESAM:s Metodikarbetsgrupp SESAM Mikroprojekt Drömverktyget. Slutrapport Sammanfattning av intrycken från Demonstrationsdagen

Läs mer

Steget efter CAD Data Management. Per Ekholm

Steget efter CAD Data Management. Per Ekholm Steget efter CAD Data Management Per Ekholm Agenda Vilka processer/discipliner stöds i PDMLink Dokument management Configuration Management Change Management Project Management Hur utvärderar jag behovet?

Läs mer

en fråga om samarbete SESAM 2001-10-24

en fråga om samarbete SESAM 2001-10-24 en fråga om samarbete SESAM 2001-10-24 Håkan Enquist Göteborgs universitet AerotechTelub 1 Inledning Produkter och arkitektur Processer/organisation och arkitektur Arkitektur = kunskap? Utveckling av arkitekturkunskap

Läs mer

4. CENTRALT UNDERHÅLL

4. CENTRALT UNDERHÅLL FLYG 075/96 Sida 1 (5) 4. CENTRALT UNDERHÅLL INNEHÅLL 4. CENTRALT UNDERHÅLL... 3 4.1 ALLMÄNT... 3 4.2 KRAV PÅ LEVERANTÖRENS UNDERHÅLLSORGANISATION OCH RESURSER... 4 4.3 UNDERHÅLLETS OMFATTNING... 4 4.4

Läs mer

Certifierad testare SSTB Ingvar Nordström

Certifierad testare SSTB Ingvar Nordström Certifierad testare SSTB Ingvar Nordström Varför certifierad testare? Bland annat Att få test erkänt som en viktig och professionell yrkesroll. Att möjliggöra för testare att bli erkända hos arbetsgivare.

Läs mer

Software Engineering. Agneta Nilsson, PhD MPA Software Engineering Master s Programme

Software Engineering. Agneta Nilsson, PhD MPA Software Engineering Master s Programme Software Engineering Agneta Nilsson, PhD MPA Software Engineering Master s Programme Abstrakt! Software Engineering eller mjukvaruutveckling - definieras som tillämpningen av en systematisk, disciplinerad

Läs mer

Kursprogram hösten 2011

Kursprogram hösten 2011 Enea Experts Logo - with wet floor effect Enea Experts Logo - without wet floor effect Android Störst på Linux OSE/realtidskurser Flest testkurser ISTQBcertifiering Java, C# C, C++, Safer C, TDD projektledning

Läs mer

Kursöversikt Certifierad Mjukvarutestare

Kursöversikt Certifierad Mjukvarutestare Kursöversikt Certifierad Mjukvarutestare Kurs Poäng (5 yh poäng/vecka) Examensarbete 20 Grunderna inom test 20 Kommunikation i arbetslivet 15 Lärande i arbete 1 60 Lärande i arbete 2 60 Projektarbete 15

Läs mer

Configuration testing Why? Vad det är tänkt att koden ska göra. Performance testing Kommentarer Skriva om koden som kommentar

Configuration testing Why? Vad det är tänkt att koden ska göra. Performance testing Kommentarer Skriva om koden som kommentar Skapa testfall Testing Köra testen Hitta fel Inspections and reviews Verifiera resultatet Formal methods Static analysis Completeness Verifiering Kvalitet Maintainability Validering Traceability Fault

Läs mer

Processer och metoder för utveckling av inbyggda system

Processer och metoder för utveckling av inbyggda system Processer och metoder för utveckling av inbyggda system DAVID SVÄRD Examensarbete Civilingenjörsprogrammet för Elektroteknik CHALMERS TEKNISKA HÖGSKOLA Institutionen för datorteknik Göteborg 2003 Innehållet

Läs mer

Guidance on Ecodesign NWI ISO 14006

Guidance on Ecodesign NWI ISO 14006 Guidance on Ecodesign NWI ISO 14006 SIS Projekt miljöledning Årligt möte 25 nov 2008 Willy Karlsson, SIS 2008-11-25 2 NWI Guidance on ecodesign - ISO 14006 Bakgrund? TC 207/SC 1/WG 4 Godkändes våren 2008

Läs mer

Kurser och seminarier från AddQ Consulting

Kurser och seminarier från AddQ Consulting och seminarier från AddQ Consulting Vår vision är att genom fokus på kvalitet och effektivitet inom IT bidra till att underlätta människors vardag. Kompetensutveckling är nyckeln till framgång för dig

Läs mer

Professionell masterutbildning i programvaruteknik

Professionell masterutbildning i programvaruteknik Professionell masterutbildning i programvaruteknik Mälardalens högskola Blekinge Tekniska Högskola Chalmers Tekniska Högskola & Göteborgs Universitet SICS Swedish ICT Swedsoft i samarbete med svensk industri

Läs mer

6. DOKUMENTATIONSSTÖD

6. DOKUMENTATIONSSTÖD FLYG 075/96 Sida 1 (7) 6. DOKUMENTATIONSSTÖD INNEHÅLL 6. DOKUMENTATIONSSTÖD... 3 6.1 ALLMÄNT... 3 6.2 UPPDATERING... 4 6.2.1 Allmänt... 4 6.2.2 Informativa dokument... 4 6.2.3 Direktiva dokument... 4 6.3

Läs mer

Idag. EDAA35: Utvärdering av programvarusystem. Mål. Innehåll. Kursmoment. Lärare

Idag. EDAA35: Utvärdering av programvarusystem. Mål. Innehåll. Kursmoment. Lärare EDAA35: Utvärdering av programvarusystem MARTIN HÖST Idag Intro till kursen Forskningsmetodik Att sätta mål i studier Mål Innehåll Kursens syfte är att ge förståelse om hur vetenskapliga studier genomförs,

Läs mer

Kravställning med MODAF. Michael.Stolz@fmv.se PRL ARK SML/MDS

Kravställning med MODAF. Michael.Stolz@fmv.se PRL ARK SML/MDS Kravställning med MODAF Michael.Stolz@fmv.se PRL ARK SML/MDS Agenda Om FM AR Om MODAF Användning av MODAF Beslut, Pågående projekt Modellbaserad förmågeutvecklingen Förmåga att använda MODAF Idé till SESAM

Läs mer

PRODUCT MANAGEMENT. Klicka här för att ändra format. Klicka här för att ändra format på underrubrik i bakgrunden

PRODUCT MANAGEMENT. Klicka här för att ändra format. Klicka här för att ändra format på underrubrik i bakgrunden på From Requirements in Excel - to development of profitable products Strategic Technology PRODUCT PRODUCT Market PLANNING MARKETING på Operational Product planning = Define and Develop Product marketing

Läs mer

Introduktion ICAO-EASA.

Introduktion ICAO-EASA. Introduktion ICAO-EASA. SSP= State Safety Program ( krav på stater från ICAO) talar bl.a. om SPI. 1 Info om kommande SMS-krav för POA. Sverige har som medlemsland i ICAO åtagit sig att ta fram ett nationellt

Läs mer

Scrum i praktiken Tillämpning inom Gripen demonstrator. Fredrik Lorentzon & Marcus Frejd 2010-11-11 SESAM

Scrum i praktiken Tillämpning inom Gripen demonstrator. Fredrik Lorentzon & Marcus Frejd 2010-11-11 SESAM Scrum i praktiken Tillämpning inom Gripen demonstrator Fredrik Lorentzon & Marcus Frejd 2010-11-11 SESAM Agenda Vilka är Fredrik och Marcus? Gripen demonstratorprogram i korthet Varför och hur införde

Läs mer

Regressionstestning teori och praktik

Regressionstestning teori och praktik Regressionstestning teori och praktik Lic. Emelie Engström emelie.engstrom@cs.lth.se Software Engineering Research Group LUND UNIVERSITY Sweden SWELL the Swedish Research School in Software Verification

Läs mer

Innehåll 1. Bakgrund 2. Projektstyrning 3. Systemutveckling 4. Slutsatser och förslag Referenser 1. BAKGRUND

Innehåll 1. Bakgrund 2. Projektstyrning 3. Systemutveckling 4. Slutsatser och förslag Referenser 1. BAKGRUND Kan gemensamma modeller och verktyg för projektledning och systemutveckling inom försvarsmakten vara nyckeln till framgång vid utveckling av ledningssystem? Innehåll 1. Bakgrund 2. Projektstyrning 3. Systemutveckling

Läs mer

ISD. Etablering av ISD inom FMV. Dan Olofsson PrL ISD 070-6825904

ISD. Etablering av ISD inom FMV. Dan Olofsson PrL ISD 070-6825904 ISD Etablering av ISD inom FMV Dan Olofsson PrL ISD 070-6825904 Definition Informationssäkerhet Informationssäkerhet Administrativ säkerhet Teknisk säkerhet Policy Rutiner etc Fysisk säkerhet IT-säkerhet

Läs mer

PMM (Process Maturity Metrics) Allmänt. Mätetal för framgångsfaktorer. 1. CM konfigurationsstyrning

PMM (Process Maturity Metrics) Allmänt. Mätetal för framgångsfaktorer. 1. CM konfigurationsstyrning PMM (Process Maturity Metrics) PMM är en metod för att mäta processmognad i utvecklingsprojekt. I korthet går metoden ut på att man utvärderar sin utvecklingsprocess med avseende på ett antal framgångsfaktorer

Läs mer

Workshop 2: CM Forum 2015 - what, when and how?

Workshop 2: CM Forum 2015 - what, when and how? Workshop 2: CM Forum 2015 - what, when and how? The objective of the workshop is to set objectives for 2015 and produce a plan for 2015 that includes focus areas and workshop topics as well as practical

Läs mer

Föreläsning 2: Projekt, Kravhantering, Dokumentgranskning

Föreläsning 2: Projekt, Kravhantering, Dokumentgranskning ETSA01 Ingenjörsprocessen för programvaruutveckling Metodik Föreläsning 2: Projekt, Kravhantering, Dokumentgranskning Jonas Wisbrant 2 Detta har hänt... Pratat krav Bildat projektgrupper :-) Skaffat litteratur?

Läs mer

2010-12-27 SCRUM. Vattenfallsmodellen. Analys. Design. Kod. Test. Rational Unified Process Agile. Kallas också linjär sekventiell modell.

2010-12-27 SCRUM. Vattenfallsmodellen. Analys. Design. Kod. Test. Rational Unified Process Agile. Kallas också linjär sekventiell modell. Vattenfallsmodellen SCRUM Analys Kallas också linjär sekventiell modell Introduktion Design Kod Test Rational Unified Process Agile DSDM Adaptive Software Development Crystal Feature-Driven Development

Läs mer

Batteriladdare 857 NiMH/T Modifiering av Batteriladdare 857 NICD/T för laddning av NiMH-celler Teknisk specifikation

Batteriladdare 857 NiMH/T Modifiering av Batteriladdare 857 NICD/T för laddning av NiMH-celler Teknisk specifikation 1(10) Batteriladdare 857 NiMH/T Modifiering av Batteriladdare 857 NICD/T för laddning av NiMH-celler Teknisk specifikation Utarbetat av Martin Boström (Datum + Signatur) Granskat av Jan Sundström (Datum

Läs mer

Konsoliderad version av

Konsoliderad version av Konsoliderad version av Styrelsens för ackreditering och teknisk kontroll (SWEDAC) föreskrifter och allmänna råd (STAFS 2007:12) om ackreditering av organ som certifierar produkter Ändring införd: t.o.m.

Läs mer

PLCS (Product( LifeCycle Support) Startbild. PLCS - Product LifeCycle Support. Om standarder. En STEP-standard förf

PLCS (Product( LifeCycle Support) Startbild. PLCS - Product LifeCycle Support. Om standarder. En STEP-standard förf Startbild PLCS (Product( LifeCycle Support) En STEP-standard förf produktinformationsutbyte under hela livscykeln Mats Nilsson SIS TK80 mats.nilsson@fmv.se PLCS - Product LifeCycle Support Vad? Varför?

Läs mer

Riktlinjer. för. Programvarukonstruktion, vid nyutveckling med hänsyn till. Programvarusäkerhet

Riktlinjer. för. Programvarukonstruktion, vid nyutveckling med hänsyn till. Programvarusäkerhet RIKTLINJER 1 (14) Riktlinjer för Programvarukonstruktion, vid nyutveckling med hänsyn till Programvarusäkerhet RIKTLINJER 2 (14) Revisionssida Version Datum Beskrivning 00 02-04-04 Första preliminära versionen.

Läs mer

Försvarslogistikförsörjning i förändring

Försvarslogistikförsörjning i förändring Försvarslogistikförsörjning i förändring 2014-12-11 Konteramiral Thomas Engevall, Försvarslogistikchef Generalmajor Johan Svensson, Chef System- och Produktionsledningen Operativ effekt hemma WWW.FORSVARSMAKTEN.SE

Läs mer

Användarcentrerad systemdesign

Användarcentrerad systemdesign Användarcentrerad systemdesign Föreläsning 11: Agile-processer och ACSD Stefan Blomkvist Avdelningen för MDI/IT, Uppsala Universitet, Stefan.Blomkvist@hci.uu.se www.it.uu.se/edu/course /homepage/acsd/

Läs mer

Kurser och seminarier från AddQ Consulting

Kurser och seminarier från AddQ Consulting Kurser och seminarier från AddQ Consulting Med fokus på kvalitet och effektivitet bidrar vi till att underlätta människors vardag. Kompetensutveckling är nyckeln till framgång för dig som jobbar med test,

Läs mer

ALM Live. April 2008 Effektivare projektarbete med Visual Studio 2008

ALM Live. April 2008 Effektivare projektarbete med Visual Studio 2008 ALM Live April 2008 Effektivare projektarbete med Visual Studio 2008 Jaha, och vem är du då? Magnus Juvas Lösningsarkitekt Transcendent Group Och vad gör ni då? Inom området ALM gör Transcendent Group

Läs mer

Solvina. - Energy Excellence - Our goal, your benefit

Solvina. - Energy Excellence - Our goal, your benefit Solvina - Energy Excellence - Our goal, your benefit 1 Lyckade Automationsprojekt! Miniworkshop kring Kvalitetssäkring i Automationsprojekt Miniworkshop 1. Bakgrund och metodik 2. Diskussion kring tillämpning

Läs mer

Vad är speciellt med IT-säkerhet?

Vad är speciellt med IT-säkerhet? Assurans Ett mått på tillit till IT-säkerhet i produkter och system Dag Ströman, Mats Ohlin Bonniers: Skydd, Trygghet Websters: Freedom from threats Begreppet säkerhet Behovet av en standard för säkerhet

Läs mer

Projektuppgift i Användarcentrerad Systemdesign, ht 04

Projektuppgift i Användarcentrerad Systemdesign, ht 04 Projektuppgift i Användarcentrerad Systemdesign, ht 04 E-Dagis enligt systemutvecklings metoden The Usability Engineering Lifecycle, Deborah J. Mayhew Grupp 3: Daniel Lundberg, dalu8987@student.uu.se Hanna

Läs mer

12FMVNNN-1:1 Michael Stolz. Trendspaning. Michael Stolz Produktledare och Projektledare SML/MDF

12FMVNNN-1:1 Michael Stolz. Trendspaning. Michael Stolz Produktledare och Projektledare SML/MDF Trendspaning Michael Stolz Produktledare och Projektledare SML/MDF Friskrivning/Disclaimer: Denna presentation speglar författarens personliga analys och synpunkter. Dessa kan avvika från myndigheten FMV:s

Läs mer

Copyright Syntell AB 1

Copyright Syntell AB 1 Systemmodellering med SysML SESAM seminarium 2006-05-31 Erik Herzog Ansats Presentation av SysML från två perspektiv Akademiskt Industriellt Bakgrund Översikt Utvärdering Copyright Syntell AB 1 SysML SysML

Läs mer

Att klassificera mätningar. Produktinterna attribut. 3 Ramverk för mätning. 4. Empiriska undersökningar 5. Insamling av mätdata 6.

Att klassificera mätningar. Produktinterna attribut. 3 Ramverk för mätning. 4. Empiriska undersökningar 5. Insamling av mätdata 6. F2 3. Ramverk för mätning 4. Empiriska undersökningar 5. Insamling av mätdata 6. Analys av mätdata Entitetstyper Att klassificera mätningar produkt process resurs projekt Attributtyper interna externa

Läs mer

FMV Vägledning för ISD och SE. ISD och SE

FMV Vägledning för ISD och SE. ISD och SE FMV Vägledning för ISD och SE ISD och SE 2014-05-30 13FMV5921-3:3 Härmed fastställs Leverans av ISD version 2.0 för delgivning till Försvarsmakten Högkvarteret till LedS CIO som remissutgåva. Deltagare

Läs mer

Titel Projektplan för FoTA P12. Utgåva 1.8 2002-01-29. Projekt-/arbetsplan för. FoTA P12:

Titel Projektplan för FoTA P12. Utgåva 1.8 2002-01-29. Projekt-/arbetsplan för. FoTA P12: 1(8) Projekt-/arbetsplan för FoTA P12: Överföring till industrin av programvaruteknik för säkerhetskritiska system 2(8) 1. Sammanfattning 1.1. Målsättning Stödja teknikupptagandet i resp företag av den

Läs mer

Swedish Armed Forces Joint policy documentation for Interoperability enabling systems

Swedish Armed Forces Joint policy documentation for Interoperability enabling systems Swedish Armed Forces Joint policy documentation for Interoperability enabling systems Issue 2 Dated 12 April 2006 Örlkn Roy Johansson 08-788 8639 roy.johansson@mil.se Syfte med CONOPS Beskriva Försvarsmakts

Läs mer

Anna Leo Konsult och affärsutvecklare inom CRM. Februari 2010

Anna Leo Konsult och affärsutvecklare inom CRM. Februari 2010 Anna Leo Konsult och affärsutvecklare inom CRM Februari 2010 förväntar sig att vi har koll på dem och deras avtal är kräsna och förväntningar ska helst överträffas vill bara ha relevanta erbjudanden Anna

Läs mer

Teststrategier och Testcertifiering. Per Strandberg, Maj 2013

Teststrategier och Testcertifiering. Per Strandberg, Maj 2013 Teststrategier och Testcertifiering Per Strandberg, Maj 2013 1 Lite om Test i Allmänhet och ISTQB Certifiering Mål med testning? Förebygga fel Hitta fel eller risk Underlätta och ge stöd vid utveckling

Läs mer

TEKNISKA BESTÄMMELSER FÖR ELEKTRISK UTRUSTNING

TEKNISKA BESTÄMMELSER FÖR ELEKTRISK UTRUSTNING Sid 1 (8) TEKNISKA BESTÄMMELSER FÖR ELEKTRISK UTRUSTNING Rubrik Beteckning Programmerbar elektronik med fast applikation Utgåva TBE 106:2-2 3 (S) Innehåll 1 INLEDNING...2 2 Definitioner...3 3 produktkrav...4

Läs mer

Metodstöd för ISD-processen. Övergripande beskrivning

Metodstöd för ISD-processen. Övergripande beskrivning Metodstöd för ISD-processen Övergripande beskrivning Metodstöd för ISD-processen 2014-05-30 13FMV5921-2:3 Härmed fastställs Leverans av ISD version 2.0 för delgivning till Försvarsmakten Högkvarteret till

Läs mer

Mål för underhållsberedningen (UHB) är att

Mål för underhållsberedningen (UHB) är att 2001-03-01 Utgåva 1 Sida 1 (5) DRIFT OCH UNDERHÅLL, ALLMÄN INFORMATION Allmänt Allmänt om underhållsberedning Verksamhet för materielunderhåll bedrivs i materielprocessens samtliga faser. Planläggning

Läs mer

Acceptanstest - är mer än du tror

Acceptanstest - är mer än du tror Acceptanstest - är mer än du tror SAST 14 oktober 2010 Henrik Rylander henrik.rylander@skatteverket.se kristina.snis@skatteverket Om skatteverket Skatteverket 10.800 personer är anställda vid Skatteverket.

Läs mer

Detta har hänt... Kursinformation. Utse kursombud - nytt försök. Föreläsning 3: Test, Konfigurationer. Pratat och skapat krav och plan

Detta har hänt... Kursinformation. Utse kursombud - nytt försök. Föreläsning 3: Test, Konfigurationer. Pratat och skapat krav och plan Föreläsning 3: Test, Ingenjörsprocessen metodik ETSA01 VT14 Jonas Wisbrant Detta har hänt... Pratat och skapat krav och plan Övning 2 Riskhantering, intressenter och kravgranskning. Projektet har granskat

Läs mer

Tillgång till alla globala delar i systemet styrs av denna profil, som i sin tur kopplas till respektive användare.

Tillgång till alla globala delar i systemet styrs av denna profil, som i sin tur kopplas till respektive användare. HANTERA BEHÖRIGHETER Användare i Primavera P6 kräver två olika profiler för att kontrollera vad de kan göra i systemet; en Global Security Profile och en projektsäkerhetsprofil. GLOBAL SECURITY PROFILE

Läs mer

Processorfamiljer idag och i framtiden

Processorfamiljer idag och i framtiden Processorfamiljer idag och i framtiden Håkan Forsberg SESAM 31 maj 2006 1 Agenda 1. Kommande generations processorfamiljer 2. Opredikterbara roadmaps 3. Certifieringsproblematik kring CPUer 4. Nya miljödirektiv

Läs mer

Beroende till/från annat dokument. Leverantörens dokumentnummer. Uppdragsbeskrivning, projektering, inköp, anläggning, drift, underhåll, avveckling

Beroende till/från annat dokument. Leverantörens dokumentnummer. Uppdragsbeskrivning, projektering, inköp, anläggning, drift, underhåll, avveckling TEKNISK ANVISNING LKT 1520.800.005 1 6 av Titel Språk Teknikområde Dokumenthistorik Revision Datum Signatur Kommentar 1.0 2006-02-08 Sjn För godkännande 1.1 2006-03-06 hare Justerad inför godkännande 1.2

Läs mer

Implementationsstrategier för PLCS

Implementationsstrategier för PLCS Implementationsstrategier för PLCS Dr Mattias Johansson Director Software Products Eurostep AB Typically complex systems environment Point to Point Integration Operational Objectives CM CM CM CM 5. Requirements

Läs mer

Driftsäkerhet och LCC. För analys och optimering av drift- och underhållsbeslut inom FM och FMV erbjuder MS 596 olika tjänster och verktyg.

Driftsäkerhet och LCC. För analys och optimering av drift- och underhållsbeslut inom FM och FMV erbjuder MS 596 olika tjänster och verktyg. Driftsäkerhet och LCC För analys och optimering av drift- och underhållsbeslut inom FM och FMV erbjuder MS 596 olika tjänster och verktyg. Analys visar vägen till optimala val 3 Idag är kostnaden för underhåll

Läs mer

FM-standarder. IFMA:s frukostmöte 2012 02 23 i Göteborg Bertil Oresten FM Konsulterna AB

FM-standarder. IFMA:s frukostmöte 2012 02 23 i Göteborg Bertil Oresten FM Konsulterna AB FM-standarder IFMA:s frukostmöte 2012 02 23 i Göteborg Bertil Oresten FM Konsulterna AB Global marknad kräver globalt tänkande ISO International Organization for Standardization CEN Europeiska standardiseringskommittén

Läs mer

Föreläsning 3. Programvaruutveckling för Stora System. Målsättning i programvaruprojekt. Veckan. Christin Lindholm.

Föreläsning 3. Programvaruutveckling för Stora System. Målsättning i programvaruprojekt. Veckan. Christin Lindholm. Föreläsning 3 Programvaruutveckling för Stora System Christin Lindholm Projektledning, planering, Dokument, möten Projektplan Projekt i olika länder 2 Målsättning i programvaruprojekt Veckan producera

Läs mer

Produktutveckling. Uppsala Universitet Erik Treskog

Produktutveckling. Uppsala Universitet Erik Treskog Produktutveckling II Uppsala Universitet Erik Treskog Industriell produktutveckling En produkt består av olika system Ledning Projekt Referensgr. Styrgrupp SW Mekanik Realtid Design Beräkningar Formbundet

Läs mer

UTBILDNINGSPLAN. Programmet för industriell systemekonomi, 120/160 poäng. Total Quality Maintenance Programme, 180/240 ECTS

UTBILDNINGSPLAN. Programmet för industriell systemekonomi, 120/160 poäng. Total Quality Maintenance Programme, 180/240 ECTS Dnr: 1002/2004-510 Grundutbildningsnämnden för matematik, naturvetenskap och teknik UTBILDNINGSPLAN Programmet för industriell systemekonomi, 120/160 poäng Total Quality Maintenance Programme, 180/240

Läs mer

Inlämning 2 - Förslag till tentamensfrågor i Kravhantering, Grupp A. Kompletterar de kursavsnitt som inte täcktes av förra inlämningen.

Inlämning 2 - Förslag till tentamensfrågor i Kravhantering, Grupp A. Kompletterar de kursavsnitt som inte täcktes av förra inlämningen. Inlämning 2 - Förslag till tentamensfrågor i Kravhantering, Grupp A Totalt 15 poäng Kompletterar de kursavsnitt som inte täcktes av förra inlämningen. 1 Vilka två av följande påståenden angående stilar

Läs mer

Ordlista CE- märkning

Ordlista CE- märkning Ordlista CE- märkning Ordlista CE-märkning Fackord och fackuttryck på svenska och engelska med förklaringar på svenska. Anmält Organ Notified bodies Anmälda Organ är anmälda till EU-kommissionen som behöriga/ackrediterade

Läs mer

Testning som beslutsstöd

Testning som beslutsstöd Testning som beslutsstöd Vilken typ av information kan testning ge? Vilken typ av testning kan ge rätt information i rätt tid? Hur kan testning hjälpa din organisation med beslutsstöd? Hur kan produktiviteten

Läs mer