Effizienter Sicherheitsnachweis für mechatronische Systeme:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Abschlussarbeit Buch |
Sprache: | German |
Veröffentlicht: |
Göttingen
Sierke
2010
|
Ausgabe: | 1. Aufl. |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | XIV, 163 S. Ill., graph. Darst. |
ISBN: | 9783868442939 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV037409587 | ||
003 | DE-604 | ||
005 | 20110527 | ||
007 | t | ||
008 | 110519s2010 gw ad|| m||| 00||| ger d | ||
015 | |a 11,A12 |2 dnb | ||
016 | 7 | |a 1008810843 |2 DE-101 | |
020 | |a 9783868442939 |c kart. : EUR 48.00 (DE) |9 978-3-86844-293-9 | ||
024 | 3 | |a 9783868442939 | |
035 | |a (OCoLC)725047364 | ||
035 | |a (DE-599)DNB1008810843 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c XA-DE-NI | ||
049 | |a DE-83 | ||
082 | 0 | |a 629.8315 |2 22/ger | |
084 | |a ZG 9270 |0 (DE-625)156055: |2 rvk | ||
084 | |a 621.3 |2 sdnb | ||
100 | 1 | |a Blum, Michael |d 1976- |e Verfasser |0 (DE-588)135921074 |4 aut | |
245 | 1 | 0 | |a Effizienter Sicherheitsnachweis für mechatronische Systeme |c Michael Blum |
250 | |a 1. Aufl. | ||
264 | 1 | |a Göttingen |b Sierke |c 2010 | |
300 | |a XIV, 163 S. |b Ill., graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
502 | |a Zugl.: München, Techn. Univ., Diss., 2010 | ||
650 | 0 | 7 | |a Markov-Modell |0 (DE-588)4168923-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Funktionssicherheit |0 (DE-588)4760707-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Anlagenbau |0 (DE-588)4120898-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Nachweis |0 (DE-588)4115334-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Mechatronik |0 (DE-588)4238812-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Automatisierungstechnik |0 (DE-588)4194567-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
689 | 0 | 0 | |a Anlagenbau |0 (DE-588)4120898-5 |D s |
689 | 0 | 1 | |a Automatisierungstechnik |0 (DE-588)4194567-0 |D s |
689 | 0 | 2 | |a Mechatronik |0 (DE-588)4238812-0 |D s |
689 | 0 | 3 | |a Funktionssicherheit |0 (DE-588)4760707-5 |D s |
689 | 0 | 4 | |a Nachweis |0 (DE-588)4115334-0 |D s |
689 | 0 | 5 | |a Modellierung |0 (DE-588)4170297-9 |D s |
689 | 0 | 6 | |a Markov-Modell |0 (DE-588)4168923-9 |D s |
689 | 0 | |5 DE-604 | |
856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022562083&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-022562083 |
Datensatz im Suchindex
_version_ | 1804145706303225856 |
---|---|
adam_text | IMAGE 1
INHALTSVERZEICHNIS
ABKUERZUNGEN UND SYMBOLE X
GLOSSAR XI
1 EINLEITUNG 1
1.1 MOTIVATION UND PROBLEMSTELLUNG 1
1.2 AUFBAU DER ARBEIT 2
2 SICHERHEIT IN DER MECHATRONIK 5
2.1 GRUNDLEGENDE BEGRIFFE 6
2.1.1 ZUVERLAESSIGKEIT ALS EIGENSCHAFT VON SYSTEMEN 6
2.1.2 ABGRENZUNG DER SICHERHEIT IM SINNE VON SAFETY UND SECURITY 8
2.1.3 SICHERE SYSTEME (SAFETY) 9
2.1.4 FUNKTIONALE SICHERHEIT IN MASCHINEN UND ANLAGEN 10
2.2 ENTWICKLUNG SICHERER SYSTEME IM MASCHINEN- UND ANLAGENBAU 11
2.2.1 DURCHFUEHREN DER RISIKOANALYSE 12
2.2.2 MASSNAHMEN DER RISIKOMINDERUNG 15
2.2.3 DOKUMENTATIONSPFLICHT DER HERSTELLER UND BETREIBER 15
2.3 SICHERHEIT KOMPLEXER MECHATRONISCHER SYSTEME 16
2.3.1 MERKMALE MECHATRONISCHER PRODUKTIONSANLAGEN 16
2.3.2 MECHATRONISCHE SYSTEME IM MASCHINEN- UND ANLAGENBAU 17
2.3.3 HERAUSFORDERUNGEN SICHERER MECHATRONISCHER SYSTEME 19
2.4 NACHWEIS DER SICHERHEIT 19
2.4.1 GESETZLICHE ANFORDERUNGEN 20
2.4.2 RELEVANTE NORMEN FUER SICHERE MASCHINEN 21
2.4.3 ANALYSEMETHODEN ZUR SICHERHEITSBEWERTUNG 24
2.5 AUFGABENSTELLUNG UND LOESUNGSANSATZ 26
2.5.1 SICHERHEITSMODELLIERUNG FUER MECHATRONISCHE SYSTEME 26
2.5.2 ZUSAMMENFASSUNG DER ANFORDERUNGEN 27
2.5.3 LOESUNGSANSATZ 29
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1008810843
DIGITALISIERT DURCH
IMAGE 2
INHALTSVERZEICHNIS
3 MODELLIERUNG VON SICHERHEITSFUNKTIONEN 31
3.1 VERTEILUNGSFUNKTIONEN ALS GRUNDLAGEN DER MODELLIERUNG 32
3.2 EINFACHE VERFAHREN ZUR BESTIMMUNG DER SICHERHEIT 34
3.2.1 PART COUNT VERFAHREN 35
3.2.2 VORBERECHNETE BEISPIELHAFTE LOESUNGEN 35
3.3 KOMBINATORISCHE VERFAHREN 36
3.3.1 ZUVERLAESSIGKEITSBLOCKDIAGRAMME 36
3.3.2 FEHLERBAUMANALYSE 38
3.4 MARKOV-MODELLIERUNG 40
3.4.1 KONTINUIERLICHE MARKOV-KETTEN 40
3.4.2 AUSWERTUNG VON MARKOV-KETTEN 43
3.4.3 MARKOV-KETTEN ALS ZUSTANDSGRAPHEN 43
3.4.4 ANSAETZE ZUR AUTOMATISIERTEN MODELLERSTELLUNG 47
3.5 VORHANDENE WERKZEUGUNTERSTUETZUNG 47
3.5.1 KOMMERZIELLE WERKZEUGE ZUR ZUVERLAESSIGKEITSBESTIMMUNG 48
3.5.2 WERKZEUGE ZUR BESTIMMUNG DER PFH 48
3.5.3 WERKZEUGGESTUETZTE ERFUELLUNG DER MASCHINENRICHTLINIE 51
3.6 ZUSAMMENFASSUNG UND BESTAETIGUNG DER AUFGABENSTELLUNG 51
4 GENERIERUNG DER MODELLE FUER DEN SICHERHEITSNACHWEIS 53
4.1 GROBKONZEPT DER AUTOMATISIERTEN MODELLGENERIERUNG 54
4.1.1 ANFORDERUNGEN AN DIE MODELLIERUNG 55
4.1.2 MODELLSPEZIFIKATION 56
4.1.3 MODELLAGGREGATION 56
4.2 KOMPONENTENMODELLE 57
4.2.1 KOMPONENTENEIGENSCHAFTEN 57
4.2.2 ZUSTANDSUEBERGAENGE 59
4.2.3 AUSPRAEGUNGEN DER KOMPONENTENMODELLE 60
4.2.4 GETROFFENE ANNAHMEN FUER DAS KOMPONENTENMODELL 62
4.3 ERSTELLUNG DES SYSTEMMODELLS 64
4.3.1 DARSTELLUNG DER KOMPONENTENMODELLE ALS MATRIX 64
4.3.2 VERKNUEPFUNG VON KOMPONENTENMODELLEN 65
4.4 BERUECKSICHTIGUNG VON TEST UND DIAGNOSE 67
4.4.1 BESTIMMUNG DER EFFEKTIVEN TESTRATE 68
4.4.2 AUSFALL EINES TESTS 69
4.4.3 VERAENDERUNG DER TESTHAEUFIGKEIT UND -ABDECKUNG 7
4.4.4 SICHERHEITSFUNKTIONEN MIT KONTINUIERLICHER ANFORDERUNG 72
4.5 SYSTEMEIGENSCHAFTEN 73
4.5.1 AUSFALL DER SICHERHEITSFUNKTION 73
4.5.2 PARALLELE REPARATUR 75
4.5.3 AUSFAELLE GEMEINSAMER URSACHE (COMMON CAUSE FAILURE) 75
IMAGE 3
INHALTSVERZEICHNIS
4.6 BESTIMMUNG DER SICHERHEITS- UND ZUVERLAESSIGKEITSKENNGROESSEN 79
4.6.1 PFH BESTIMMUNG 80
4.6.2 VERFUEGBARKEITSKENNGROESSEN 81
4.6.3 WEITERE KENNGROESSEN 81
4.7 MODELLREDUKTION 83
4.7.1 ENTFERNEN VON NICHT ERREICHBAREN ZUSTAENDEN 83
4.7.2 ZUSAMMENFASSEN VON ZUSTAENDEN 84
4.7.3 VERNACHLAESSIGUNG NICHT DOMINANTER RATEN 85
4.8 ZUSAMMENFASSUNG 87
5 FESTLEGEN VON GEEIGNETEN MUSTERN FUER DEN SICHERHEITSNACHWEIS 89
5.1 DAS VORGEHEN IM UEBERBLICK 90
5.1.1 GROBKONZEPT DES VORGEHENS 90
5.1.2 ROLLEN UND VERANTWORTLICHKEITEN 91
5.1.3 PROZESSBESCHREIBUNG 92
5.2 MUSTER ALS VORLAGE FUER SICHERHEITSFUNKTIONEN 95
5.2.1 INHALTE DER MUSTER 95
5.2.2 DETAILLIERUNGSTIEFE VON MUSTERN 100
5.3 GRAPHISCHE SPEZIFIKATIONSSPRACHE GRASSL 100
5.3.1 ANFORDERUNGEN AN EINE GRAPHISCHE MODELLIERUNG 100
5.3.2 SYNTAX DER GRASSL 103
5.3.3 SEMANTIK VON GRASSL 105
5.3.4 AUSWERTUNG DER GRAPHISCHEN SPEZIFIKATIONEN 107
5.4 ZUSAMMENFASSUNG 109
6 PROTOTYPISCHE WERKZEUGUMSETZUNG UND BEISPIELANWENDUNG 111
6.1 GESAMTKONZEPT DER WERKZEUGUNTERSTUETZUNG 112
6.1.1 ANFORDERUNGEN AN DIE WERKZEUGUNTERSTUETZUNG 112
6.1.2 AUFTEILUNG DER AUFGABEN 113
6.1.3 EINSCHRAENKUNGEN FUER DEN PROTOTYP 114
6.2 MODELLIERUNGSEDITOR 114
6.2.1 ANFORDERUNGEN AN DEN MODELLIERUNGSEDITOR 115
6.2.2 DATENMODELL 115
6.2.3 FUNKTIONALITAET DES MODELLIERUNGSEDITORS 119
6.2.4 AUFBAU DER BEDIENUNGSOBERFLAECHE 121
6.3 BERECHNUNGS-UND AUSWERTUNGSWERKZEUG 122
6.3.1 ANFORDERUNGEN 123
6.3.2 WERKZEUGAUSWAHL 123
6.3.3 AUFBAU UND FUNKTIONALITAET DER TOOL-KETTE 124
VII
IMAGE 4
INHALTSVERZEICHNIS
6.4 BEISPIEL: ZWEIKANALIGES PNEUMATISCHES REVERSIEREN EINER BEWEGUNG 127
6.4.1 SYSTEMBESCHREIBUNG DER STATION *PNEUMATISCHE PRESSE 127
6.4.2 BESCHREIBUNG DER SICHERHEITSFUNKTION 128
6.4.3 PARAMETRIERUNG UND BERECHNUNG DES MUSTERS 132
6.5 VALIDIERUNG DER GENERIERTEN MARKOV-MODELLE 134
6.6 ZUSAMMENFASSUNG UND BEWERTUNG 136
7 SCHLUSSBEMERKUNG 137
7.1 ZUSAMMENFASSUNG 137
7.2 AUSBLICK 138
LITERATURVERZEICHNIS 141
ABBILDUNGSVERZEICHNIS 148
TABELLENVERZEICHNIS 150
INDEX 151
ANHANG A: KRONECKER-PRODUKT UND -SUMME 151
ANHANG B: BESTIMMUNG DER EFFEKTIVEN TESTRATE 155
ANHANG C: VOLLSTAENDIGE SPEZIFIKATION DER BEISPIELFUNKTION 158
|
any_adam_object | 1 |
author | Blum, Michael 1976- |
author_GND | (DE-588)135921074 |
author_facet | Blum, Michael 1976- |
author_role | aut |
author_sort | Blum, Michael 1976- |
author_variant | m b mb |
building | Verbundindex |
bvnumber | BV037409587 |
classification_rvk | ZG 9270 |
ctrlnum | (OCoLC)725047364 (DE-599)DNB1008810843 |
dewey-full | 629.8315 |
dewey-hundreds | 600 - Technology (Applied sciences) |
dewey-ones | 629 - Other branches of engineering |
dewey-raw | 629.8315 |
dewey-search | 629.8315 |
dewey-sort | 3629.8315 |
dewey-tens | 620 - Engineering and allied operations |
discipline | Technik Elektrotechnik / Elektronik / Nachrichtentechnik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
edition | 1. Aufl. |
format | Thesis Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02251nam a2200565 c 4500</leader><controlfield tag="001">BV037409587</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110527 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110519s2010 gw ad|| m||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,A12</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1008810843</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783868442939</subfield><subfield code="c">kart. : EUR 48.00 (DE)</subfield><subfield code="9">978-3-86844-293-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783868442939</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)725047364</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1008810843</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-NI</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.8315</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZG 9270</subfield><subfield code="0">(DE-625)156055:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">621.3</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Blum, Michael</subfield><subfield code="d">1976-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)135921074</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Effizienter Sicherheitsnachweis für mechatronische Systeme</subfield><subfield code="c">Michael Blum</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Göttingen</subfield><subfield code="b">Sierke</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 163 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: München, Techn. Univ., Diss., 2010</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Markov-Modell</subfield><subfield code="0">(DE-588)4168923-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionssicherheit</subfield><subfield code="0">(DE-588)4760707-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Anlagenbau</subfield><subfield code="0">(DE-588)4120898-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nachweis</subfield><subfield code="0">(DE-588)4115334-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mechatronik</subfield><subfield code="0">(DE-588)4238812-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisierungstechnik</subfield><subfield code="0">(DE-588)4194567-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Anlagenbau</subfield><subfield code="0">(DE-588)4120898-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Automatisierungstechnik</subfield><subfield code="0">(DE-588)4194567-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Mechatronik</subfield><subfield code="0">(DE-588)4238812-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Funktionssicherheit</subfield><subfield code="0">(DE-588)4760707-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Nachweis</subfield><subfield code="0">(DE-588)4115334-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Markov-Modell</subfield><subfield code="0">(DE-588)4168923-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022562083&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022562083</subfield></datafield></record></collection> |
genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
genre_facet | Hochschulschrift |
id | DE-604.BV037409587 |
illustrated | Illustrated |
indexdate | 2024-07-09T23:23:43Z |
institution | BVB |
isbn | 9783868442939 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022562083 |
oclc_num | 725047364 |
open_access_boolean | |
owner | DE-83 |
owner_facet | DE-83 |
physical | XIV, 163 S. Ill., graph. Darst. |
publishDate | 2010 |
publishDateSearch | 2010 |
publishDateSort | 2010 |
publisher | Sierke |
record_format | marc |
spelling | Blum, Michael 1976- Verfasser (DE-588)135921074 aut Effizienter Sicherheitsnachweis für mechatronische Systeme Michael Blum 1. Aufl. Göttingen Sierke 2010 XIV, 163 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Zugl.: München, Techn. Univ., Diss., 2010 Markov-Modell (DE-588)4168923-9 gnd rswk-swf Funktionssicherheit (DE-588)4760707-5 gnd rswk-swf Anlagenbau (DE-588)4120898-5 gnd rswk-swf Nachweis (DE-588)4115334-0 gnd rswk-swf Mechatronik (DE-588)4238812-0 gnd rswk-swf Automatisierungstechnik (DE-588)4194567-0 gnd rswk-swf Modellierung (DE-588)4170297-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Anlagenbau (DE-588)4120898-5 s Automatisierungstechnik (DE-588)4194567-0 s Mechatronik (DE-588)4238812-0 s Funktionssicherheit (DE-588)4760707-5 s Nachweis (DE-588)4115334-0 s Modellierung (DE-588)4170297-9 s Markov-Modell (DE-588)4168923-9 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022562083&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Blum, Michael 1976- Effizienter Sicherheitsnachweis für mechatronische Systeme Markov-Modell (DE-588)4168923-9 gnd Funktionssicherheit (DE-588)4760707-5 gnd Anlagenbau (DE-588)4120898-5 gnd Nachweis (DE-588)4115334-0 gnd Mechatronik (DE-588)4238812-0 gnd Automatisierungstechnik (DE-588)4194567-0 gnd Modellierung (DE-588)4170297-9 gnd |
subject_GND | (DE-588)4168923-9 (DE-588)4760707-5 (DE-588)4120898-5 (DE-588)4115334-0 (DE-588)4238812-0 (DE-588)4194567-0 (DE-588)4170297-9 (DE-588)4113937-9 |
title | Effizienter Sicherheitsnachweis für mechatronische Systeme |
title_auth | Effizienter Sicherheitsnachweis für mechatronische Systeme |
title_exact_search | Effizienter Sicherheitsnachweis für mechatronische Systeme |
title_full | Effizienter Sicherheitsnachweis für mechatronische Systeme Michael Blum |
title_fullStr | Effizienter Sicherheitsnachweis für mechatronische Systeme Michael Blum |
title_full_unstemmed | Effizienter Sicherheitsnachweis für mechatronische Systeme Michael Blum |
title_short | Effizienter Sicherheitsnachweis für mechatronische Systeme |
title_sort | effizienter sicherheitsnachweis fur mechatronische systeme |
topic | Markov-Modell (DE-588)4168923-9 gnd Funktionssicherheit (DE-588)4760707-5 gnd Anlagenbau (DE-588)4120898-5 gnd Nachweis (DE-588)4115334-0 gnd Mechatronik (DE-588)4238812-0 gnd Automatisierungstechnik (DE-588)4194567-0 gnd Modellierung (DE-588)4170297-9 gnd |
topic_facet | Markov-Modell Funktionssicherheit Anlagenbau Nachweis Mechatronik Automatisierungstechnik Modellierung Hochschulschrift |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022562083&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT blummichael effizientersicherheitsnachweisfurmechatronischesysteme |