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



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

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

Testowanie według modelu (MBT) Stowarzyszenie Inżynierii Wymagań wymagania.org.pl

Automatyczne generowanie testów z modeli. Bogdan Bereza Automatyczne generowanie testów z modeli

Testowanie systemów informatycznych Kod przedmiotu

Zebranie Zarządu Koła SEP nr 43 Wrocław, 16 maja 2013

Akademia testera oprogramowania i systemów IT Poziom I specjalista testowania (56 h) kurs dzienny

Kiedy od softu zależy ludzkie życie o systemach safety-critical. Maciej Gajdzica

INŻYNIERIA OPROGRAMOWANIA TESTOWANIE SYSTEMOWE

Technika mikroprocesorowa. Systemy operacyjne czasu rzeczywistego

Normy zharmonizowane z dyrektywą maszynową

INŻYNIERIA OPROGRAMOWANIA TESTOWANIE INTEGRACYJNE

Tematy seminariów wg Roger S. Pressman, Praktyczne podejście do oprogramowania, WNT, Zofia Kruczkiewicz

Realizacja bezpiecznego programowalnego sterownika logicznego z wykorzystaniem języków HDL

Zał nr 4 do ZW. Dla grupy kursów zaznaczyć kurs końcowy. Liczba punktów ECTS charakterze praktycznym (P)

Systemy zabezpieczeń

Testy poziom po poziomie

Systemy na Chipie. Robert Czerwiński

Stanowisko laboratoryjne do pomiaru NPR - Noise Power Ratio BERBERYS. Roman Rynkiewicz

Źródła dumy zawodowej testera oprogramowania

IO - Plan testów. M.Jałmużna T.Jurkiewicz P.Kasprzyk M.Robak. 5 czerwca 2006

Szybkie prototypowanie w projektowaniu mechatronicznym

<Nazwa firmy> <Nazwa projektu> Specyfikacja dodatkowa. Wersja <1.0>

Szkolenia Systemy Krytyczne.

Większe możliwości dzięki LabVIEW 2009: programowanie równoległe, technologie bezprzewodowe i funkcje matematyczne w systemach czasu rzeczywistego

Wykład 7. Projektowanie kodu oprogramowania

Specjalizacja uzupełniająca. urządzeniowo - informatyczna dla wszystkich kierunków na ETI (II st.)

Zacznij Tu! Poznaj Microsoft Visual Basic. Michael Halvorson. Przekład: Joanna Zatorska

Warsztaty szkoleniowe. Technologia SafetyLon w systemach związanych z bezpieczeństwem funkcjonalnym Narzędzia SafetyLon Moduł 4.5.

Gry społecznościowe. wykład 0. Joanna Kołodziejczyk. 24 lutego Joanna Kołodziejczyk Gry społecznościowe 24 lutego / 11

Acceptance Test Driven Development wspierane przez narzędzie ROBOT Framework. Edyta Tomalik Grzegorz Ziemiecki

Sekcja Mechatroniki Komitetu Budowy Maszyn PAN. Zakopane 2018

udokumentowanych poprzez publikacje naukowe lub raporty, z zakresu baz danych

AUREA BPM HP Software. TECNA Sp. z o.o. Strona 1 z 7

Trójfazowy, modułowy system UPS. DPA UPScale ST kw Najlepszy w swojej klasie modułowy system UPS

Katedra Systemów Elektroniki Morskiej. Specjalność Systemy elektroniki morskiej

Szkoła programisty PLC : sterowniki przemysłowe / Gilewski Tomasz. Gliwice, cop Spis treści

STM32Butterfly2. Zestaw uruchomieniowy dla mikrokontrolerów STM32F107

Jabil Poland w Kwidzynie poszukuje kandydatów na stanowiska:

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

Czy to już system wbudowany czy jeszcze nie?

Możliwe strategie tworzenia niezawodnego oprogramowania:

PRZEWODNIK PO PRZEDMIOCIE

STM32 Butterfly. Zestaw uruchomieniowy dla mikrokontrolerów STM32F107

SYSTEMY WBUDOWANE CZASU RZECZYWISTEGO. Specjalność magisterska Katedry Systemów Elektroniki Morskiej

Piotr Bubacz Cloud Computing

Bezpieczeństwo informacji oparte o kryptografię kwantową

Katedra Mikroelektroniki i Technik Informatycznych

Zaawansowane programowanie w języku C++

Mechatronika i inteligentne systemy produkcyjne. Modelowanie systemów mechatronicznych Platformy przetwarzania danych

Technika mikroprocesorowa. Struktura programu użytkownika w systemie mikroprocesorowym

Wprowadzenie do metodologii modelowania systemów informacyjnych. Strategia (1) Strategia (2) Etapy Ŝycia systemu informacyjnego

Testowanie i walidacja oprogramowania

USB interface in 8-bit microcontrollers PIC18F family manufactured by Microchip.

Overlord - Plan testów

Praktyka testowania dla początkujących testerów

Optymalizacja Automatycznych Testów Regresywnych

PyPy's Approach to Virtual Machine Construction

Program szkolenia: Zaawansowane programowanie w C++

dr inż. M. Żabińska, Katedra Informatyki AGH, D17/ 2.27 dr inż. M. Żabińska

Marek Parfieniuk, Tomasz Łukaszuk, Tomasz Grześ. Symulator zawodnej sieci IP do badania aplikacji multimedialnych i peer-to-peer

Automatyzacja narzędziami open source nie musi być trudna

Oprogramowanie komputerowych systemów sterowania

Wykorzystanie standardu JTAG do programowania i debugowania układów logicznych

ŚcieŜki Certyfikacji Testera. Karol Mioduszewski - CORRSE

Modelowanie i analiza systemów informatycznych

ŚRODOWISKO PC WORX JAKO WSPARCIE W NAUCE PROGRAMOWANIA STEROWNIKÓW PLC

Metody optymalizacji soft-procesorów NIOS

Tematy seminariów wg Roger S. Pressman, Praktyczne podejście do oprogramowania, WNT, Zofia Kruczkiewicz

Karta charakterystyki online. FX3-XTIO84002 Flexi Soft / Safe EFI-pro System STEROWNIKI BEZPIECZEŃSTWA / SYSTEMY BEZPIECZEŃSTWA

Komputerowe projektowanie układów ćwiczenia uzupełniające z wykorzystaniem Multisim/myDAQ. Katedra Mikroelektroniki i Technik Informatycznych PŁ

Na terenie Polski firma Turck jest również wyłącznym przedstawicielem następujących firm:

Oceny z prezentacji INKU011S. Zofia Kruczkiewicz

Programowanie niskopoziomowe. dr inż. Paweł Pełczyński

Automatyka i Robotyka studia stacjonarne drugiego stopnia

Biorąc udział w projekcie, możesz wybrać jedną z 8 bezpłatnych ścieżek egzaminacyjnych:

PYTANIA PRÓBNE DO EGZAMINU NA CERTYFIKAT ZAAWANSOWANY REQB KLUCZ ODPOWIEDZI. Część DODATEK

Wykład 8. Testowanie w JEE 5.0 (1) Autor: Zofia Kruczkiewicz. Zofia Kruczkiewicz

Instytut Systemów Elektronicznych. Specjalność Systemy Informacyjno-Pomiarowe

XXIII Forum Teleinformatyki

Emulacja karty elektronicznej EMV. Michał Głuchowski Praca dyplomowa inżynierska pod opieką prof. Zbigniewa Kotulskiego

1.1. Wymogi bezpieczeństwa Pomoc techniczna TIA Portal V13 instalacja i konfiguracja pakietu...18

Narzędzia CASE dla.net. Łukasz Popiel

SCL TIA SIEMENS SIMATIC S7 1200/1500

Wykład 3: Implementacja programów wbudowanych

WYKORZYSTANIE PLATFORMY FireMonkey W PROCESIE URUCHAMIANIA I TESTOWANIA UKŁADÓW MIKROPROCESOROWYCH

Opis metodyki i procesu produkcji oprogramowania

Systemy Czasu Rzeczywistego (SCR)

Zapytanie ofertowe. Warszawa, 27 stycznia 2014 r.

Komputery przemysłowe i systemy wbudowane

Ukryte funkcjonalności w oprogramowaniu i urządzeniach elektronicznych. mgr inż. Paweł Koszut

Wprowadzenie do Behaviordriven

Krótka Historia. Co to jest NetBeans? Historia. NetBeans Platform NetBeans IDE NetBeans Mobility Pack Zintegrowane moduły. Paczki do NetBeans.

ZAPYTANIE OFERTOWE NR 3/dotacja

Systemy czasu rzeczywistego wstęp

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

Zagadnienia egzaminacyjne INFORMATYKA. stacjonarne. I-go stopnia. (INT) Inżynieria internetowa STOPIEŃ STUDIÓW TYP STUDIÓW SPECJALNOŚĆ

Opis przedmiotu zamówienia

Transkrypt:

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

1. Wbudowane 2. Krytyczne 3. Czasu rzeczywistego 2 (33)

Chmura Agile Biznes ISTQB 3 (33)

1. Testowanie systemów wbudowanych 4 (33)

Testowanie programu na platformach testowych 5 (33)

Projektowanie aplikacji pod kątem możliwości testowania, również na środowisku docelowym 6 (33)

ASIC FPGA Równoległe projektowanie, tworzenie i testowanie: sprzętu i aplikacji Komputer na obwodzie drukowanym PROM ICE 7 (33)

Stosowanie języków niskopoziomowych, które wymagają od programistów dużej staranności i unikania błędów 8 (33)

Ze względu na ograniczoną dostępność testów w środowisku docelowym: staranie, by jak najwięcej przetestować w środowiskach symulowanych 9 (33)

Pełny nadzór, co jest testowane i w jakim środowisku 10 (33)

Ze względu na ograniczoną dostępność testów w środowisku docelowym: bardzo dokładne planowanie 11 (33)

ANALIZATOR LOGICZNY OSCYLOSKOP GENERATOR SYGNAŁÓW ICE JTAG Używanie narzędzi, programistycznych i sprzętowych, umożliwiających bardzo dokładny oraz niskopoziomowy nadzór nad przebiegiem testów oraz ich wynikami 12 (33)

Bliskie związki testowania z debugowaniem, na dobre (współpraca) i złe (możliwa rywalizacja o dostęp do środowiska) 13 (33)

Nowość testowanie zdalne przez łącze internetowe 14 (33)

Sterowniki GPIB dla wszystkich urządzeń GPIB Program do rezerwacji i nadzoru dostępu Program nadzorujący wykonywanie testów GPIB GPIB 15 (33)

2. Testy systemów czasu rzeczywistego 16 (33)

Testy szybkości oraz czasowej przewidywalności nie tylko aplikacji, lecz również platformy sprzętowej i systemu operacyjnego Aye, aye, prawa mocniej, szczury! 10 o w lewo za 6 ms! Czego on chce? 17 (33)

Długotrwałe testy stabilności 18 (33)

Deadlock Mars Patfinder: priority inversion Resource starvation Testowanie poprawności implementacji wymagań czasowych Race conditions 19 (33)

Testowanie niezawodności (MTBF) maksimum Liczba awarii Odrzucić Zbyt źle OK Przerwać Wszystkie Liczba wykonanych testów 20 (33)

3. Testowanie systemów krytycznych dla bezpieczeństwa 21 (33)

Normy warto je poznać IEC EN 61508 Parts 1 to 3 is a core Functional Safety standard, applied widely to all types of safety critical E/E/PS and to systems with a safety function incorporating E/E/PS. UK Defense Standard 00-56 Issue 2 US RTCA DO-178B North American Avionics Software US RTCA DO-254 North American Avionics Hardware EUROCAE ED-12B European Airborne Flight Safety Systems IEC 62304 - Medical Device Software IEC 61513, Nuclear power plants Instrumentation and control for systems important to safety General requirements for systems, based on EN 61508 IEC 62061, Safety of machinery - Functional safety of safety-related electrical, electronic and programmable electronic control systems, based on EN 61508 ISO 13849-1, -2 Safety of machinery - Safety-related parts of control systems. Non-technology dependent standard for control system safety of machinery. EN 50128, Railway Industry Specific EN 50129, Railway Industry Specific NASA Safety Critical Guidelines ISO 25119 - Tractors and Machinery for Agriculture and Forestry -- Safety- Related Parts of Control Systems ISO 26262 - Road Vehicles Functional Safety 22 (33)

Nacisk norm na zapobieganie 23 (33)

SIL a testowanie 24 (33)

Całościowa analiza bezpieczeństwa nie tylko miary niezawodności komponentów IT 25 (33)

Wymóg testów statycznych 26 (33)

Wymogi miar pokrycia testowego 27 (33)

Inne wymogi wobec testowania 28 (33)

Wymogi wobec narzędzi stosowanych do testowania 29 (33)

Wymogi wobec narzędzi stosowanych do testowania 30 (33)

wymagania.org.pl 31 (33)

Turniej Inżynierii Wymagań 4-5 marca 2015 re-challenge.pl 32 (33)

bogdan.bereza@victo.eu +48 519 152 106 Skype: bogdan.f.bereza victo.eu blogomocja.blogspot.com qualitology.blogspot.com Twitter: BogdanFBereza Facebook: bogdan.bereza.9 linkedin.com/in/bogdanbereza Testowanie systemów krytycznych dla bezpieczeństwa - victo.eu/kursy/krytyczne-test.html Inżynieria wymagań dla systemów krytycznych dla bezpieczeństwa - victo.eu/kursy/krytyczne-re.html Zasady i standardy tworzenia systemów krytycznych dla bezpieczeństwa - victo.eu/kursy/krytyczne.html 33 (33)