Autóipari beágyazott rendszerek. Funkcionális biztonságossági koncepció

Hasonló dokumentumok
Biztonságkritikus rendszerek

Autóipari beágyazott rendszerek. Kockázatelemzés

Az ISO Cél: funkcionális biztonság kizárva az elektromos áramütés, tűz stb. veszélyeztetések

Fejlesztés kockázati alapokon 2.

Miskolci Egyetem Alkalmazott Informatikai Intézeti Tanszék A minőségbiztosítás informatikája. Készítette: Urbán Norbert

IRÁNYÍTÓ RENDSZER IRÁNYÍTANDÓ FOLYAMAT. Biztonsági funkciók Biztonsági integritás. Normál működés. Hibák elleni védettség Saját (belső) biztonság

A BIZTONSÁGINTEGRITÁS ÉS A BIZTONSÁGORIENTÁLT ALKALMAZÁSI FELTÉTELEK TELJESÍTÉSE A VASÚTI BIZTOSÍTÓBERENDEZÉSEK TERVEZÉSE ÉS LÉTREHOZÁSA SORÁN

Autóipari beágyazott rendszerek Dr. Balogh, András

Architektúra tervezési példák: Architektúrák biztonságkritikus rendszerekben

Közlekedési automatika Biztonságintegritás, életciklus modellek

Szoftverminőségbiztosítás

Szoftverminőségbiztosítás

Click to edit Master title style

biztonságkritikus rendszerek

A fejlesztési szabványok szerepe a szoftverellenőrzésben

Szárazföldi autonóm mobil robotok vezérlőrendszerének kialakítási lehetőségei. Kucsera Péter ZMNE Doktorandusz

Autóipari beágyazott rendszerek. Komponens és rendszer integráció

Nagy bonyolultságú rendszerek fejlesztőeszközei

Mintapélda: Rendszertesztelés a SAFEDMI projektben

Szervezetfejlesztés megvalósítása Nagykáta Város Önkormányzati Hivatalában ÁROP-3.A

Biztonságkritikus rendszerek architektúrája

Védelem a véletlenszerű egyedi hibák veszélyeztető hatása ellen Biztonsági stratégiák

Autóipari beágyazott rendszerek. Integrált és szétcsatolt rendszerek

Planning and Design of Information Systems. André Blokdijk, Paul Blokdijk ACADEMIC PRESS, 1987.

Biztonsági folyamatirányító. rendszerek szoftvere

Biztosítóberendezések biztonságának értékelése

Hibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Rózsa Tünde. Debreceni Egyetem AGTC, Pannon Szoftver Kft SINCRO Kft. Forrás:

Új fizikai védelmi követelmények nukleáris és más radioaktív anyagok alkalmazása és tárolása esetén

Szoftver architektúra, Architektúrális tervezés

ProofIT Informatikai Kft Budapest, Petzvál J. 4/a

Irányítástechnikai rendszerarchitektúrák tervezése

Űrtechnológia október 24. Műholdfedélzeti energiaellátás / 2 Műholdfedélzeti szolgálati rendszerek Felügyeleti, telemetria és telekommand rendsz

Csertán György Pataricza András. Idővezérelt architektúrák Robosztus partícionálás Kódgenerálás Integrált, automatizált V&V Tanusítás


Informatikai rendszertervezés

MOTOR HAJTÁS Nagyfeszültségű megszakító

A megtervezés folyamata 1. Vázlatos kialakítás

Fejlesztés kockázati alapokon

Ipari kondenzációs gázkészülék

Informatikai rendszertervezés

A Hivatal érvényben lévő alábbi dokumentumok létrehozása, szinkronizálása szükséges

ME/76-01 A mérő és megfigyelőeszközök kezelése

hardver-szoftver integrált rendszer, amely Xwindow alapú terminálokat szervez egy hálózatba

A TESZTELÉS ALAPJAI MIÉRT SZÜKSÉGES A TESZTELÉS? MI A TESZTELÉS? ÁLTALÁNOS TESZTELÉSI ALAPELVEK

Szolgáltatásbiztos rendszerek: Architektúra tervezési példák

Probléma A probléma nem befolyásol, hanem kifejez

KÜLTÉRI INFRASOROMPÓ TELEPÍTÉSI ÉS KARBANTARTÁSI KÉZIKÖNYV

Tárgyszavak: vevőkapcsolatok; CRM; szoftverértékelés.

Szoftver-mérés. Szoftver metrikák. Szoftver mérés

TopNet Magyarország Kft. INFORMATIKAI BIZTONSÁGI POLITIKÁJA

Autóipari vezérlőegységek aktív környezetállósági tesztelésének módszerei

S01-7 Komponens alapú szoftverfejlesztés 1

Felhasználók hitelesítése adatbiztonság szállításkor. Felhasználóknak szeparálása

II. rész: a rendszer felülvizsgálati stratégia kidolgozását támogató funkciói. Tóth László, Lenkeyné Biró Gyöngyvér, Kuczogi László

A prototípus gyors, iteratív fejlesztése azért nagyon fontos, mert a költségek így ellenırizhetık.

European Road Transport Research Advisory Council. Európai Közúti Közlekedési Kutatási Tanácsadó Bizottság

Hazai kombinált RKV és Smart metering eszközcsalád fejlesztése. Füredi Gábor Murányi József Prolan Zrt.

Közlekedési automatika Biztonsági architektúrák

Kezelés FC72x Tűzjelző központ FT7224 Tűzjelző kezelő egység. RIASZTÁS-kezelés. 3. Olvassa el a tűz helyét a Kijelzőn. 4.

IP megoldások a tűzjelzéstechnikában

Szoftver-technológia II. Architektúrák dokumentálása UML-lel. Irodalom. Szoftver-technológia II.

SITRAFFIC Scala városi forgalomirányító központ. Copyright Siemens Zrt All rights reserved.

Beszerzési és elosztási logisztika. Előadó: Telek Péter egy. adj. 2008/09. tanév I. félév GT5SZV

Biztonságkritikus rendszerek architektúrája (2. rész)

Verifikáció és validáció Általános bevezető

Orvostechnikai eszköz tesztelése DSS Unit test. Taliga Miklós BME-IIT

A cloud szolgáltatási modell a közigazgatásban

KÖFOP VEKOP A jó kormányzást megalapozó közszolgálat-fejlesztés

ÉRINTŐKÉPERNYŐS KEZELŐ. Biztonság és kényelem az ujjhegyében

Informatikai technológiák szakirány Rendszertervezés ágazat

Bevezetés Mi a szoftver? Általános termékek: Mi a szoftvertervezés?

Biztonságkritikus rendszerek Gyakorlat: Megbízhatósági analízis

Nukleáris biztonság és tűzvédelem. Siófok, Hotel MAGISTERN TSZVSZ közgyűlés Bokor László

(Teszt)automatizálás. Bevezető

Ismerje meg a GSM hálózaton keresztül működő hőszivattyú távfelügyelet!

Hálózati réteg. WSN topológia. Útvonalválasztás.

Elektronikus közhiteles nyilvántartások Megvalósítási tanulmány

Autóipari beágyazott rendszerek CAN hardver

Szoftver-technológia II. Szoftver újrafelhasználás. (Software reuse) Irodalom

Betegségmagatartás. Orvosi pszichológia előadás 3. hét Merza Katalin

Smart megoldások. Ela

Szenzorcsatolt robot: A szenzorcsatolás lépései:

Bevezetés: Mi a CRM? A tervezési fázis helye és szerepe a CRM implementációs projektekben Jógyakorlatok: mire figyeljünk a CRM tervezés közben.

Hibrid Cloud az új Oracle Enterprise Manager Cloud Control 13c-vel

Foglalkozási napló a 20 /20. tanévre

Okos Városok T-City Szolnok. HTE INFOKOM 2014 Smart Metering & Environment

Települési ÉRtékközpont

Az Informatika Elméleti Alapjai

Számítógép architektúra

Sergio Gaetano Cofferati Hosszú távú részvényesi szerepvállalás és vállalatirányítási nyilatkozat COM(2014)0213 C7-0147/ /0121(COD)

Az információbiztonság egy lehetséges taxonómiája

Web: Rövid cégnév: Smtech Kft.

Dr. Kalló Noémi. Termelés- és szolgáltatásmenedzsment. egyetemi adjunktus Menedzsment és Vállalatgazdaságtan Tanszék. Dr.

Technológia a gyógyítás szolgálatában. EMMA Integráció az SAP vállalatirányítási rendszerrel. Technológiai ismertető

Termelés- és szolgáltatásmenedzsment

Új termékek fejlesztése és piaci bevezetése

STRATÉGIAALKOTÁS, ÜZLETI TERVEZÉS A VÁLLALKOZÁS KREATÍV RÉSZE

(appended picture) hát azért, mert a rendszerek sosem

Projektmenedzsment sikertényezők Információ biztonsági projektek

Átírás:

Autóipari beágyazott rendszerek Funkcionális biztonságossági koncepció 1

Funkcionális biztonsági koncepció Functional safety concept Cél A funkcionális biztonsági követelmények levezetése A biztonsági célokból Majd ezeket az előzetes funkcionális architektúra egyes elemeihez kell rendelni A koncepció része a hibatűrési mechanizmusok kialakításának stratégiája is Hiba detektálás és mérséklés módszerei Átmenet biztonságos állapotba Hibatűrési mechanizmusok kialakítása Degradációval Teljes funkcionalitással Hibadetektálás és a vezető informálása Vezérlő logika a több helyről érkező hibajelentések közül a legsúlyosabb kiválasztására 2

Funkcionális biztonsági koncepció Funkcionális biztonsági követelmények meghatározása A követelményeket a biztonsági célokból és a biztonságos állapotokból kell levezetni Minden biztonsági célhoz legalább egy követelményt fel kell venni Minden követelményt a következő szempontok figyelembevételével kell megfogalmazni Üzemmódok Hibatűrési idő Biztonságos állapot, ha lehetséges az odajutás Szükség-üzemmód időtartama Funkcionális redundancia (pl. többszörözés) Meg kell határozni a vezető értesítési és degradációs koncepciót Ha a biztonságos állapotot nem lehet azonnali lekapcsolással elérni, meg kell határozni a szükség üzemmódot Ha a biztonsági célok feltételezik a vezető, vagy más személy együttműködésé, ezen feltételezéseket dokumentálni kell 3

Rendszer biztonsági architektúra Általában egy blokkdiagram Bemutatja a redundanciákat és független vezérlési utakat Az elemeihez rendeljük a funkcionális biztonsági követelményeket A rendszerelemek öröklik a hozzájuk rendelt követelmények ASIL szintjét (a legmagasabbat) Fontos az elemek függetlenségének vizsgálata Közös módusú hibák elkerülése A kialakított követelményeket és architektúrát ellenőrizni kell 4

Rendszer biztonsági architektúra Általában egy blokkdiagram Bemutatja a redundanciákat és független vezérlési utakat Az elemeihez rendeljük a funkcionális biztonsági követelményeket A rendszerelemek öröklik a hozzájuk rendelt követelmények ASIL szintjét (a legmagasabbat) Fontos az elemek függetlenségének vizsgálata Közös módusú hibák elkerülése A kialakított követelményeket és architektúrát ellenőrizni kell 5

Technikai biztonsági követelmények A funkcionális biztonsági követelmények finomítása Az előzetes rendszer architektúra És a funkcionális koncepció szerint A követelményeknek le kell fednie A gyártás Működés Karbantartás Javítás, és Megsemmisítés/leszerelés fázisait Két aspektusból A tervezés alatt követendő eljárások A gyártás/működés alatt követendő eljárások 6

Technikai biztonsági követelmények Meg kell határozni, hogy a technikai biztonsági követelmények (TBK) mellett mely funkcionális és nemfunkcionális követelményeket támasztanak a rendszerrel szemben Meg kell határozni a rendszer viselkedését külső hatásokra (ide értve a hibákat) minden TBK-ra, figyelembe véve az összes működési módot és rendszer állapotot A TBK-k biztonsági funkcionális és nem-funkcionális követelményeket fogalmaznak meg a rendszerrel szemben, illetve a rendszer és más külső rendszerek közötti kapcsolattal szemben 7

Technikai biztonsági követelmények Minden olyan eljáráshoz, mellyel elérhető, vagy fenntartható a biztonságos állapot, meg kell határozni A biztonságos állapotba jutás módja, az aktuátorok kezelésével együtt A hibatűrési idő A vész üzemmód ideje, ha nem lehet azonnali lekapcsolással elérni a biztonságos üzemmódot A biztonságos állapot fenntartását célzó módszerek A TBK-kat ellenőrizni kell, hogy konzisztensek-e a funkcionális biztonsági követelményekkel és az előzetes architektúrával 8

Látens hibák Látens hiba: a rendszerben van, de nem érzékelhető működés közben Pl. egy biztonsági elem hibája Olyan intézkedéseket kell tenni, hogy a látens hibákat fel lehessen deríteni Meg kell határozni, hogy a többpontos hibákat mennyi időnként derítjük fel Periodikusan működés közben Rendszerindításkor/leállításkor Karbantartás közben A hardver megbízhatósága és a befolyásolt kitettség alapján 9