Functional Safety and Embedded Software. Marijn Temmerman KdG-Hogeschool. Seminar Functional Safety, KHBO, 6/2/2013

Transcription

1 Functional Safety and Embedded Software Marijn Temmerman KdG-Hogeschool Seminar Functional Safety, KHBO, 6/2/ Who are we? Content Functional safety in embedded software? more questions than answers New Tetra project on Functional Safety Seminar Functional Safety, KHBO, 6/2/

2 Constrained Systems Lab applied engineering for embedded and distributed systems Expertise Sensor processing Distributed systems Embedded software development Model-based design, Autosar, ASIL, embedded multicore, SW engineering, static code analysis KHBO, 6/2/ History since 1/1/ KHBO, 6/2/

3 Application domains Current Mechatronics - Automotive Health care Ambient intelligence Construction Changes dynamically Team: 19 members Senior researchers / Docents 5 Post-docs 2 PhD students 7 Project members 5 KHBO, 6/2/ Safety and Software? Seminar Functional Safety, KHBO, 6/2/

4 Trends in Safety-related systems more e-devices are introduced in ordinary life we want people to feel safe anywhere increase in safety-related systems safety rules become stricter and more complex safety is very expensive shift to integrate safety functions in software Seminar Functional Safety, KHBO, 6/2/ Functional Safety: a Life Cycle project KHBO, 6/2/

5 Safety Standards for e-devices Generic standard: IEC EN Functional Safety of Electrical/Electronic/Programmable Electronic Safetyrelated Systems Many domain-specific standards automotive: ISO medical: IEC process industry: IEC railway: EN military: UK Defence Standard 00-56, MIL-STD-882E. Standards provide many guidelines for a systematic product life cycle process WHAT What about: How To? Seminar Functional Safety, KHBO, 6/2/ Partial overview of a functional-safety standard Seminar Functional Safety, KHBO, 6/2/

6 Functional Safety in Software requires a systematic and holistic approach follows the system safety development process SW safety planning SW-related hazard identification and risk assessment risk reduction of computing (sub)systems SW verification and validation anomaly reporting and SW change management Seminar Functional Safety, KHBO, 6/2/ Unique attributes of SW HW mostly fails because of deficiencies and variabilities in production maintenance environmental conditions: electromagnetic, SW is invisible SW does not break or wear out like HW SW faults are primarily systematic (not random) Seminar Functional Safety, KHBO, 6/2/

7 Unique attributes of SW (2) SW faults are caused by errors in specification of the system design faults SW is complex SW behavior is difficult to describe mathematically essentially impossible to test all failure modes nearly impossible to remove all faults SW can be changed easily ripple effect in behavior? impact on safety? Seminar Functional Safety, KHBO, 6/2/ Focus on SW failure prevention Software & Safety: how? preventing faults to enter the SW system verification and validation of the SW system design of fault-tolerant SW Focus in SW design process requirements definition design of SW architecture for safety implementation and coding code generation verification and validation Seminar Functional Safety, KHBO, 6/2/

8 e-device = HW and SW Safety = safe HW and safe SW extract from ISO Automotive Seminar Functional Safety, KHBO, 6/2/ New project: FS4ES FS4ES: Functional Safety for Embedded Software Project team: KHBO + KdG + FMTC If accepted 2 years, starting in October 2013 budget for 71 mm Tetra project funded by IWT Tetra = Technology Transfer to improve innovation in SME in Flanders KHBO, 6/2/

9 Project User Group UG also determines the course of the project composed of 2 types of companies R&D oriented Flanders Drive FMTC Dana SME Seminar Functional Safety, KHBO, 6/2/ CMS with reviews of relevant documents Cookbook Objectives Practical guidelines for Functional Safety in Embedded Software Based on practical case studies for SME from the UG Seminars Workshops at companies home Seminar Functional Safety, KHBO, 6/2/

10 SW design patterns for FS Testing strategies for FS SW implementation of FS SW tools and SW process for FS Focus Seminar Functional Safety, KHBO, 6/2/ SW Patterns for FS a software voter a software watchdog KHBO, 6/2/

11 coding guidelines: MISRA-C? what about variables? safe OS? use of specific HW platforms? e.g. Freescale Qorivva MPC5643L 32-bit implementation dual-core can be statically switched between lockstep mode to decoupled parallel mode KHBO, 6/2/ KHBO, 6/2/

12 KHBO, 6/2/ KHBO, 6/2/

13 KHBO (KHBO, EP) Contact dr. ing. Jeroen Boydens KdG (KdG, CoSys-Lab) dr. ir. Marijn Temmerman KHBO, 6/2/