Säkerhetskritisk Programvara 2014: Presentationer
Här är presentationerna från Säkerhetskritisk Programvara 2014:
Dag 1
- Verifying and Validating Spacecraft control software using sequence-based specification and statistical based testing, Jingyue Li – DNV GL
- Experiences of using contracts theory for structuring safety requirements
Jonas Westman - KTH - Agile and Lean in Safety-Critical Software Development,
Henrik Jonsson - MDH/Etteplan - Heaven or Hell - The marriage between IEC 61508 and Scrum,
Tor Stålhane - NTNU/SINTEF - How to combine safety activities with iterations/sprints?,
Even-André Karlsson - Addalot - Overview of the Machinery Directive, Andreas Söderberg - SP
- Connecting 26262 and the Machinery Directive,
Viacheslav Izosimov - SEMCON - Combining Automotive SPICE and ISO 26262 a maturity standard with a safety standard, Öjvind Halonen - Addalot
- Safety Demonstration Plan Guide for Nuclear power plants - a short introduction, Pontus Ryd - Solvina
- Overview of Safety assessment in civil and military avionic programs
Kristina Forsberg - SAAB - STPA - an overview and experiences
Sardar Muhammad Sulaman - LTH - SP, who we are and what we provide — some short examples of certification work, Andreas Söderberg - SP
- Current practices and challenges of safety demonstration in Nuclear Power Plants – Excerpts from interviews of regulatory bodies Peter Karpati– HRP
- How development tools can affect defect distribution
Fredrik Asplund / Martin Törngren - KTH - Why to care about tool qualification, and how?
Viacheslav Izosimov - SEMCON
Dag 2 – Workshops
Workshop 1 - Specifying and verifying safety requirement
- How to use formal methods to verify requirements?: Jingyue Li
- Case study of using contract theory to specify requirements: Jonas Westman
- Combining use cases and HAZOP for agile requirements: Henrik Jonsson
Workshop 3 – Tool verification and qualification
- Intro and Automotive Perspective: Retrospective and Tool Qualification with ISO 26262, Viacheslav Izosimov, Semcon
- SW Tool Qualification and Certification in Aerospace according to Do-178C (Do-330) Rikard Johansson, Saab Aerosystems
- A Practitioner's Guide to Managing Your Software Certification Objectives, Mark Pitchford, Field Application Engineer, LDRA Software
- Best Practices for Testing and Validating in Safety-Regulated Industries Stephan Ahrends, National Instruments
Workshop 4 - Safety case workshop
- Safety assessment and STPA with break out session in smaller groups Safety assessment of system and SW: Kristina Forsberg
- The STPA and PBRA methods: Sardar Muhammad Sulaman
- Safety demonstration part with break out session in smaller groups
Workshop 5 - Agile and Safety
- Lean and safety: Henrik Jonsson
- The SafeScrum process model: Tor Stålhane
- Incremental development and safety: Even-André Karlsson
Workshop 6 - Combining standards
- Machinery directive – background and problems: Andreas Söderberg
- ISO 26262 and Machinery Directive: Viacheslav Izosimov
- ISO 26262 and ASPICE: Öjvind Halonen