Metodyki projektowania i modelowania systemów Cyganek & Kasperek & Rajda 2013 Katedra Elektroniki AGH



Podobne dokumenty
Metodyki projektowania i modelowania systemów

Strona główna > Produkty > Systemy regulacji > System regulacji EASYLAB - LABCONTROL > Program konfiguracyjny > Typ EasyConnect.

Testowanie systemów wbudowanych i krytycznych dla bezpieczeństwa Bogdan Bereza Wersja (33)

Proposal of thesis topic for mgr in. (MSE) programme in Telecommunications and Computer Science

Akademia Morska w Szczecinie. Wydział Mechaniczny

Jakość wymagań a wymagania jakości Czy możliwa jest obiektywizacja oceny?

Systemy wbudowane. Poziomy abstrakcji projektowania systemów HW/SW. Wykład 9: SystemC modelowanie na różnych poziomach abstrakcji

Auditorium classes. Lectures

4. EKSPLOATACJA UKŁADU NAPĘD ZWROTNICOWY ROZJAZD. DEFINICJA SIŁ W UKŁADZIE Siła nastawcza Siła trzymania

SYSTEMY BEZPIECZEŃSTWA WSPÓŁCZESNYCH MASZYN I URZĄDZEŃ TECHNOLOGICZNYCH 1. WPROWADZENIE

Ocena bezpieczeństwa funkcjonalnego systemów technicznych według wymagań normy EN 61508

Zarządzanie sieciami telekomunikacyjnymi

Agile Software Development. Zastosowanie metod Scrum i Kanban.

Dotyczy PN-EN ISO 14001:2005 Systemy zarządzania środowiskowego Wymagania i wytyczne stosowania

Metodyki projektowania i modelowania systemów

PROJECT. Syllabus for course Global Marketing. on the study program: Management

Rok akademicki: 2012/2013 Kod: IET SW-s Punkty ECTS: 3. Kierunek: Elektronika i Telekomunikacja Specjalność: Systemy wbudowane

Machine Learning for Data Science (CS4786) Lecture11. Random Projections & Canonical Correlation Analysis

Yousuke Tamura Programmer Clinical Science Dep., R&D AstraZeneca K.K. 2005/11/30 1

Tworzenie zintegrowanych strategii miejskich. Creation of integrated urban strategies? the example of the Krakow Functional Area

Faculty: Management and Finance. Management

Wykaz norm i innych dokumentów normalizacyjnych serii ISO i ich polskie odpowiedniki

Bariery bezpieczeństwa C2000 Standard

INSPECTION METHODS FOR QUALITY CONTROL OF FIBRE METAL LAMINATES IN AEROSPACE COMPONENTS

WYDZIAŁ NAUK EKONOMICZNYCH. Studia II stopnia niestacjonarne Kierunek Międzynarodowe Stosunki Gospodarcze Specjalność INERNATIONAL LOGISTICS

Kierunek: Informatyka rev rev jrn Stacjonarny EN 1 / 6

INCYDENTY NARUSZENIA BEZPIECZEŃSTWA SEQUENCE sp. z o.o. All rights reserved.

Bezpieczeństwo funkcjonalne: pomiar temperatury związany z bezpieczeństwem zgodnie z normą IEC 61508

Projektowanie systemów informatycznych. Roman Simiński programowanie.siminskionline.pl. Cykl życia systemu informatycznego

Program szkolenia: Fundamenty testowania

INSTRUKCJA BEZPIECZEŃSTWA SIL SEPARATOR BINARNY KF**-SR2-(Ex)*(.LB), KFD2-SR2-(Ex)2.2S

Politechnika Krakowska im. Tadeusza Kościuszki. Karta przedmiotu. obowiązuje studentów rozpoczynających studia w roku akademickim 2014/2015

Przemysłowe zastosowania technologii generatywnych

POPRAWKA do POLSKIEJ NORMY PN-EN ISO 9001:2009/AC. Dotyczy PN-EN ISO 9001:2009 Systemy zarządzania jakością Wymagania. listopad 2009 ICS

PROJECT. Syllabus for course Negotiations. on the study program: Management

Mechanics and Machine Design 1 st degree (1st degree / 2nd degree) General (general / practical)

PROGRAM STAŻU. Nazwa podmiotu oferującego staż / Company name IBM Global Services Delivery Centre Sp z o.o.


Towards Stability Analysis of Data Transport Mechanisms: a Fluid Model and an Application

STAŁE TRASY LOTNICTWA WOJSKOWEGO (MRT) MILITARY ROUTES (MRT)

Automatyka i Robotyka studia stacjonarne drugiego stopnia

Diagnostyka cz. 2. Dariusz Mierzejewski

Projektowanie funkcji bezpieczeństwa. z wykorzystaniem podsystemu transmisji danych bezpieczeństwa

PROGRAM STAŻU Nazwa podmiotu oferującego staż IBM GSDC SP.Z.O.O

No matter how much you have, it matters how much you need

Systemy bezpieczne i FTC. dr inż. Krzysztof Berezowski 220/C3 tel

Planning and Cabling Networks

Sekcja Mechatroniki Komitetu Budowy Maszyn PAN. Zakopane 2018

PROGRAM STAŻU. Nazwa podmiotu oferującego staż / Company name IBM Global Services Delivery Centre Sp z o.o.

STATISTICAL METHODS IN BIOLOGY

Probabilistic Methods and Statistics. Computer Science 1 st degree (1st degree / 2nd degree) General (general / practical)

NORMY JAKOŚCIOWE ISO 9001, i W TRANSPORCIE KOLEJOWYM. mgr inż. Wojciech Rzepka

ETICS: Few words about the Polish market Dr. Jacek Michalak Stowarzyszenie na Rzecz Systemów Ociepleń (SSO), Warsaw, Poland


Gospodarka Elektroenergetyczna. Power Systems Economy. Energetics 1 st degree (1st degree / 2nd degree) General (general / practical)

OPISY KURSÓW. Nazwa kursu: PROGRAMOWANIE SYSTEMÓW ROZPROSZONYCH NA BAZIE STE- ROWNIKÓW PLC. Język wykładowy: polski

Elektronika dla branży automotive

Project geoportal.gov.pl - implemented INSPIRE services

SNP SNP Business Partner Data Checker. Prezentacja produktu

SWPS Uniwersytet Humanistycznospołeczny. Wydział Zamiejscowy we Wrocławiu. Karolina Horodyska

PROJECT. Syllabus for course Principles of Marketing. on the study program: Management

INSTRUKCJA OBSłUGI Bezpieczeństwo funkcjonalne Przetwornik częstotliwości z wartościami granicznymi KF**-UFC-(Ex)1.D

Computer Science 1 st degree (1st degree / 2nd degree) General (general / practical)

Logistics 1st degree (1st degree / 2nd degree) General (general / practical)

Podstawy automatyki. Energetics 1 st degree (1st degree / 2nd degree) General (general / practical) Full-time (full-time / part-time)

PRZEWODNIK PO PRZEDMIOCIE. Negotiation techniques. Management. Stationary. II degree

Z-EKO-067 Negocjacje Negotiations. Economics 1st degree (1st degree / 2nd degree) General (general / practical)

MS Visual Studio 2005 Team Suite - Performance Tool

Poland Tenders. Przebudowa budynku OSP Nowym Lublińcu z przeznaczeniem na świetlicę wiejską z zapleczem. Nazwa. Miejscowość.

PLANY I PROGRAMY STUDIÓW

Informacje na temat bezpieczeństwa funkcjonalnego przetwornika temperatury - model T32.xS

Oferta przetargu. Poland Tender. Nazwa. Miejscowość. Warszawa Numer ogłoszenia. Data zamieszczenia Typ ogłoszenia

EGARA Adam Małyszko FORS. POLAND - KRAKÓW r

Space for your logo, a photograph etc. Action (WBU)

Power Machines and Technology. Energetics 1 st degree (1st degree / 2nd degree) General (general / practical) Full-time (full-time / part-time)

Przeciwpożarowe sterowniki dla bram zwijanych, sekcyjnych i przesuwnych. Fire-proof controls for roller shutters, sectional doors and sliding gates

POLAND TENDER. Zamieszczanie ogłoszenia: obowiązkowe. Ogłoszenie dotyczy: zamówienia publicznego. SEKCJA I: ZAMAWIAJĄCY

SPIS TREŚCI OD AUTORÓW

SHP / SHP-T Standard and Basic PLUS

Rodzaj obliczeń. Data Nazwa klienta Ref. Napędy z pasami klinowymi normalnoprofilowymi i wąskoprofilowymi 4/16/ :53:55 PM

TECHNOLOGIE INFORMACYJNE WYKŁAD 1. WPROWADZENIE DO ZAGADNIEŃ ZWIĄZANYCH Z TECHNOLOGIAMI INFORMACYJNYMI W1. WPROWADZENIE DO PRZEDMIOTU

Inżynieria oprogramowania (Software Engineering)

BIOPHYSICS. Politechnika Łódzka, ul. Żeromskiego 116, Łódź, tel. (042)

Regionalny Dyrektor Ochrony Środowiska ul. 28 czerwca 1956 Poznań

Liczba godzin Number of hours 210 Liczba godzi w roku akademickim Number of hours in academic year 474

Metodyka dla projektu SYRIUSZ

4D and 5D applications in BIM technology.

Wprowadzenie do przedmiotu 1

DATA-S EASY MONITORING ROZPROSZONY OŚWIETLENIA AWARYJNEGO DIVERSIFIED MONITORING OF EMERGENCY LIGHTING

Systemy eksplozymetryczne jako urządzenia zabezpieczające

ERP to za mało. Zarządzanie wiedzą przez cały okres ŻYCIA produktu. Katarzyna Andrzejuk Mariusz Zabielski

Cechy charakterystyczne tworzenia oprogramowania w Inżynierii Biomedycznej. Wykładowca Dr inż. Zofia Kruczkiewicz

PROGRAM STAŻU. IBM Global Services Delivery Centre Sp z o.o. Nazwa podmiotu oferującego staż / Company name. Muchoborska 8, Wroclaw

Effective Governance of Education at the Local Level

Błędy procesu tworzenia oprogramowania (Badania firmy Rational Software Corporation)

Strumień specjalizujący urządzeniowo - informatyczny dla wszystkich kierunków na ETI (II st.) 3 grudnia 2014

CEE 111/211 Agenda Feb 17

Przesyłanie energii elektrycznej. Electric Energy Transmission. Energetics 1 st degree (1st degree / 2nd degree) General (general / practical)

Z-ZIP Procesy produkcyjne. Production Processes

Typ VFR. Circular flow adjustment dampers for the adjustment of volume flow rates and pressures in supply air and extract air systems

Transkrypt:

Kierunek Elektronika i Telekomunikacja, Studia II stopnia Specjalność: Systemy wbudowane Metodyki projektowania i modelowania systemów Cyganek & Kasperek & Rajda 2013 Katedra Elektroniki AGH Zagadnienia Project Development Process Overview Documentation Configuration Management Function Safety Management Safety Requirements Safety Validation Test Planning System Architecture Design Hardware Design Software Design Implementation Integration and Safety Validation Test Execution Modification Procedure Vertification Functional Safety - An IEC 61508 SIL 3 Compliant Development Process November 20, 2010 by Michael Medoff & Rainer Faller 1

System Architecture Design Schemat architektury systemu System Architecture Design 2

System Failure Modes and Effect Analysis (FMEA) Specyfikacja wszystkich funkcji System Failure Modes and Effect Analysis (FMEA) 3

System FMEA Example System FMEA Example 4

System FMEA Example System FMEA Example 5

System FMEA Example System FMEA Example 6

Analiza wyników FMEA FMEA (FAILURE MODE AND EFFECT ANALYSIS) Identify critical or hazardous conditions. Identify potential failure modes Identify need for fault detection. Identify effects of the failures. IEC 61508 nie wymaga aby 100% uszkodzeń niebezpiecznych (dangerous) było wykrywane wymagaobliczenia/oszacowania współczynnika uszkodzeń niebezpiecznych wymagaobliczenia/oszacowania współczynnika uszkodzeń niebezpiecznych wykrywalnych i niewykrywalnych (dangerous detected / dangerous undetected) -> prowadzi to do analizy FMEDA http://fmea-fmeca.com/ Hardware Design 7

Hardware Design Components Selection/De-rating De-rating is defined as a policy of deliberately under stressing components in order to provide increased reliability. The selection of components of higher stress capability than is required for normal operation is an empirical but effective and well established method of reducing their failure rate; Applied R&M Manual for Defence Systems Part C - R&M Related Techniques IEC 61508 typowy czynnik 67% 8

Hardware ASIC PLD Device Validation Test Plan and Procedures Device Architecture Definition Detailed Device Design source code standard Defensive Programming Techniques (self check to find problems during run time) Modularisation Code inspection Module testing Functional testing Design for Testability (SIL3 ASIC 99% stuck at faults must be detectable) ComponentFMEDA Failure Modes Effect and Diagnostics Analysis 1. BOM(Bill of Materials) 2. Schematics 3. Failure Rate Database 9

Component FMEDA - definicje Component FMEDA - definicje 10

Component FMEDA - definicje Component FMEDA - definicje 11

Component FMEDA Resistor general low power resistor 0.7 FITS (failures per 10 9 hours) Component FMEDA Przykład dla mikrokontrolera 12

Component FMEDA przykłady baz danych Component FMEDA przykłady baz danych 13

Wyniki FMEA Wyniki FMEA The Mean Time Between Failures (MTBF) is a statistical mean value for error-free operation of an electronic device 14

Wyniki FMEA MTBF = n 1 i= 1 λ n MTBF= T/R where T = total time and R = number of failures Wyniki FMEA Types of random hardware failures: Safe undetected ( SU); Safe detected ( SD); Dangerous detected ( DU); Dangerous undetected ( DD). Safe Failure Fraction: Safe failure fraction (SFF) is a relatively new term resulting from the IEC 61508 and IEC 61511 committees work to quantify fault tolerance and establish the minimum level of redundancy required in a safety instrumented function. Per IEC, Safe failure fraction is the ratio of the (total safe failure rate of a subsystem plus the dangerous detected failure rate of the subsystem) to the total failure rate of the subsystem. 15

Hardware data communication Software 16

Software Architecture Software Architecture Design Control Flow Strategy Safety integrity of all safety related data Memory allocation strategy Traceability Software Architecture Checklist 17

Software Architecture Checklist Software Criticality and HAZOP http://wazniak.mimuw.edu.pl/ images/e/e9/zio-11-wyk-bw.pdf 18

Pozostało: Implementation Integration and Safety Validation Test Execution Modification Procedure Vertification 19