Sicherungskomponente für Autonome Mobile Serviceroboter
|
|
- Martin Michel
- vor 8 Jahren
- Abrufe
Transkript
1 Christoph Lüth: SAMS 1 [12] Sicherungskomponente für Autonome Mobile Serviceroboter Christoph Lüth Deutsches Forschungszentrum für Künstliche Intelligenz, Bremen SAMS Abschlusspräsentation, , Bremen
2 Einleitung Christoph Lüth: SAMS 2 [12]
3 Christoph Lüth: SAMS 3 [12] Ziel Dynamische Schutzfelder Zulassungsfähigkeit
4 Christoph Lüth: SAMS 3 [12] Ziel Dynamische Schutzfelder Zulassungsfähigkeit
5 Christoph Lüth: SAMS 3 [12] Ziel Dynamische Schutzfelder Zulassungsfähigkeit
6 Christoph Lüth: SAMS 3 [12] Ziel Dynamische Schutzfelder Zulassungsfähigkeit
7 Christoph Lüth: SAMS 4 [12] Normen und Standards Maschinenrichtlinie A-Normen B-Normen C-Normen Maschinenrichtlinie A-Normen Grundnormen EN B-Normen Gruppennormen B1: EN 298 B2: EN /2 C-Normen Produktnormen
8 Christoph Lüth: SAMS 5 [12] IEC DIN EN Functional safety of electrical/ electronic/programmable electronic safety-related systems Software: Teil 3 Risikoanalyse (Safety Integrity Level) SAMS: SIL 3 Fehlervermeidende Maßnahmen (Anhang C)
9 Christoph Lüth: SAMS 5 [12] IEC DIN EN Functional safety of electrical/ electronic/programmable electronic safety-related systems Software: Teil 3 Risikoanalyse (Safety Integrity Level) SAMS: SIL 3 Fehlervermeidende Maßnahmen (Anhang C) Vortrag Peerasan Supavatanakul
10 Christoph Lüth: SAMS 6 [12] Arbeitsplan Entwicklung und Formalisierung eines Bremsmodells Entwurf und Implementierung der Schutzfeldberechnung SIL 3 Konformität durch formale Verifikation Entwicklung einer Verifikationsumgebung Flankierendes Testen
11 Christoph Lüth: SAMS 7 [12] Anforderungen Schutzfeldberechnung Sicherheit Algorithmus verifizierbar sein Normengerechte Maßnahmen Verfügbarkeit Keine Anwendungsfälle ausschließen Anwendbarkeit Bremsmodell einfach bestimmbar
12 Christoph Lüth: SAMS 7 [12] Anforderungen Schutzfeldberechnung Sicherheit Algorithmus verifizierbar sein Normengerechte Maßnahmen Verfügbarkeit Keine Anwendungsfälle ausschließen Anwendbarkeit Bremsmodell einfach bestimmbar Vortrag Holger Täubig
13 Christoph Lüth: SAMS 8 [12] Formale Verifikation Testen findet Fehler kein Beweis Programm als formales Objekt Nachweis der Spezifikation durch Beweis in der Semantik
14 Christoph Lüth: SAMS 8 [12] Formale Verifikation Testen findet Fehler kein Beweis Programm als formales Objekt Nachweis der Spezifikation durch Beweis invortrag der Semantik Dennis Walter
15 Christoph Lüth: SAMS 9 [12] Verwendung eines Theorembeweisers Verwendung eines Theorembeweisers Prüft Korrektheit der Herleitung Keine Flüchtigskeitsfehler oder Ungenauigkeiten Isabelle: Weit verbreitet, große Anwendergemeinde Lange in Benutzung Verlässlich qua Systemarchitektur = λ β Isabelle HOL α
16 Christoph Lüth: SAMS 9 [12] Verwendung eines Theorembeweisers Verwendung eines Theorembeweisers Prüft Korrektheit der Herleitung Keine Flüchtigskeitsfehler oder Ungenauigkeiten Isabelle: Weit verbreitet, große Anwendergemeinde Lange in Benutzung Verlässlich qua Systemarchitektur = λ β Isabelle HOL α Vortrag Christoph Hertzberg
17 Christoph Lüth: SAMS 10 [12] Warum Testen? Arithmetischer Überlauf Numerische Ungenauigkeiten Sinnvolle Arbeitsteilung
18 Christoph Lüth: SAMS 10 [12] Warum Testen? Arithmetischer Überlauf Numerische Ungenauigkeiten Sinnvolle Arbeitsteilung Vortrag Elena Vorobev
19 Christoph Lüth: SAMS 11 [12] Resultate Neuartiges Bremsmodell Zertifizierte Implementation Verifikationsumgebung für MISRA-C
20 Christoph Lüth: SAMS 12 [12] Ausblick Industrielle Verwertung Weitere Zertifikationen Projekt IGEL Weitere Verifikation Bücherei korrekt bewiesener Funktionen Weitere Dimensionen SAMS-3D
21 Christoph Lüth: SAMS 12 [12] Ausblick Industrielle Verwertung Vortrag Stefan Mohr Weitere Zertifikationen Projekt IGEL Weitere Verifikation Bücherei korrekt bewiesener Funktionen Weitere Dimensionen SAMS-3D
22 Christoph Lüth: SAMS 12 [12] Ausblick Industrielle Verwertung Vortrag Stefan Mohr Weitere Zertifikationen Projekt IGEL Weitere Verifikation Bücherei korrekt bewiesener Funktionen Weitere Dimensionen SAMS-3D Vortrag Udo Frese
Durchgehender Einsatz von formaler Modellierung und Beweis als Mittel zur Zertifizierung sicherheitsrelevanter Software
Christoph Lüth: SAMS 1 safetronic, 04.11.08, München Durchgehender Einsatz von formaler Modellierung und Beweis als Mittel zur Zertifizierung sicherheitsrelevanter Software Christoph Lüth Deutsches Forschungszentrum
MehrProzessanforderungen bei der Entwicklung von sicherheitsrelevanten Funktionen. Tina Heimer, Carmeq GmbH
Prozessanforderungen bei der Entwicklung von sicherheitsrelevanten Funktionen Tina Heimer, Carmeq GmbH Carmeq GmbH Carmeq konzipiert, entwickelt und integriert softwarebestimmte Systeme für die Automobilindustrie.
Mehr3D Kollisionsvermeidung in Bewegung durch Echtzeitberechnung aller überstrichenen Volumen
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH 3D Kollisionsvermeidung in Bewegung durch Echtzeitberechnung aller überstrichenen Volumen Holger Täubig Udo Frese (DFKI Bremen) Augsburg, 26.
MehrSafer Software Formale Methoden für ISO26262
Safer Software Formale Methoden für ISO26262 Dr. Stefan Gulan COC Systems Engineering Functional Safety Entwicklung Was Wie Wie genau Anforderungen Design Produkt Seite 3 Entwicklung nach ISO26262 Funktionale
MehrAutomatisierte Logik und Programmierung II
Automatisierte Logik und Programmierung II Sommersemester 2009 Christoph Kreitz Theoretische Informatik, Raum 1.18, Telephon 3060 kreitz@cs.uni-potsdam.de http://www.cs.uni-potsdam.de/ti/lehre/alupii.htm
MehrNüchtern betrachtet führt jegliche Wissenschaft lediglich zum vorläufig letzten Irrtum. (Kafka)
Nüchtern betrachtet führt jegliche Wissenschaft lediglich zum vorläufig letzten Irrtum. (Kafka) Funktionale Sicherheit bei baurechtlich vorgeschriebenen sicherheitstechnischen Anlagen Folie: 1 Funktionale
MehrSAMS 1 Sicherheitskomponente für Autonome Mobile Serviceroboter
SAMS 1 Sicherheitskomponente für Autonome Mobile Serviceroboter Dr. Christoph Lüth, Dr. Udo Frese, Holger Täubig, Dennis Walter Deutsches Forschungszentrum für Künstliche Intelligenz, Fachbereich Sichere
MehrPräsentation DIN-EN 81-1/A1: 2005 DIN-EN 81-2/A1: 2005 (PESSRAL) 15. Juni 2008 VI. Schwelmer Liftsymposium
Präsentation DIN-EN 81-1/A1: 2005 DIN-EN 81-2/A1: 2005 (PESSRAL) 15. Juni 2008 VI. Schwelmer Liftsymposium PESSRAL: Programmable Electronic Systems in Safety Related Applications for Lifts (Programmierbare
MehrWHITEPAPER ÄNDERUNGEN DER IEC 61496-1, BZW. EN 61496-1 UND DEREN AUSWIRKUNGEN AUF DEN EINSATZ BERÜHRUNGSLOS WIRKENDER SCHUTZEINRICHTUNGEN
WHITEPAPER ÄNDERUNGEN DER IEC 61496-1, BZW. EN 61496-1 UND DEREN AUSWIRKUNGEN AUF DEN EINSATZ BERÜHRUNGSLOS WIRKENDER SCHUTZEINRICHTUNGEN 2014-11 AUTOREN Hans-Jörg Stubenrauch Manager Product Marketing
MehrFormale Methoden: Ein Überblick
Formale Methoden, Heinrich Rust, Lehrstuhl für Software-Systemtechnik, BTU Cottbus, 2004-09-16, p. 1 Formale Methoden: Ein Überblick Heinrich Rust Lehrstuhl für Software-Systemtechnik BTU Cottbus 2004-09-16
MehrAngepasste Software Standards für DLR- Eigenentwicklungen - Die DLR Software Basisstandards -
Angepasste Software Standards für DLR- Eigenentwicklungen - Die DLR Software Basisstandards - Anita Herrmann Braunschweig, 10. Nov 2004 Ausgangspunkte Im DLR werden nach vorsichtigen
MehrPrüftechnische Umsetzung der Anforderungen zur Validierung von sicherheitsrelevanter Automobilelektronik
Prüftechnische Umsetzung der Anforderungen zur Validierung von sicherheitsrelevanter Automobilelektronik Referent Klaus Nicolai Volkswagen AG Business Unit Braunschweig Gliederung Funktionale Sicherheit
MehrTestdokumentation nach Norm IEC 61508. Volkswagen AG, Bussines Unit Braunschweig
Testdokumentation nach Norm IEC 61508 mit Hilfe des TDM Formats Klaus Nicolai Volkswagen AG, Bussines Unit Braunschweig Gliederung Funktionale Sicherheit Quellen technischer Anforderungen Baugruppentest
MehrSicherheitsfunktionen bei Maschinen und Medizinprodukten? Ein Vergleich.
Sicherheitsfunktionen bei Maschinen und Medizinprodukten? Ein Vergleich. Embedded goes medical, 29.09.2010 Birgit Stehlik, Jens-Uwe Schuster infoteam AG 1 Agenda» Beispiel: Kritische Bewegung» Normative
MehrRegulatorische Anforderungen an die Entwicklung von Medizinprodukten
Regulatorische Anforderungen an die Entwicklung von Medizinprodukten Alexander Fink, Metecon GmbH Institut für Medizintechnik Reutlingen University Alteburgstraße 150 D-72762 Reutlingen Reutlingen, 04.03.2015
MehrEin SIL-3-konformes Werkzeug zur formalen Verifikation von C-Programmen
D. Walter: SAMS Verifikationsumgebung 1 [16] Ein SIL-3-konformes Werkzeug zur formalen Verifikation von C-Programmen Dennis Walter Deutsches Forschungszentrum für Künstliche Intelligenz, Bremen Universität
MehrPraxisgerechte Validierung von Sicherheitsapplikationen
Praxisgerechte Validierung von Sicherheitsapplikationen Dr. Michael Huelke, FB Unfallverhütung Produktsicherheit, BGIA Institut für Arbeitsschutz der Deutschen Gesetzlichen Unfallversicherung, Sankt Augustin
MehrQualitätssicherung. Was ist Qualität?
Ein Überblick Methoden und Werkzeuge zur Softwareproduktion Was ist Qualität? "Als Qualität eines Gegenstandes bezeichnen wir die Gesamtheit seiner charakteristischen Eigenschaften" Hesse et al. 2 Was
MehrFachtagung Safety in Transportation Leitfaden für die IT Sicherheit auf Grundlage IEC 62443
Fachtagung Safety in Transportation Leitfaden für die IT Sicherheit auf Grundlage IEC 62443 DKE UK 351.3.7 Hans-Hermann Bock 1 Braunschweig, 06.11.2013 Anwendungsbereich der Vornorm (1) Diese Vornorm ist
MehrFunktionale Sicherheit
Funktionale Sicherheit Funktionale Sicherheit von Medizingeräten Medical Device Day 21. Juni 2012, Erlangen Matthias Hölzer-Klüpfel Risiko und Sicherheit Wann ist Software ein Medizinprodukt? Sicherheit
MehrModellbasierter Entwurf sicherheitskritischer Anwendungen. Von Moritz Borgmann Für VL Eingebettete Systeme Sommer Semester 2009
Modellbasierter Entwurf sicherheitskritischer Anwendungen Von Moritz Borgmann Für VL Eingebettete Systeme Sommer Semester 2009 Einführung Einführung Modellbasierter Entwurf und der IEC 61508 Ausblick Zusammenfassung,
MehrÜberblick zu den Sicherheitsnormen
Überblick zu den Sicherheitsnormen Maschinenrichtlinie 2006/42/EG Panasonic Electric Works Europe AG Maschinensicherheit Die EU - Richtlinien für Maschinen- und Gerätehersteller Maschinenrichtlinie 2006/42/EG
MehrSammlung zu. Definition Betriebsbewährtheit. Neue Generation Signaltechnik - NeGSt. NeGSt. AP 2100, Arbeitsgruppe 1
Neue Generation Signaltechnik - NeGSt Sammlung zu Definition Betriebsbewährtheit NeGSt AP 2100, Arbeitsgruppe 1 Anerkannte Regeln der Technik 31. Juli 2013 Datei: NeGSt_ARdT_Sammlung_Betriebsbewaehrt_V1-00_20130731
MehrFunktionale Sicherheit in der Praxis
Peter Löw Roland Pabst Erwin Petry Funktionale Sicherheit in der Praxis Anwendung von DIN EN 61508 und ISO/DIS 26262 bei der Entwicklung von Serienprodukten dpunkt.verlag vii Inhaltsverzeichnis 1 Einleitung
MehrRechnergestützter VLSI-Entwurf
Schaltungsanalyse Dipl.-Ing. e-mail: rgerndt@iam.de Seite ANA/1 Analyse - Übersicht Überprüfen des Entwurfs auf: - Funktion - Zeitverhalten - Kosten - Leistungsaufnahme - EMV -... Vergleich der Spezifikation
MehrFunctional Safety. Systems Engineering als Schlüsseldisziplin in Projekten mit funktionaler Sicherheit
Systems Engineering als Schlüsseldisziplin in Projekten mit funktionaler Sicherheit Mittelstraße 25/1 88471 Laupheim Fon: 07392-9393525 Fax: 07392-9393526 Mailto: tf@thomasfranzen.com Beispiele nicht sicherer
MehrEinführung in das Software-Qualitätsmanagement
Roland Petrasch Einführung in das Software-Qualitätsmanagement ^oyoc; 0 Einleitung 9 1 Qualitätsmanagement in der Software-Entwicklung 11 1.1 Entwicklung von Software-Produkten 11 1.1.1 Begriffsbestimmung
MehrAusblick: Kollisionsvermeidung im dreidimensionalen Raum
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH Ausblick: Kollisionsvermeidung im dreidimensionalen Raum Udo Frese Holger Täubig Sichere Kognitive Systeme Motivation SAMS Algorithmus in 3D
MehrKorrektheitsbegriffe für modellbasierte Codegeneratoren
Korrektheitsbegriffe für modellbasierte Codegeneratoren Institut für Informatik Martin-Luther-Universität Halle-Wittenberg 9.IT 2 22.06.2006 Dr. Mirko Conrad The MathWorks München Prof. Dr. Wolf Zimmermann
MehrQualitätssicherung von Software (SWQS)
Qualitätssicherung von Software (SWQS) Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin und Fraunhofer FOKUS 20.6.2013: Sicherheitsnormen Folie 2 Fragen zur Wiederholung Wie funktioniert ein
MehrQualitätsmanagementsysteme im Gesundheitswesen
Paul Rudnick Qualitätsmanagementsysteme im Gesundheitswesen Anforderungen für die Zertifizierung von Medizinprodukten Diplomica Verlag Paul Rudnick Qualitätsmanagementsysteme im Gesundheitswesen: Anforderungen
MehrSicherheit bei lernenden Robotern
15. Januar 2009 Sicherheitsbegriff Herangehensweisen Beschreibung des Begriffs Sicherheit Sicherheit ist... Schutz vor Bedrohung und Schaden Zuverlässigkeit Safety: Schutz der Umgebung (accident prevention)
MehrIEC 62061, ISO 13849 und wie geht es weiter?
IEC 62061, ISO 13849 und wie geht es weiter? Thomas.Boemer@dguv.de FB Unfallverhütung/Produktsicherheit Normensituation: Funktionale Sicherheit Maschinenindustrie Prozessindustrie Elektrik Hydraulik Pneumatik
MehrFormale Modellierung Vorlesung 13 vom : Rückblick und Ausblick
Rev. 2226 1 [19] Formale Modellierung Vorlesung 13 vom 01.07.13: Rückblick und Ausblick Serge Autexier & Christoph Lüth Universität Bremen Sommersemester 2013 2 [19] Fahrplan Teil I: Formale Logik Teil
MehrFrequenzbereich Störaussendung bis DC/10 Hz bis 7 GHz ( 18 GHz G-TEM möglich )
Frequenzbereich Störaussendung bis DC/10 Hz bis 7 GHz ( 18 GHz G-TEM möglich ) Frequenzbereich - Störfestigkeit 0,15 3 GHz / Maximaler Pegel 30 V/m Grundnormen - Störfestigkeit: Prüfung nach IEC 61000-4-2
MehrEinführung Spezifikation von Software-Systemen
Semesterprojekt Entwicklung von Automatik-Funktionen in einer Fahrsimulation WS 2012/13 Einführung Spezifikation von Software-Systemen 29. Oktober 2012 Semesterprojekt Entwicklung von Automatik-Funktionen
MehrWeiterentwicklung der EN 50128 (VDE 0831-128) 128) Umsetzung im Bahnbereich
Weiterentwicklung der EN 50128 (VDE 0831-128) 128) Umsetzung im Bahnbereich Andreas Armbrecht Siemens AG Darmstadt, 01. 02. Dezember 2009 Business Unit Rail Automation Systeme der Eisenbahnautomatisierung
Mehr4.8! Integration der Software-Komponenten
4.8! Integration der n Analyse der Benutzeranforderungen & Spezifikation der logischen Systemarchitektur zur System- und Software- Entwicklung Anwendungsfälle Testergebnisse Akzeptanztest & Systemtest
MehrSoftware-Entwicklungsprozesse zertifizieren
VDE-MedTech Tutorial Software-Entwicklungsprozesse zertifizieren Dipl.-Ing. Michael Bothe, MBA VDE Prüf- und Zertifizierungsinstitut GmbH BMT 2013 im Grazer Kongress 19.09.2013, 10:00-10:30 Uhr, Konferenzraum
MehrFunktionale Sicherheit Testing unter
Funktionale Sicherheit Testing unter den Bedingungen der Safety Integrity Levels Präsentation auf dem Neu-Ulmer Test-Engineering Day Sebastian Stiemke, MissingLinkElectronics, Neu-Ulm 1 Inhalt Idee hinter
MehrErweiterte Vorgehensmodelle für die Entwicklung echtzeitfähiger, hochintegrierter, multifunktionaler Steuergeräte-Plattformen
Erweiterte Vorgehensmodelle für die Entwicklung echtzeitfähiger, hochintegrierter, multifunktionaler Steuergeräte-Plattformen Andreas Baudisch, AUDI AG Dr. Kai Richter, Symtavision GmbH Stefan Sollmann,
MehrProduct Line Engineering (PLE)
Product Line Engineering (PLE) Produktlinienentwicklung Von Christoph Kuberczyk Christoph Kuberczyk, SE in der Wissenschaft 2015, Product Line Engineering 1 Gliederung 1. Was ist PLE? 2. Motivation 3.
MehrMobile Learning ::: Bildung in Happchen?
Mobile Learning ::: Bildung in Happchen? Prof. Dr. habil. Christoph Igel Universität des Saarlandes Shanghai Jiao Tong University Deutsches Forschungszentrum für Künstliche Intelligenz Mobile Learning
MehrFormale Entwicklung objektorientierter Software
Formale Entwicklung objektorientierter Software Praktikum im Wintersemester 2007/2008 Prof. P.H. Schmitt, Dr. Thomas Käufl, Christian Engel, Benjamin Weiß 24. Oktober 2007 Formale Entwicklung objektorientierter
MehrProgram = Logic + Control
Program = Logic + Control Prozedurale/imperative Sprachen: Abläufe formulieren Computer führt aus von-neumann-maschine Idee von deklarativen/logischen/funktionalen Programmiersprachen: Zusammenhänge formulieren
MehrNeue Sicherheitsanforderungen für Feuerungen und deren praktische Umsetzung (EN 746 Ausgabe 2010)
Neue Sicherheitsanforderungen für Feuerungen und deren praktische Umsetzung (EN 746 Ausgabe 2010) Symposium Anlagensicherheit 2011 Dipl.-Ing. Rudolf PICHLER Thema (informativ) EN 746-1: : Allgemeine Sicherheitsanforderungen
MehrModellierung verteilter Systeme Grundlagen der Programm und Systementwicklung
Modellierung verteilter Systeme Grundlagen der Programm und Systementwicklung Wintersemester 2009/10 Prof. Dr. Dr. h.c. Manfred Broy Unter Mitarbeit von Dr. K. Spies, Dr. M. Spichkova, L. Heinemann, P.
MehrEntwurf. Anwendungsbeginn E DIN EN 62304 (VDE 0750-101):2013-10. Anwendungsbeginn dieser Norm ist...
Anwendungsbeginn Anwendungsbeginn dieser Norm ist.... Inhalt Einführung... 13 1 Anwendungsbereich... 16 1.1 *Zweck... 16 1.2 *Anwendungsbereich... 16 1.3 Beziehung zu anderen Normen... 16 1.4 Einhaltung...
MehrOntologiebasierte Entwicklung von Anforderungsspezifikationen im Automotive-Umfeld Mathias Schraps, 25.11.2011
Ontologiebasierte Entwicklung von Anforderungsspezifikationen im Automotive-Umfeld Agenda Inhalt Audi Electronics Venture GmbH Motivation und Kontext Aktuelle Fragestellung Lösungsansatz Zusammenfassung
MehrEntwicklung eines korrekten Übersetzers
Entwicklung eines korrekten Übersetzers für eine funktionale Programmiersprache im Theorembeweiser Coq Thomas Strathmann 14.01.2011 Gliederung 1 Einleitung
MehrWeltenwanderer. eine Toolkette als Wegweiser
Weltenwanderer eine Toolkette als Wegweiser About b-quality 2 Verschiedene Welten Projekt-Welt Projektlenkung Entwicklung Fortschritt/Fehler Regel-Welt Normen Gesetze Produkt-Welt Features Form 3 Krieg
MehrInformationsmanagement in verteilten ERP-Landschaften auf Basis von TransConnect. 16.09.2010 Informationsmanagement mit TransConnect
Informationsmanagement in verteilten ERP-Landschaften auf Basis von TransConnect Folie 1 rzw IBeeS GmbH Hersteller einer eigenen ERP Lösung 1990 gegründet Hauptsitz in Dresden Erfahrung aus ca. 300 ERP
MehrÜbung 6: Feinentwurf. Prof. Dr. Dr. h.c. Manfred Broy Dr. Herbert Ehler, Martin Feilkas 6. Juli 2006 Bernd Spanfelner, Sebastian Winter
Prof. Dr. Dr. h.c. Manfred Broy Sommersemester Dr. Herbert Ehler, Martin Feilkas 6. Juli 2006 Bernd Spanfelner, Sebastian Winter Einführung in die Softwaretechnik Übung 6: Feinentwurf Aufgabe 17: Entwurfsmuster
MehrFunktionale Sicherheit IEC 61508 SIL 2
GESTRA GESTRA Steam Systems Funktionale Sicherheit IEC 61508 SIL 2 DE Deutsch Zusatzbetriebsanleitung 808908-00 für die Geräte Niveauelektrode NRG 16-40, NRG 17-40, NRG 19-40, NRG 111-40 Niveauelektrode
MehrÜbersicht. Normung von Software in der Medizin. Vorstellung der DKE. Vorstellung der Normungsgremien. Normen im Bereich Software.
Normung von Software in der Medizin Übersicht Vorstellung der DKE Vorstellung der Normungsgremien Normen im Bereich Software Zukunftstrends 20.09.2013/1 Vorstellung der DKE Gemeinnütziger Verband ohne
MehrMedizintechnik und Informationstechnologie im Krankenhaus. Dr. Andreas Zimolong
Medizintechnik und Informationstechnologie im Krankenhaus Dr. Andreas Zimolong DIN EN 80001-1:2011 Anwendung des Risikomanagements für IT-Netzwerke, die Medizinprodukte beinhalten Teil 1: Aufgaben, Verantwortlichkeiten
MehrMarkus Pister (Autor) Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie
Markus Pister (Autor) Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie https://cuvillier.de/de/shop/publications/1145 Copyright: Cuvillier Verlag, Inhaberin
MehrModellbasierte Software- Entwicklung eingebetteter Systeme
Modellbasierte Software- Entwicklung eingebetteter Systeme Prof. Dr. Holger Schlingloff Institut für Informatik der Humboldt Universität und Fraunhofer Institut für offene Kommunikationssysteme FOKUS Folie
MehrAlternative Organisationsformen für das Qualitätsmanagement: Totales Qualitätsmanagement (TQM)
Prüforganisation Organisation der Qualitätssicherung und des Qualitätsmanagements Personelle Trennung von Entwicklung und QS Dokumentation und Auswertung der Prüfung Standards Bedeutung von Standards Prozessorientierte
MehrUniversität Paderborn Die Universität der Informationsgesellschaft. Validierung und Verifikation (inkl. Testen, Model-Checking, Theorem Proving)
Universität Paderborn Die Universität der Informationsgesellschaft Analyse, Entwurf und Implementierung zuverlässiger Software und (inkl., Model-Checking, Theorem Proving) Torsten Bresser torbre@uni-paderborn.de
MehrFoMSESS Position Statement
FoMSESS Position Statement Jan Jürjens Software & Systems Engineering Informatics, TU Munich Germany juerjens@in.tum.de http://www.jurjens.de/jan GI FoMSESS: Formale Methoden und Software Engineering Fundament
MehrSoftwaregestützte Risikobeurteilung nach Maschinenrichtlinie 2006/42/EG
Softwaregestützte Risikobeurteilung nach Maschinenrichtlinie 2006/42/EG FV9 tekom Frühjahrstagung 2014, Augsburg Jörg Ertelt, HelpDesign.eu HelpDesign-technische & elektronische dokumentation Über diesen
MehrSicherheit und automatisches Fahren
Seminar Sommersemester 2015: Automobile Systeme in der Automatisierung Prof. Dr. Dieter Zöbel, Universität Koblenz-Landau, FB Informatik Sicherheit und automatisches Fahren Patrick Schmitz Eingereicht:
MehrSicherheitstechnische Qualifizierung (SQ), Version 10.0 Security Assurance Level SEAL-5
Die Zertifizierungsstelle der TÜV Informationstechnik GmbH bescheinigt hiermit dem Unternehmen e-netz Südhessen GmbH & Co. KG Dornheimer Weg 24 64293 Darmstadt für das IT System Querverbundleitstelle Darmstadt
MehrModulbeschreibung: Master of Education Informatik
Modulbeschreibung: Master of Education Informatik Die Gewichtung der Einzelnoten bezieht sich im Folgenden auf eine Gesamtpunktzahl von 34 zu erbringenden Leistungspunkten. Nichtbenotete Leistungspunkte
MehrProjektgruppe Algorithmen für die Cloud-unterstützte 3-D-Darstellung auf mobilen Endgeräten
Projektgruppe Algorithmen für die Cloud-unterstützte 3-D-Darstellung auf mobilen Endgeräten WS 2011/2012 bis SS 2012 11. Juli 2011 Benjamin Eikel Matthias Fischer Projektgruppe Algorithmen für die Cloud-unterstützte
MehrEs war einmal... "StudyING: Welten bewegen - Welten gestalten"
Computer, generiere! Christian Schröder Fachbereich Elektrotechnik und Informationstechnik Fachhochschule Bielefeld christian.schroeder@fh-bielefeld.de Es war einmal... Es war einmal... ein Bauvorhaben!
MehrQualitätsmanagement. Grundlagen
Grundlagen Historie: Mit industriellen Massenproduktion erforderlich geworden (Automobilindustrie, Anfang des letzten Jahrhunderts); Qualitätsmanagement zunächst nur in der Fertigung Mitte des letzten
MehrUni Themenabend - Technisches QM
Uni Themenabend - Technisches QM Qualität prüfen Fraunhofer-Institut für Zerstörungsfreie Prüfverfahren IZFP Kontakt: request@izfp.fraunhofer.de Vision: Null-Fehler-Produktion Null-Fehler-Produktion ist
MehrNiederspannungsrichtlinie 2014/35/EU Änderungen und Anforderungen. EU-Beratungsstelle der TÜV Rheinland Consulting
Niederspannungsrichtlinie 2014/35/EU Änderungen und Anforderungen Stefan Rost, 24.11.2015, Leipzig 1 EU-Beratungsstelle der TÜV Rheinland Consulting TÜV Rheinland Consulting GmbH EU-Beratungsstelle Tillystrasse
MehrFunktionale Sicherheit bei Betriebsmitteln
Josef Winkelmann CE-Kennzeichnung und Funktionale Sicherheit 16. Arbeitsschutztag für Mittel- und Oberfranken Bad Staffelstein, 20. September 2017 Sep-17 / 2 / JW Was ist Funktionale Sicherheit? die wichtigsten
MehrVorlesung Embedded Software-Engineering im Bereich Automotive
Vorlesung Embedded Software-Engineering im Bereich Automotive Technische Universität Dresden, Fakultät Informatik, Professur Softwaretechnologie WS 2008/2009 Dr. rer. nat. Bernhard Hohlfeld bernhard.hohlfeld@daad-alumni.de
MehrUniper Anlagenservice GmbH
Uniper Anlagenservice GmbH SIL - Seminar Grundlagen der funktionalen Sicherheit Fachseminar für die praktische Anwendung 26. - 27. Sep. 2017 Hotel Courtyard by Marriott / Gelsenkirchen SIL - Fachtagung
MehrProSafe-RS sicherheitsgerichtete Technik
ProSafe-RS sicherheitsgerichtete Technik Hochverfügbare Technologie des Yokogawa PLS Die Yokogawa-Leitsysteme CENTUM CS und CS 3000 sind bereits seit über zehn Jahren auf dem Markt und kommen in vielen
MehrBenötigen wir einen Certified Maintainer?
Benötigen wir einen Certified Maintainer? Stefan Opferkuch Universität Stuttgart Institut für technologie, Abteilung Engineering Bestehende Qualifizierungsprogramme Qualifizierungsprogramme existieren
MehrAnlage zur Akkreditierungsurkunde D ZE 12007 01 06
Deutsche Akkreditierungsstelle GmbH Anlage zur Akkreditierungsurkunde D ZE 12007 01 06 nach DIN EN ISO/IEC 17065:2013 Gültigkeitsdauer: 06.05.2014 bis 05.05.2019 Ausstellungsdatum: 06.05.2014 Urkundeninhaber:
MehrMethodische und konzeptionelle Hinweise zur Entwicklung einer IVS-Rahmenarchitektur Straße für Deutschland
Methodische und konzeptionelle Hinweise zur Entwicklung einer IVS-Rahmenarchitektur Straße für Deutschland Ergänzende Anlagen Fachbereich Bauingenieurwesen und Geodäsie Fachgebiet Verkehrsplanung und Verkehrstechnik
MehrUniversität Stuttgart Institut für Automatisierungstechnik und Softwaresysteme Prof. Dr.-Ing. M. Weyrich. Softwaretechnik I
Universität Stuttgart Institut für Automatisierungstechnik und Softwaresysteme Prof. Dr.-Ing. M. Weyrich Softwaretechnik I Wintersemester 2015 / 2016 www.ias.uni-stuttgart.de/st1 st1@ias.uni-stuttgart.de
MehrDigitale Qualitätsmanagement-Systeme im Rettungsdienst -Aktueller Stand-
Digitale Qualitätsmanagement-Systeme im Rettungsdienst -Aktueller Stand- fast jede Rettungswache hat ihre eigene (auch wenn zertifizierte) QM-Vorgänge bei Gesetzesänderung muss jedes System an die neue
MehrSeminar Programmierung und Reaktive Systeme
Seminar Programmierung und Reaktive Systeme Qualitätssicherung Softwareintensiver Eingebetteter Systeme Betreuer: Sascha Lity Kick-Off Meeting 03.04.2013 1 Eingebettete Systeme Computersysteme (Software
MehrPLATO AG Funktionales Sicherheitsprojekt & System-FMEA
PLATO AG Funktionales Sicherheitsprojekt & System-FMEA Umsetzung in einem Datenmodell Claudia Lange PLATO AG Die PLATO AG auf einem Blick Software- und Dienstleistungsunternehmen mit Methoden- und Softwarelösungen
MehrSiMiS-Kurzcheck zur Informationssicherheit nach ISO/IEC 27001 bzw. Datenschutz nach Bundesdatenschutzgesetz (BDSG)
Unternehmen: Branche: Ansprechpartner: Position: Straße: PLZ / Ort: Tel.: Mail: Website: Kontaktdaten Datenschutzbeauftragter: Fax: Sicherheitspolitik des Unternehmens JA NEIN 01. Besteht eine verbindliche
MehrHD-Kamerasoftware Version 4.1.0
Technische Mitteilung HD-Kamerasoftware Version 4.1.0 DF4500HD DDF4500HDV DF4900HD DDF4900HDV Deutsch Version 1.0 / 2010-07-20 1 Zusammenfassung Dieses Dokument beinhaltet Informationen über Neuerungen
MehrOSEK-OS. Oliver Botschkowski. oliver.botschkowski@udo.edu. PG AutoLab Seminarwochenende 21.-23. Oktober 2007. AutoLab
OSEK-OS Oliver Botschkowski oliver.botschkowski@udo.edu PG Seminarwochenende 21.-23. Oktober 2007 1 Überblick Einleitung Motivation Ziele Vorteile Einführung in OSEK-OS Architektur Task Management Interrupt
MehrAutomation, Software und Informationstechnologie
Automation, Software und Informationstechnologie Stellungnahme zu einem Konzept des Bussystems der Firma RK TEC Rauchklappen- Steuerungssysteme GmbH & Co. KG zur Ansteuerung von Entrauchungsklappen Bericht-Nr.:
MehrProgramme um Gesamtsysteme zu berechnen
Programme um Gesamtsysteme zu berechnen Bewertung von Sicherheitsfunktionen Thomas Kramer-Wolf Abgrenzung IEC 61508 ISO 13849-1 / IEC 62061 IEC 61508 Beliebige Strukturen Auf Bauteileebene >100 Elemente
MehrDie Modellierung der Robotik-Domäne von SAMS im Theorembeweiser Isabelle
C. Hertzberg: Modellierung der SAMS-Robotik-Domäne 1 [12] Die Modellierung der Robotik-Domäne von SAMS im Theorembeweiser Isabelle Christoph Hertzberg Universität Bremen Fachbereich 3 Mathematik und Informatik
MehrEinleitung. Einleitung
Einleitung Einleitung Kapitel 1 definiert und beschreibt Anforderungen an medizinische Netzwerke und an vernetzte medizinische Systeme, die mittlerweile in vielfältiger Form in Krankenhäusern zu finden
MehrEmbedded Systems/Sensorik in Logistik und Automation
Embedded Systems/Sensorik in Logistik und Automation Prof. Dr.-Ing. Wolfgang Nebel OFFIS - Institut für Informatik Oldenburg Auftaktkonferenz Autonomik, Berlin, 17.5.2010 2 Logistik und Automation heute
MehrErfahrungen mit den CENELEC-Normen Probleme und Lösungsansätze
Erfahrungen mit den CENELEC-Normen Probleme und Lösungsansätze Dipl.-Math. Stefanie Schwartz, DLR Erfahrungen mit den CENELEC-Normen > 8. Oktober 2008 > Folie 1 Überblick Projekt Neue Konzepte für die
Mehrmit der neuen Sicherheitsnorm EN ISO 13849-1, welche die EN 954-1 abgelöst hat, wird häufig die Frage gestellt:
SICK AG Postfach 310 79177 Waldkirch Deutschland Waldkirch, 09. März 2012 Auswahl optoelektronischer Schutzeinrichtungen Funktionale Sicherheit und optische Leistungsmerkmale Sehr geehrte Damen und Herren,
MehrMichael Kieviet (innotec GmbH): IEC 61508 Umfassende Sicherheit für Maschinen und Anlagen
Michael Kieviet (innotec GmbH): IEC 61508 Umfassende Sicherheit für Maschinen und Anlagen Sichere Produkte Sichere Organisation Jeder, der sich mit elektrischer oder elektronischer Maschinen- oder Anlagensicherheit
MehrValidierung und Verifikation!
Martin Glinz Thomas Fritz Software Engineering Kapitel 7 Validierung und Verifikation 2005-2013 Martin Glinz. Alle Rechte vorbehalten. Speicherung und Wiedergabe für den persönlichen, nicht kommerziellen
MehrUniper Anlagenservice GmbH
Uniper Anlagenservice GmbH SIL - Seminar Grundlagen der funktionalen Sicherheit Fachseminar für die praktische Anwendung 12.-13. Sep. 2018 Hotel Courtyard by Marriott / Gelsenkirchen SIL - Fachtagung Erfahrungsaustausch
MehrInternationale Auslandskonferenz. der. Thüringen Gruppe
Internationale Auslandskonferenz der Thüringen Gruppe Fachgebiet Elektrotechnik Fördertechnik Fliegende Bauten TÜV Thüringen Kompetenz und Dienstleistungen der Fachabteilung Fördertechnik TÜV Thüringen
MehrKAPITEL 13. Kontextfreie SILs. 13.1 Zusammenfassung. 13.2 Einleitung. Jan Sanders 2010
KAPITEL 13 Kontextfreie SILs Jan Sanders 2010 13.1 Zusammenfassung Wir werden zeigen, dass es nicht möglich ist, probabilistische Sicherheitseigenschaften für Baugruppen festzulegen ohne das System zu
MehrSession 8: Projektvorstellung Transferprojekt itsowl-tt-savez 18. August 2015, Gütersloh. www.its-owl.de
Session 8: Projektvorstellung Transferprojekt itsowl-tt-savez 18. August 2015, Gütersloh www.its-owl.de Agenda Abschlusspräsentation itsowl-tt-savez Einführung Zielsetzung Ergebnisse Resümee und Ausblick
MehrTesten und abstrakte Interpretation
E. Vorobev: Testen und abstrakte Interpretation 1 [20] Testen und abstrakte Interpretation Elena Vorobev Universität Bremen Fachbereich 3, Mathematik und Informatik Universität Bremen, Cartesium, 13.10.09
Mehr