Metodyki projektowania i modelowania systemów
|
|
- Marek Jastrzębski
- 7 lat temu
- Przeglądów:
Transkrypt
1 Kierunek Elektronika i Telekomunikacja, Studia II stopnia Specjalność: Systemy wbudowane Metodyki projektowania i modelowania systemów Cyganek & Kasperek & Rajda 2016 Katedra Elektroniki AGH
2 No to zaczynamy. Wprowadzenie do systemów wbudowanych Analiza wymogów Założenia projektowe Przegląd architektur systemowych Podział projektu na część sprzętową i programową Implementacja / Integracja Zagadnienia bezpieczeństwa funkcjonalnego/ Klasyfikacje SIL. Dokumentacja projektowa i produkcyjna systemów Analiza specyfikacji projektowej Dokumentacja przedprojektowa Dokumentacja ścieżki sprzętowej (edytor schematów, vault, zarządzanie listą komponentów) Dokumentacja ścieżki programowej (Doxygen, SVN) Dokumentacja produkcyjna i serwisowa;
3 Bezpieczeństwo funkcjonalne Definicja z witryny UDT Bezpieczeństwo funkcjonalne rozumiane jako ogólne podejście do wszystkich działań w cyklu życia bezpieczeństwa systemów zawierających elektryczne i/lub elektroniczne i/lub programowalne elektroniczne elementy składowe
4 Bezpieczeństwo funkcjonalne jest tylko częścią polityki bezpieczeństwa dla systemów Bezpieczeństwo funkcjonalne dotyczy systemów aktywnych! Bezpieczeństwo funkcjonalne[pn-en ] to część bezpieczeństwa całkowitego odnosząca się do EUC (ang. Equipment Under Control) i systemu sterowania EUC, która zależy od prawidłowego działania systemów E/E/PE (system elektryczny/ elektroniczny/ programowalny elektroniczny) związanych z bezpieczeństwem, systemów związanych z bezpieczeństwem wykonanych w innych technikach i zewnętrznych środków do zmniejszania ryzyka.
5 IEC Standard for Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems EC is intended to be a basic functional safety standard applicable to all kinds of industry. It defines functional safety as: part of the overall safety relating to the EUC (Equipment Under Control) and the EUC control system which depends on the correct functioning of the E/E/PE safety-related systems, other technology safety-related systems and external risk reduction facilities.
6 Functional Safety and IEC ~3KCHF
7 IEC gdzie kupić? jak czytać?
8 IEC Baaaardzo dużo informacji w sieci nd/courses/sse/1213/iec61508_ overview.pdf Systemy automatyki budynku realizujące funkcje bezpieczeństwa struktury sprzętu Marcin JACHIMSKI, Zbigniew MIKOŚ, Grzegorz WRÓBEL AGH Akademia Górniczo-Hutnicza, Katedra Energoelektroniki i Automatyki Systemów Przetwarzania Energii
9 IEC Baaaardzo dużo informacji w sieci
10 IEC Bezpieczeństwo funkcjonalne związanych z bezpieczeństwem systemów elektrycznych/elektronicznych/programowalnych systemów elektronicznych Na podstawie normy IEC definiowane są wymogi w stosunku do systemów bezpieczeństwa w zakresie bezpieczeństwa urządzeń niezależnie od zastosowania. Nie chodzi przy tym wyłącznie o harmonizację prawodawstwa krajowego z normami międzynarodowymi. Chodzi natomiast w większym stopniu o stosowane coraz częściej do zadań związanych z bezpieczeństwem urządzenia i czujniki wyposażone w mikroprocesory. Część 1: Wprowadza koncepcję bezpieczeństwa funkcjonalnego i prezentuje przegląd norm z rzędu IEC Część 2: Wymogi odnośnie do związanych z bezpieczeństwem systemów elektrycznych/elektronicznych/programowalnych systemów elektronicznych Część 3: Wymogi dotyczące oprogramowania Część 4: Pojęcia i skróty Część 5: Przykłady ustalania stopnia nienaruszalności bezpieczeństwa Część 6: Dyrektywa wykonawcza do cz. 2 i 3 Część 7: Wskazówki wykonawcze dot. procedur i sposobów postępowania
11 Bezpieczeństwo funkcjonalne definicje za IEC Funkcja bezpieczeństwa to funkcja do zaimplementowania przez system E/E/PE związany z bezpieczeństwem, system związany z bezpieczeństwem wykonany w innej technice lub zewnętrzne urządzenie do zmniejszania ryzyka, którego przeznaczeniem jest osiągnięcie lub utrzymanie stanu bezpiecznego EUC, w odniesieniu do konkretnego zdarzenia zagrażającego Nienaruszalność bezpieczeństwa to prawdopodobieństwo, że system związany z bezpieczeństwem wykona właściwie wymagane funkcje bezpieczeństwa w określonych warunkach i w określonym przedziale czasowym. Poziom nienaruszalności bezpieczeństwa (SIL) poziom dyskretny (jeden z czterech możliwych) do wyszczególnienia wymagań nienaruszalności bezpieczeństwa funkcji bezpieczeństwa, które powinny być przypisane w systemach E/E/PE związanych z bezpieczeństwem, przy czym poziom nienaruszalności bezpieczeństwa 4 jest poziomem najwyższym, a poziom nienaruszalności bezpieczeństwa 1 poziomem najniższym.
12 Poziom nienaruszalności bezpieczeństwa (SIL Safety Integrity Level) Bezpieczeństwo funkcjonalne awers i rewers Pomiary Automatyka Robotyka 1/2008 prof. dr inż. Tadeusz Missala Przemysłowy Instytut Automatyki i Pomiarów, Warszawa
13 Poziom nienaruszalności bezpieczeństwa (SIL Safety Integrity Level)
14 Analiza ryzyka... An introduction to Functional Safety and IEC AN9025 Members of The MTL Instruments Group plc The development of safety functions, which embody the main principles of the standard, requires the following steps: Identify and analyse the risks; Determine the tolerability of each risk; Determine the risk reduction necessary for each intolerable risk; Specify the safety requirements for each risk reduction, including their safety integrity levels (SILs); Design safety functions to meet the safety requirements; Implement the safety functions; Validate the safety functions.
15 Analiza ryzyka... Osiągnięcie wymaganego poziomu nienaruszalności bezpieczeństwa jest możliwe poprzez zwiększenie odporności sprzętu na awarie lub zwiększenie odsetka bezpiecznych uszkodzeń tego sprzętu (takich, które nie prowadzą do sytuacji niebezpiecznych) [15]. W PN-EN proponuje się różne techniki, których zastosowanie pozwala osiągnąć pożądany poziom SIL. Na przykład odsetek bezpiecznych uszkodzeń można zwiększyć poprzez zastosowanie technik zwiększających prawdopodobieństwo wykrycia uszkodzeń i ich prawidłową obsługę (takich jak np. diagnostyka). Inną techniką jest zastosowanie sprzętu na tyle niezawodnego, że spełniającego określone wcześniej wymogi nienaruszalności bezpieczeństwa. Jeszcze inną techniką jest zastosowanie sprzętu odpornego na wewnętrzne awarie, co oznacza, że zostaną podjęte dodatkowe środki (takie jak np. redundancja) w celu uniknięcia sytuacji niebezpiecznych nawet jeśli nastąpiło uszkodzenie. W przypadku zastosowania redundancji lub redundancji w połączeniu z diagnostyką, poszczególne struktury wielokanałowe wpływają w różny sposób na poziom bezpieczeństwa realizowanych funkcji, dostępność systemu oraz tolerancję uszkodzeń. Systemy automatyki budynku realizujące funkcje bezpieczeństwa struktury sprzętu Marcin JACHIMSKI, Zbigniew MIKOŚ, Grzegorz WRÓBEL AGH Akademia Górniczo-Hutnicza, Katedra Energoelektroniki i Automatyki Systemów Przetwarzania Energii
16 Analiza ryzyka... Nadmiarowe struktury wielokanałowe oznacza się kodem skrótowym MooN(D), który oznacza strukturę N kanałową o sposobie głosowania M kanałów z N dostępnych. M oznacza liczbę sprawnych kanałów z pośród N dostępnych, która wystarcza do prawidłowej realizacji funkcji bezpieczeństwa. Opcjonalnie specyfikowana na końcu kodu skrótowego litera D oznacza kanały z diagnostyką. Stosowane są następujące systemy: - 1oo1 jedno wyjście z jednego, - 1oo2 jedno wyjście z dwu, - 2oo2 dwa wyjścia z dwu, - 2oo3 dwa wyjścia z trzech, - 1oo2D jedno wyjście z jednego z diagnostyką, - 1oo2D jedno wyjście z dwu z diagnostyką, - 2oo3D dwa wyjścia z trzech z diagnostyką. Systemy automatyki budynku realizujące funkcje bezpieczeństwa struktury sprzętu Marcin JACHIMSKI, Zbigniew MIKOŚ, Grzegorz WRÓBEL AGH Akademia Górniczo-Hutnicza, Katedra Energoelektroniki i Automatyki Systemów Przetwarzania Energii
17 Analiza ryzyka... Systemy automatyki budynku realizujące funkcje bezpieczeństwa struktury sprzętu Marcin JACHIMSKI, Zbigniew MIKOŚ, Grzegorz WRÓBEL AGH Akademia Górniczo-Hutnicza, Katedra Energoelektroniki i Automatyki Systemów Przetwarzania Energii
18 IEC Safety lifecycle
19 Przyczyna wypadków The safety life cycle concept came from studies done by the Health Safety Executive (HSE) in the United Kingdom. The HSE studied accidents involving industrial control systems and classified accident causes as shown above.
20 IEC Functional Safety Assesment
21 IEC koncept Systematic faults Design Mistakes Random failures
22 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 Verification Functional Safety -An IEC SIL 3 Compliant Development Process November 20, 2010 by Michael Medoff & Rainer Faller
23 Development Process Overview FMEA Failure Mode and Effects Analysis FMEDA Failure Modes, Effects and Diagnostic Analysis
24 Development Process Overview
25 Development Process Overview
26 Documentation
27 Documentation
28 Documentation
29 Documentation
30 Documentation
31 Documentation
32 Documentation
33 Documentation +Definicje procedur Tworzenie nowego dokumentu Wysłanie dokumentu do zatwierdzenia Zatwierdzanie dokumentu Zarządzanie zmianami wersji dokumentu
34 Configuration Management
35 Configuration Management
36 Configuration Management
37 Configuration Management SCR System Change Request Severity: High Medium Low Type: New Feature New Product Fault Optimisation Priority: Urgent Blocking High Medium Low Status: New Evaluation CBB review Approved Deffered Not a problem Complete Test Fixed Failed Feadback
38 Functional Safety Management
39 Functional Safety Management Role: Product Manager (PrdM) Project Manager (PM) System Safety Architect (SSA) Functional Safety Cordinator (FSC) Test Team Leader (TTL) Internal Reviewers (IR) Quality Management (QM) i grupy Product Release Board (PRB) Change Control Board (CCB)
40 Functional Safety Management
41 Functional Safety Management
42 Functional Safety Management Przykładowy zestaw Dokumentujący układ FPGA
43 Functional Safety Management Dokumenty: Create and Inspect Product Safety Requirements
44 Functional Safety Management Dokumenty: Create and Inspect Safety Validation Test Plan
45 Functional Safety Management Dokumenty: Detailed Hardware Design and Component FMEDA
46 Functional Safety Management Dokumenty: Detailed Hardware Design and Component FMEDA
47 Functional Safety Management Dokumenty: Software Architecture Design and Critically Analysis and HAZOP (Hazard and Operability Study) IEC61882 Hazard and operability studies (HAZOP studies) Application guide
48 Functional Safety Management Detailed Validation Procedures
49 Functional Safety Management Detailed Software Design
50 Functional Safety Management Integration Test Plan
51 Functional Safety Management Inspect Code & Static Analysis on Code
52 Functional Safety Management
53 Functional Safety Management
54 Functional Safety Management
55 Safety Requirements/ Validation Test Planning
56 Dziękujemy Dziękuję za uwagę
Metodyki projektowania i modelowania systemów Cyganek & Kasperek & Rajda 2013 Katedra Elektroniki AGH
Kierunek Elektronika i Telekomunikacja, Studia II stopnia Specjalność: Systemy wbudowane Metodyki projektowania i modelowania systemów Cyganek & Kasperek & Rajda 2013 Katedra Elektroniki AGH Zagadnienia
Politechnika Gdańska Wydział Elektrotechniki i Automatyki Katedra Automatyki
Politechnika Gdańska Wydział Elektrotechniki i Automatyki Katedra Automatyki Kazimierz Kosmowski k.kosmowski@ely.pg.gda.pl Opracowanie metod analizy i narzędzi do komputerowo wspomaganego zarządzania bezpieczeństwem
Systemy automatyki budynku realizujące funkcje bezpieczeństwa struktury sprzętu
doi:10.15199/48.2015.04.25 Marcin JACHIMSKI 1, Zbigniew MIKOŚ 1, Grzegorz WRÓBEL 1 AGH Akademia Górniczo-Hutnicza, Katedra Energoelektroniki i Automatyki Systemów Przetwarzania Energii (1) Systemy automatyki
MODELE I PROCEDURY OCENY ZGODNOŚCI MODELE I PROCEDURY OCENY ZGODNOŚCI BEZPIECZEŃSTWA FUNKCJONALNEGO SYSTEMÓW ZABEZPIECZENIOWYCH W
Prezentacja wstępna MODELE I PROCEDURY OCENY ZGODNOŚCI BEZPIECZEŃSTWA FUNKCJONALNEGO SYSTEMÓW ZABEZPIECZENIOWYCH W SEKTORZE PRZEMYSŁU PROCESOWEGO prof. dr inż. Tadeusz Missala Przemysłowy Instytut Automatyki
Rok akademicki: 2012/2013 Kod: IET-2-211-SW-s Punkty ECTS: 3. Kierunek: Elektronika i Telekomunikacja Specjalność: Systemy wbudowane
Nazwa modułu: Metodyki projektowania i modelowania systemów I Rok akademicki: 2012/2013 Kod: IET-2-211-SW-s Punkty ECTS: 3 Wydział: Informatyki, Elektroniki i Telekomunikacji Kierunek: Elektronika i Telekomunikacja
Metodyki projektowania i modelowania systemów
Kierunek Elektronika i Telekomunikacja, Studia II stopnia Specjalność: Systemy wbudowane Metodyki projektowania i modelowania systemów Cyganek & Kasperek & Rajda 2015 Katedra Elektroniki AGH Program wykładu
Wytwórstwo oprogramowania. michał możdżonek
Wytwórstwo oprogramowania michał możdżonek 01.2008 Plan wykładu 1. Proces tworzenie oprogramowania 2. Zarządzanie projektami 3. Wymagania 4. Projektowanie 5. Testowanie 6. Szacowanie złożoności i kosztu
Instalacja procesowa W9-1
Instalacja procesowa W9-1 Warstwy zabezpieczeń Kryteria probabilistyczne SIL PFD avg PFH 4 [ 10-5, 10-4 ) [ 10-9, 10-8 ) 3 [ 10-4, 10-3 ) [ 10-8, 10-7 ) 2 [ 10-3, 10-2 ) [ 10-7, 10-6 ) 1 [ 10-2, 10-1 )
METODYKA PROJEKTOWANIA FUNKCJI BEZPIECZEŃSTWA OPARTYCH NA WYKORZYSTANIU TECHNIKI RFID
Maszyny Elektryczne - Zeszyty Problemowe Nr 2/2017 (114) 115 Tomasz Strawiński Centralny Instytut Ochrony Pracy - Państwowy Instytut Badawczy (CIOP-PIB), Warszawa METODYKA PROJEKTOWANIA FUNKCJI BEZPIECZEŃSTWA
Błędy procesu tworzenia oprogramowania (Badania firmy Rational Software Corporation)
Błędy procesu tworzenia oprogramowania (Badania firmy Rational Software Corporation) Zarządzanie wymaganiami Ad hoc (najczęściej brak zarządzania nimi) Niejednoznaczna, nieprecyzyjna komunikacja Architektura
Safety Integrity Level (SIL) Obowiązek czy dobra praktyka? Michał Karolak UDT, Warszawa 27 styczeń 2010
Safety Integrity Level (SIL) Obowiązek czy dobra praktyka? Michał Karolak UDT, Warszawa 27 styczeń 2010 Safety integrity level definicja Poziom dyskretny (jeden z czterech moŝliwych) do wyszczególnienia
Systemy zabezpieczeń
Systemy zabezpieczeń Definicja System zabezpieczeń (safety-related system) jest to system, który implementuje funkcje bezpieczeństwa konieczne do utrzymania bezpiecznego stanu instalacji oraz jest przeznaczony
Dotyczy PN-EN ISO 14001:2005 Systemy zarządzania środowiskowego Wymagania i wytyczne stosowania
POPRAWKA do POLSKIEJ NORMY ICS 13.020.10 PN-EN ISO 14001:2005/AC listopad 2009 Wprowadza EN ISO 14001:2004/AC:2009, IDT ISO 14001:2004/AC1:2009, IDT Dotyczy PN-EN ISO 14001:2005 Systemy zarządzania środowiskowego
Projektowanie funkcji bezpieczeństwa. z wykorzystaniem podsystemu transmisji danych bezpieczeństwa
Projektowanie funkcji bezpieczeństwa z wykorzystaniem podsystemu transmisji danych bezpieczeństwa Tomasz Strawiński Wstęp Efektywna realizacja systemów sterowania dużych zespołów maszyn lub linii produkcyjnych
Usługowy model zarządzania w oparciu o ITIL v3. wprowadzenie do biblioteki ITIL na prostym przykładzie
Usługowy model zarządzania w oparciu o ITIL v3 wprowadzenie do biblioteki ITIL na prostym przykładzie Plan prezentacji Krótka definicja ITIL i kilka pojęć Umowy i kontrakty SLA, OLA, UC Podstawowe publikacje
AN EVOLUTION PROCESS FOR SERVICE- ORIENTED SYSTEMS
AN EVOLUTION PROCESS FOR SERVICE- ORIENTED SYSTEMS Andrzej Zalewski, Marcin Szlenk, Szymon Kijas a.zalewski@elka.pw.edu.pl s.kijas@elka.pw.edu.pl Praca naukowa finansowana ze środków budżetowych na naukę
Testowanie oprogramowania w środowisku IBM Rational Software Architect
Testowanie oprogramowania w środowisku IBM Rational Software Architect Software Development 2008 Michał Wolski m.wolski@modesto.pl szkolenia: inżynierii oprogramowania zarządzania projektami usługi doradcze
Wykaz norm i innych dokumentów normalizacyjnych serii ISO i ich polskie odpowiedniki
Wykaz norm i innych dokumentów normalizacyjnych serii ISO 14000 i ich polskie odpowiedniki Norma/ dokument ISO* Tytuł ISO 14001:2015 Environmental management systems Requirements with guidance for use
Testowanie systemów wbudowanych i krytycznych dla bezpieczeństwa Bogdan Bereza Wersja 2.0 1 (33)
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
Projektowanie systemów informatycznych. Roman Simiński programowanie.siminskionline.pl. Cykl życia systemu informatycznego
systemów informatycznych Roman Simiński roman.siminski@us.edu.pl programowanie.siminskionline.pl Cykl życia systemu informatycznego Trochę wprowadzenia... engineering co to oznacza? Oprogramowanie w sensie
Wprowadzenie do przedmiotu 1
Inżynieria oprogramowania II Wykład 4 Syndrom LOOP Normy serii ISO 9000 Jerzy.Nawrocki@put.poznan.pl Adam.Wojciechowski@put.poznan.pl Loop Late (późno) Over budget (przekroczony budżet) Overtime (nadgodziny)
Program szkolenia: Fundamenty testowania
Program szkolenia: Fundamenty testowania Informacje ogólne Nazwa: Kod: Kategoria: Grupa docelowa: Czas trwania: Forma: Fundamenty testowania Testowanie-fun Testowanie testerzy, test managerowie 2 dni 50%
Zagadnienia bezpieczeństwa funkcjonalnego w dyrektywach Nowego Podejścia
IV Sympozjum Bezpieczeństwa Maszyn, Urządzeń i Instalacji Przemysłowych organizowane przez Klub Paragraf 34 Zagadnienia bezpieczeństwa funkcjonalnego w dyrektywach Nowego Podejścia Janusz Samuła Urząd
Systemy eksplozymetryczne jako urządzenia zabezpieczające
Systemy eksplozymetryczne jako urządzenia zabezpieczające dr inż. Stanisław Trzcionka 1 Zakres Dyrektywy ATEX Dyrektywa ma zastosowanie do: urządzeń, systemów ochronnych i części lub podzespołów przeznaczonych
Spis treści do książki pt. Ocena ryzyka zawodowego Autorzy: Iwona Romanowska-Słomka Adam Słomka
Spis treści do książki pt. Ocena ryzyka zawodowego Autorzy: Iwona Romanowska-Słomka Adam Słomka WSTĘP... 9 CZĘŚĆ I 1. WPROWADZENIE... 11 2. OCENA RYZYKA... 18 2.1. Definicje... 18 2.2. Cele oceny ryzyka...
SPIS TREŚCI. Str. WSTĘP 9 CZĘŚĆ I 1. WPROWADZENIE 13
3 SPIS TREŚCI WSTĘP 9 CZĘŚĆ I 1. WPROWADZENIE 13 2. OCENA RYZYKA 18 2.1. Definicje 18 2.2. Cele oceny ryzyka 22 2.2.1. Sprawdzenie, czy występujące na stanowiskach pracy zagrożenia zostały zidentyfikowane
SYSTEMY BEZPIECZEŃSTWA WSPÓŁCZESNYCH MASZYN I URZĄDZEŃ TECHNOLOGICZNYCH 1. WPROWADZENIE
Inżynieria Maszyn, R. 17, z. 2, 2012 systemy i układy bezpieczeństwa, niezawodność, ocena ryzyka, MTTF Wojciech KRAMAREK 1 Piotr SZULEWSKI 1 SYSTEMY BEZPIECZEŃSTWA WSPÓŁCZESNYCH MASZYN I URZĄDZEŃ TECHNOLOGICZNYCH
Zastosowania mikrokontrolerów w przemyśle
Zastosowania mikrokontrolerów w przemyśle Cezary MAJ Katedra Mikroelektroniki i Technik Informatycznych Literatura Ryszard Pełka: Mikrokontrolery - architektura, programowanie, zastosowania Projektowanie
In ż ynieria oprogramowania wykład II Modele i fazy cyklu życia oprogramowania
In ż ynieria oprogramowania wykład II Modele i fazy cyklu życia oprogramowania prowadzący: dr inż. Krzysztof Bartecki www.k.bartecki.po.opole.pl Proces tworzenia oprogramowania jest zbiorem czynności i
Sekcja Mechatroniki Komitetu Budowy Maszyn PAN. Zakopane 2018
Sekcja Mechatroniki Komitetu Budowy Maszyn PAN Zakopane 2018 Rozporządzenie Ministra Nauki i Szkolnictwa Wyższego z dnia 08.08.2011 r. (Dz. U. Nr 179 2011, poz. 1065) Obszar nauk technicznych Dziedzina
Zebranie Zarządu Koła SEP nr 43 Wrocław, 16 maja 2013
Zebranie Zarządu Koła SEP nr 43 Wrocław, 16 maja 2013 IEC Guide 110 wydanie 2: Domowe systemy sterowania Wytyczne dotyczące bezpieczeństwa (Guide 110 Edition 2: Home control systems Guidelines relating
BEZPIECZEŃSTWO, STABILNOŚĆ, JAKOŚĆ ZAPEWNIENIE CIĄGŁOŚCI PRACY SYSTEMÓW TELEMETRII PRZEZ VECTOR SMART DATA
BEZPIECZEŃSTWO, STABILNOŚĆ, JAKOŚĆ ZAPEWNIENIE CIĄGŁOŚCI PRACY SYSTEMÓW TELEMETRII PRZEZ VECTOR SMART DATA MILENA BABIŃSKA MARCIN WAŚKÓW Manager Zespołu Software Manager Zespołu Utrzymania i Wdrożeń CO
Sterowniki Programowalne (SP)
Sterowniki Programowalne (SP) Wybrane aspekty procesu tworzenia oprogramowania dla sterownika PLC Podstawy języka funkcjonalnych schematów blokowych (FBD) Politechnika Gdańska Wydział Elektrotechniki i
PROGRAM STAŻU Nazwa podmiotu oferującego staż IBM GSDC SP.Z.O.O
PROGRAM STAŻU Nazwa podmiotu oferującego staż IBM GSDC SP.Z.O.O Miejsce odbywania stażu IBM, ul. Muchoborska 8, 54-424 Wrocław, Poland Stanowisko, obszar działania Młodszy Koordynator Zarządzania Bazą
Bezpieczeństwo funkcjonalne: pomiar temperatury związany z bezpieczeństwem zgodnie z normą IEC 61508
Informacje techniczne Bezpieczeństwo funkcjonalne: pomiar temperatury związany z bezpieczeństwem zgodnie z normą IEC 61508 Karta katalogowa WIKA IN 00.19 Wprowadzenie W określonych warunkach termometry
Cechy charakterystyczne tworzenia oprogramowania w Inżynierii Biomedycznej. Wykładowca Dr inż. Zofia Kruczkiewicz
Cechy charakterystyczne tworzenia oprogramowania w Inżynierii Biomedycznej. Wykładowca Dr inż. Zofia Kruczkiewicz Zofia Kruczkiewicz Wyklad_INP002017_3 1 CMMI (Capability Maturity Model Integration ) -
STOSOWANIE PODSYSTEMÓW TRANSMISJI DANYCH BEZPIECZEŃSTWA W ZWIĄZANYCH Z BEZPIECZEŃSTWEM SYSTEMACH STEROWANIA MASZYN
Zeszyty Problemowe Maszyny Elektryczne Nr 2/2014 (102) 179 Tomasz Strawiński Centralny Instytut Ochrony Pracy - Państwowy Instytut Badawczy (CIOP-PIB), Warszawa STOSOWANIE PODSYSTEMÓW TRANSMISJI DANYCH
ZARZĄDZANIE WYMAGANIAMI ARCHITEKTONICZNYMI
ZARZĄDZANIE WYMAGANIAMI ARCHITEKTONICZNYMI XVIII Forum Teleinformatyki mgr inż. Michał BIJATA, doktorant, Wydział Cybernetyki WAT Michal.Bijata@WAT.edu.pl, Michal@Bijata.com 28 września 2012 AGENDA Architektura
Elektronika dla branży automotive
Numer naboru: POWR.03.01.00-IP.08-00-MOT/17 Tytuł projektu: Elektronika dla branży automotive Okres realizacji projektu: od: 2018-01-01 do: 2019-10-31 Beneficjent: Politechnika Rzeszowska, Wydział Elektrotechniki
Bezpieczeństwo maszyn w przestrzeni zagrożonej wybuchem
Bezpieczeństwo maszyn Elementy systemów sterowania związane z bezpieczeństwem Bezpieczeństwo maszyn w przestrzeni zagrożonej wybuchem Dr inż. Gerard Kałuża 1 Bezpieczeństwo jest sytuacją, w której nie
Systemy bezpieczne i FTC. dr inż. Krzysztof Berezowski 220/C3 tel
Systemy bezpieczne i FTC dr inż. Krzysztof Berezowski 220/C3 tel. +48 71 320 27-59 krzysztof.berezowski@pwr.wroc.pl Co to s! systemy komputerowe? Klasyczne systemy komputerowe Systemy komputerowe wbudowane
Opis metodyki i procesu produkcji oprogramowania
Opis metodyki i procesu produkcji oprogramowania Rational Unified Process Rational Unified Process (RUP) to iteracyjny proces wytwarzania oprogramowania opracowany przez firmę Rational Software, a obecnie
INŻYNIERIA OPROGRAMOWANIA TESTOWANIE SYSTEMOWE
INŻYNIERIA OPROGRAMOWANIA TESTOWANIE SYSTEMOWE Ważne pojęcia (I) Warunek testowy (test condition) to element lub zdarzenie modułu lub systemu, który może być zweryfikowany przez jeden lub więcej przypadków
Bezpieczeństwo w systemach kierowania i sterowania. ruchem. Kod przedmiotu TR.NM...
1 z 5 2013-09-26 01:04 Opis przedmiotu: Bezpieczeństwo w systemach kierowania i sterowania ruchem Kod przedmiotu TR.NM... Nazwa przedmiotu Bezpieczeństwo w systemach kierowania i sterowania ruchem Wersja
Dom Development S.A., Pl. Piłsudskiego 3, 00-078 Warsaw
Jarosław Szanajca President of the Management Board Age: 45 Higher, Master of Law, Department of Law and Administration, Warsaw University 1996 present Dom Development S.A. in Warsaw, President of the
POMIARY I ANALIZA WSKAŹNIKÓW JAKOŚCI ENERGII ELEKTRYCZNEJ
POMIARY I ANALIZA WSKAŹNIKÓW JAKOŚCI ENERGII ELEKTRYCZNEJ ANALIZA WARUNKÓW ZASILANIA (04) dr inż. Andrzej Firlit andrzej.firlit@keiaspe.agh.edu.pl Laboratorium JAKOŚCI ENERGII ELEKTRYCZNE rok akademicki
Systemy wbudowane. Poziomy abstrakcji projektowania systemów HW/SW. Wykład 9: SystemC modelowanie na różnych poziomach abstrakcji
Systemy wbudowane Wykład 9: SystemC modelowanie na różnych poziomach abstrakcji Poziomy abstrakcji projektowania systemów HW/SW 12/17/2011 S.Deniziak:Systemy wbudowane 2 1 Model czasu 12/17/2011 S.Deniziak:Systemy
Karta przedmiotu - Bezpieczeństwo w systemach kierowania i sterowania ruchem Katalog ECTS Politechniki Warszawskiej
Kod przedmiotu TR.SMS251 Nazwa przedmiotu Bezpieczeństwo w systemach kierowania i sterowania ruchem Wersja przedmiotu 2015/2016 A. Usytuowanie przedmiotu w systemie studiów Poziom kształcenia Studia II
Agile Software Development. Zastosowanie metod Scrum i Kanban.
Radosław Lont, CN, CNXDA Ericpol Telecom Sp. z o.o. radoslaw.lont@ericpol.com Tel.: 663441360 Agile Software Development. Zastosowanie metod Scrum i Kanban. Ericpol kilka słów o Polska firma informatyczna
Procesy biznesowe w praktyce. Przykłady użycia z wykorzystaniem jbpm 4.4
Procesy biznesowe w praktyce Przykłady użycia z wykorzystaniem jbpm 4.4 1 Agenda Definicja i zastosowanie procesu biznesowego Języki dziedzinowe (DSL) a rozwiązania BPM JBPM: jbpm 4.4 krótka charakterystyka
Systemy wbudowane. Paweł Pełczyński ppelczynski@swspiz.pl
Systemy wbudowane Paweł Pełczyński ppelczynski@swspiz.pl 1 Program przedmiotu Wprowadzenie definicja, zastosowania, projektowanie systemów wbudowanych Mikrokontrolery AVR Programowanie mikrokontrolerów
KATALOG SZKOLEŃ. Kod szkolenia Nazwa szkolenia Czas trwania. QC370 ALM Quality Center Scripting 11.x 2
Oprogramowanie HP KATALOG SZKOLEŃ Application Lifecycle Management ALM Development Management - QC QC370 ALM Quality Center Scripting 11.x 2 ALM920 Application Lifecycle Management 11.5 Delta 2 ALM120
Strona główna > Produkty > Systemy regulacji > System regulacji EASYLAB - LABCONTROL > Program konfiguracyjny > Typ EasyConnect.
Typ EasyConnect FOR THE COMMISSIONING AND DIAGNOSIS OF EASYLAB COMPONENTS, FSE, AND FMS Software for the configuration and diagnosis of controllers Type TCU3, adapter modules TAM, automatic sash device
Systemy bezpieczeństwa funkcjonalnego w przemyśle
Grupa Azoty Zakłady Chemiczne Police Systemy bezpieczeństwa funkcjonalnego w przemyśle na przykładzie systemu blokad FSC elektrociepłowni Grupy Azoty w Policach Urządzenia, instalacje oraz sposoby eksploatacji
Scaling Scrum with SAFe. Małgorzata Czerwińska
Scaling Scrum with SAFe Małgorzata Czerwińska Agenda 1. Wstęp 2. Współpraca zespołów scrumowych 3. Zarządzanie Programem 4. Podsumowanie Wstęp Skuteczność zespołów developerskich, realizujących projekty
PROGRAM STAŻU. Nazwa podmiotu oferującego staż / Company name IBM Global Services Delivery Centre Sp z o.o.
PROGRAM STAŻU Nazwa podmiotu oferującego staż / Company name IBM Global Services Delivery Centre Sp z o.o. Miejsce odbywania stażu / Legal address Muchoborska 8, 54-424 Wroclaw Stanowisko, obszar działania/
4. EKSPLOATACJA UKŁADU NAPĘD ZWROTNICOWY ROZJAZD. DEFINICJA SIŁ W UKŁADZIE Siła nastawcza Siła trzymania
3 SPIS TREŚCI Przedmowa... 11 1. WPROWADZENIE... 13 1.1. Budowa rozjazdów kolejowych... 14 1.2. Napędy zwrotnicowe... 15 1.2.1. Napęd zwrotnicowy EEA-4... 18 1.2.2. Napęd zwrotnicowy EEA-5... 20 1.3. Współpraca
Metodyka dla projektu SYRIUSZ
Metodyka dla projektu SYRIUSZ Wprowadzenie Robert Ganowski Warszawa, 29 lipca 2003 r. Czym się zajmujemy? * Program Low Produkt Change programowy Essential (Uogólnienie, testowanie, Money dokumentacja,
Marek Trajdos Klub Paragraf 34 SBT
Marek Trajdos Klub Paragraf 34 SBT 1. Dyrektywa maszynowa, a inne dyrektywy Wymagania zasadnicze dotyczą maszyn wprowadzanych do obrotu po raz pierwszy na terenie Europejskiego Obszaru Gospodarczego. Są
dr inż. M. Żabińska, e-mail: zabinska@agh.edu.pl Katedra Informatyki AGH, D17/ 2.27 dr inż. M. Żabińska
, e-mail: zabinska@agh.edu.pl Katedra Informatyki AGH, D17/ 2.27 [ISO 9000] Jakość jest określana jako ogół cech i właściwości wyrobu lub usługi wymaganych do zaspokojenia stwierdzonych lub przewidywanych
Space for your logo, a photograph etc. Action 3.3.1 (WBU) www.viaregiaplus.eu
Space for your logo, a photograph etc. Action 3.3.1 (WBU) THE ANALYSIS CONCERNING THE DESIGNATION OF THE ROUTE THAT INTEGRATES THE SOUTH OF THE LOWER SILESIA PROVINCE TOGETHER WITH NORTH - SOUTHLINKS Analiza
MSF. Microsoft Solution Framework
MSF Microsoft Solution Framework MSF a PMI PMI - metodyka podobna dla każdego rodzaju projektów MSF metodyka przeznaczona dla projektów informatycznych mająca cechy PMI MSF metodyka utworzona na podstawie
Idea Bezpiecznej Maszyny w prostym podejściu. użyj Safety Evaluation Tool. Safety Integrated. www.siemens.pl/safety-evaluation-tool
Idea Bezpiecznej Maszyny w prostym podejściu użyj Safety Evaluation Tool Safety Integrated www.siemens.pl/safety-evaluation-tool Safety Evaluation Tool jest częścią programu Safety Integrated opracowanego
Szkoła programisty PLC : sterowniki przemysłowe / Gilewski Tomasz. Gliwice, cop Spis treści
Szkoła programisty PLC : sterowniki przemysłowe / Gilewski Tomasz. Gliwice, cop. 2017 Spis treści O autorze 9 Wprowadzenie 11 Rozdział 1. Sterownik przemysłowy 15 Sterownik S7-1200 15 Budowa zewnętrzna
Programowanie proceduralne w języku C++ Podstawy
Programowanie proceduralne w języku C++ Podstawy Mirosław Głowacki 1 1 Akademia Górniczo-Hutnicza im. Stanisława Staszica w Ktrakowie Wydział Inżynierii Metali i Informatyki Stosowanej Katedra Informatyki
USB firmware changing guide. Zmiana oprogramowania za przy użyciu połączenia USB. Changelog / Lista Zmian
1 / 8 Content list / Spis Treści 1. Hardware and software requirements, preparing device to upgrade Wymagania sprzętowe i programowe, przygotowanie urządzenia do aktualizacji 2. Installing drivers and
ERP to za mało. Zarządzanie wiedzą przez cały okres ŻYCIA produktu. Katarzyna Andrzejuk Mariusz Zabielski
ERP to za mało Zarządzanie wiedzą przez cały okres ŻYCIA produktu Katarzyna Andrzejuk Mariusz Zabielski Pierwszy wymiar firmy - struktura organizacyjna Zrozumieć jaka jest struktura organizacyjna oraz
Sterowniki Programowalne (SP) Wykład 11
Sterowniki Programowalne (SP) Wykład 11 Podstawy metody sekwencyjnych schematów funkcjonalnych (SFC) SP 2016 WYDZIAŁ ELEKTROTECHNIKI I AUTOMATYKI KATEDRA INŻYNIERII SYSTEMÓW STEROWANIA Kierunek: Automatyka
Menedżerskie studia podyplomowe Zarządzanie firmą. Instrumentarium współczesnego menedżera
Menedżerskie studia podyplomowe Zarządzanie firmą. Instrumentarium współczesnego menedżera Zarządzanie projektami najlepsze światowe praktyki mgr Marcin Gałuszka Zajęcia 2 - Wrocław, 28.01.2012 AGENDA
Akademia Morska w Szczecinie. Wydział Mechaniczny
Akademia Morska w Szczecinie Wydział Mechaniczny ROZPRAWA DOKTORSKA mgr inż. Marcin Kołodziejski Analiza metody obsługiwania zarządzanego niezawodnością pędników azymutalnych platformy pływającej Promotor:
Tematy prac magisterskich Rok akademicki 2013/2014
Dr hab. inż. Jan Werewka, prof. n. AGH Wydział EAIiIB AGH E-mail: werewka@agh.edu.pl www: http://home.agh.edu.pl/werewka Tematy prac magisterskich Rok akademicki 2013/2014 Temat 1 Architektura przedsięwzięcia
Application Security Verification Standard. Wojciech Dworakowski, SecuRing
Application Security Verification Standard Wojciech Dworakowski, SecuRing login: Wojciech Dworakowski OWASP Poland Chapter Leader OWASP = Open Web Application Security Project Cel: Podnoszenie świadomości
Organizacja procesu projektowania, rozwoju i serwisowania systemu wspomagającego zarzadzanie uczelnią
Organizacja procesu projektowania, rozwoju i serwisowania systemu wspomagającego zarzadzanie uczelnią Marek Bieniasz Sławomir Umpirowicz Piotr Miszewski Kraków, 10 13 września 2012 Plan prezentacji Informacje
Krytyczne czynniki sukcesu w zarządzaniu projektami
Seweryn SPAŁEK Krytyczne czynniki sukcesu w zarządzaniu projektami MONOGRAFIA Wydawnictwo Politechniki Śląskiej Gliwice 2004 SPIS TREŚCI WPROWADZENIE 5 1. ZARZĄDZANIE PROJEKTAMI W ORGANIZACJI 13 1.1. Zarządzanie
Technika mikroprocesorowa
Technika mikroprocesorowa zajmuje się przetwarzaniem danych w oparciu o cyfrowe programowalne układy scalone. Systemy przetwarzające dane w oparciu o takie układy nazywane są systemami mikroprocesorowymi
przedmiot specjalnościowy przedmiot obowiązkowy polski szósty
Załącznik nr 7 do Zarządzenia Rektora nr 10/12 z dnia 21 lutego 2012r. KARTA MODUŁU / KARTA PRZEDMIOTU Kod modułu Nazwa modułu Nazwa modułu w języku angielskim Obowiązuje od roku akademickiego 2013/2014
PROBLEM RYZYKA W INWESTYCJACH SYSTEMÓW SRK
dr hab. inż. Wiesław Zabłocki, prof. PW Wydział Transportu, Politechnika Warszawska, ul. Koszykowa 75, 00-662 Warszawa tel.: +48 22 234 54 81, email: zab@wt.pw.edu.pl Udział: 50% mgr inż. Magdalena Kycko
W ramach kompetencji firmy zawiera się:
Firma ATONTECH powstała 01 czerwca 2009 roku jako działalność jednoosobowa i w tej formie przetrwała do dnia dzisiejszego. Zakresem działalności firmy jest szeroko pojęta automatyka sterowania, elektronika
Strumień specjalizujący urządzeniowo - informatyczny dla wszystkich kierunków na ETI (II st.) 3 grudnia 2014
Systemy wbudowane Strumień specjalizujący urządzeniowo - informatyczny dla wszystkich kierunków na ETI (II st.) 3 grudnia 2014 Geneza W styczniu 2014 firma Intel zgłosiła zapotrzebowanie na absolwentów
Systemy Czasu Rzeczywistego (SCR)
Systemy Czasu Rzeczywistego (SCR) Wykład 1: Organizacja i program przedmiotu SKiTI 2017 WYDZIAŁ ELEKTROTECHNIKI I AUTOMATYKI KATEDRA INŻYNIERII SYSTEMÓW STEROWANIA Kierunek: Automatyka i Robotyka Studia
Nowe unormowania w zakresie bezpieczeństwa funkcjonalnego wynik postępu technicznego
Nowe unormowania w zakresie bezpieczeństwa funkcjonalnego wynik postępu technicznego Tadeusz Missala Przemysłowy Instytut Automatyki i Pomiarów PIAP Streszczenie: Scharakteryzowano zmiany wprowadzone w
Inżynieria oprogramowania (Software Engineering)
Inżynieria oprogramowania (Software Engineering) Wykład 2 Proces produkcji oprogramowania Proces produkcji oprogramowania (Software Process) Podstawowe założenia: Dobre procesy prowadzą do dobrego oprogramowania
Tomasz Kamiński. Tendencje i możliwości rozwoju systemów automatyki i nadzoru z uwzględnieniem aspektu bezpieczeństwa
Tomasz Kamiński Tendencje i możliwości rozwoju systemów automatyki i nadzoru z uwzględnieniem aspektu bezpieczeństwa Jak zmieniał się świat automatyki? 70 80 90 2000 2010 T I co z tego wynika? $ ERP MES
DiaSter - system zaawansowanej diagnostyki aparatury technologicznej, urządzeń pomiarowych i wykonawczych. Politechnika Warszawska
Jan Maciej Kościelny, Michał Syfert DiaSter - system zaawansowanej diagnostyki aparatury technologicznej, urządzeń pomiarowych i wykonawczych Instytut Automatyki i Robotyki Plan wystąpienia 2 Wprowadzenie
Elektrotechnika I stopień (I stopień / II stopień) ogólno akademicki (ogólno akademicki / praktyczny) kierunkowy (podstawowy / kierunkowy / inny HES)
Załącznik nr 7 do Zarządzenia Rektora nr 10/12 z dnia 21 lutego 2012r. KARTA MODUŁU / KARTA PRZEDMIOTU Kod modułu Nazwa modułu Nazwa modułu w języku angielskim Obowiązuje od roku akademickiego 2012/2013
USB firmware changing guide. Zmiana oprogramowania za przy użyciu połączenia USB. Changelog / Lista Zmian
1 / 12 Content list / Spis Treści 1. Hardware and software requirements, preparing device to upgrade Wymagania sprzętowe i programowe, przygotowanie urządzenia do aktualizacji 2. Installing drivers needed
Metody optymalizacji soft-procesorów NIOS
POLITECHNIKA WARSZAWSKA Wydział Elektroniki i Technik Informacyjnych Instytut Telekomunikacji Zakład Podstaw Telekomunikacji Kamil Krawczyk Metody optymalizacji soft-procesorów NIOS Warszawa, 27.01.2011
Jakość wymagań a wymagania jakości Czy możliwa jest obiektywizacja oceny?
Jakość wymagań a wymagania jakości Czy możliwa jest obiektywizacja oceny? 14:45 15:15 Bogdan Bereza @ victo.eu @ I Konferencja SASO - Inżynieria Jakości Oprogramowania Poznań, 25 września 2014 1(20) Automated
TECHNOLOGIE INFORMACYJNE WYKŁAD 1. WPROWADZENIE DO ZAGADNIEŃ ZWIĄZANYCH Z TECHNOLOGIAMI INFORMACYJNYMI W1. WPROWADZENIE DO PRZEDMIOTU
Politechnika Gdańska Wydział Elektrotechniki i Automatyki Katedra Automatyki TECHNOLOGIE INFORMACYJNE WYKŁAD 1: WPROWADZENIE DO ZAGADNIEŃ ZWIĄZANYCH Z TECHNOLOGIAMI INFORMACYJNYMI dr inŝ. Marcin Śliwiński
MODELOWANIE SYSTEMU OCENY WARUNKÓW PRACY OPERATORÓW STEROWNI
Inżynieria Rolnicza 7(105)/2008 MODELOWANIE SYSTEMU OCENY WARUNKÓW PRACY OPERATORÓW STEROWNI Agnieszka Buczaj Zakład Fizycznych Szkodliwości Zawodowych, Instytut Medycyny Wsi w Lublinie Halina Pawlak Katedra
Metodyki, standardy i certyfikaty a jakość wdraŝanych rozwiązań informatycznych
Metodyki, standardy i certyfikaty a jakość wdraŝanych rozwiązań informatycznych Jak teoria pomaga w codziennej praktyce zapewniania i kontroli jakości Piotr Ślęzak Stowarzyszenie Jakości Systemów Informatycznych
POLITECHNIKA WARSZAWSKA Wydział Elektroniki i Technik Informacyjnych. Instytut Telekomunikacji Zakład Podstaw Telekomunikacji
POLITECHNIKA WARSZAWSKA Wydział Elektroniki i Technik Informacyjnych Instytut Telekomunikacji Zakład Podstaw Telekomunikacji Kamil Krawczyk Metody optymalizacji soft-procesorów NIOS Opiekun naukowy: dr
BPM vs. Content Management. Jarosław Żeliński analityk biznesowy, projektant systemów
BPM vs. Content Management Jarosław Żeliński analityk biznesowy, projektant systemów Cel prezentacji Celem prezentacji jest zwrócenie uwagi na istotne różnice pomiędzy tym co nazywamy: zarzadzaniem dokumentami,
USB firmware changing guide. Zmiana oprogramowania za przy użyciu połączenia USB. Changelog / Lista Zmian
1 / 9 Content list / Spis Treści 1. Hardware and software requirements, preparing device to upgrade Wymagania sprzętowe i programowe, przygotowanie urządzenia do aktualizacji 2. Installing drivers and
Mechatronika i inteligentne systemy produkcyjne. Modelowanie systemów mechatronicznych Platformy przetwarzania danych
Mechatronika i inteligentne systemy produkcyjne Modelowanie systemów mechatronicznych Platformy przetwarzania danych 1 Sterowanie procesem oparte na jego modelu u 1 (t) System rzeczywisty x(t) y(t) Tworzenie
SAFETY OF MACHINERY DETERMINATION OF PERFORMANCE LEVEL BEZPIECZEŃSTWO MASZYN WYZNACZANIE POZIOMU ZAPEWNIENIA BEZPIECZEŃSTWA
Journal of KONBiN 1(25)2013 ISSN 1895-8281 SAFETY OF MACHINERY DETERMINATION OF PERFORMANCE LEVEL BEZPIECZEŃSTWO MASZYN WYZNACZANIE POZIOMU ZAPEWNIENIA BEZPIECZEŃSTWA Leszek Kasprzyczak Instytut Technik
METO T D O Y O C O ENY J A J KOŚ O CI
Wykład 8. METODY OCENY JAKOŚCI I NARZĘDZIA JEJ KSZTAŁTOWANIA 1 1. Pomiar i ocena jakości: Pomiaru i oceny jakości dokonujemy na podstawie zbioru cech (mierzalnych i niemierzalnych). Działania w procesie
Wykład 4. Projektowanie. MIS n Inżynieria oprogramowania Październik 2014
Wykład 4 MIS-1-505-n Inżynieria oprogramowania Październik 2014 Metody Kazimierz Michalik Akademia Górniczo-Hutnicza im. S. Staszica w Krakowie 4.1 Agenda 1 2 3 Metody Metody 4 5 4.2 Implementacja Metody
Walidacja elementów systemów sterowania związanych z bezpieczeństwem jako krok do zapewnienia bezpieczeństwa użytkowania maszyn
Walidacja elementów systemów sterowania związanych z bezpieczeństwem jako krok do zapewnienia bezpieczeństwa użytkowania maszyn mgr inż. Tomasz Strawiński Zakład Techniki Bezpieczeństwa CIOP - PIB Walidacja
Modelowanie i analiza systemów informatycznych
Modelowanie i analiza systemów informatycznych MBSE/SysML Wykład 11 SYSMOD Wykorzystane materiały Budapest University of Technology and Economics, Department of Measurement and InformaJon Systems: The