Geschäftskunden Kundenprogramme

KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen
  • Produktbild: Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen

Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002

Aus der Reihe Informatik aktuell

Fr. 74.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Schwerpunktthemen des diesjährigen Workshops: Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen: Verlässlichkeit und Fehlertoleranz (Safety); Eindringsicherheit und Bedrohungsszenarien ( Security); Verifizierbarkeit und Zertifizierbarkeit. Sicherheitsgerichtete Technologien: Engineering-Standards,...

Beschreibung

Schwerpunktthemen des diesjährigen Workshops:
Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen: Verlässlichkeit und Fehlertoleranz (Safety); Eindringsicherheit und Bedrohungsszenarien ( Security); Verifizierbarkeit und Zertifizierbarkeit.
Sicherheitsgerichtete Technologien: Engineering-Standards, Validierung; Entwurfsmethodik; Implementierung.
Aktuelle Echtzeitanwendungen: Erfahrungen und Echtzeitprogrammierung.
PEARL und Echtzeitprogrammierung in der Ausbildung.
Die Vorträge zu diesen Themen, u.a. über praktischen Einsatz, Methoden und Erfahrungen sowie Ausblicke in die Zukunft sind Inhalt dieses Bandes.

Portrait

Prof. Dr.-Ing. Birgit Vogel-Heuser leitet den Lehrstuhl für Automatisierung und Informationssysteme der TU München. Sie verfügt über langjährige Industrie- und Hochschulerfahrung im Bereich der System- und Softwareentwicklung verteilter, intelligenter, eingebetteter Systeme für Industrie 4.0.

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

01.11.2002
Abbildungen

VII, 138 S. 22 Abb.
Herausgeber Peter Holleczek + weitere

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

01.11.2002
Abbildungen

VII, 138 S. 22 Abb.
Herausgeber
Verlag Springer Berlin
Seitenzahl

138
Maße (L/B/H)

23.5/15.5/0.9 cm
Gewicht

236 g
Auflage

2002
Sprache

Deutsch
ISBN

978-3-540-44332-2
Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen
  • Produktbild: Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen
  • Entwicklung sicherer Automatisierungssysteme.- : Sicherheitsgerichtete programmierbare Systeme (PES) in Anlagen mit Gefahrdungspotential.- : Die Bedeutung der Mensch-Maschine-Schnittstelle für Sicherheit und Zuverlassigkeit von technischen Systemen.- : Certification of Real-Time Systems.Consequences on Modelling Tool and Modelling Process.- Programmiermethodik.- : Objektorientierte Modellierung von Echtzeitsystemen für die Automatisierungstechnik mit Überprufung von Zeitbedingungen im Modell.- : Entwurfsmuster fur Echtzeitsysteme.- : Evaluation von UML/RT für Automatisierungssysteme im Anlagenbau.- : IT Security for Automation Systems - Motivations and Mechanisms.- : Bedrohungsszenarien und GegenmaBnahmen im Dialogsystemen IRC.- Echtzeit-Anwendungen.- : Mit PEARL gesteuerter Roboter im Rahmen eines Prozeßrechnerpraktikums.- : XML-basierte Feldbusdiagnoseoberfläche für RTOS-UH.- : Streaming video - Echtzeitanforderungen an Streaming-Formate und Player.- Validierung und Zertifizierung sicherer Echtzeitsysteme.- : Validierung einer integrierenden Software-Plattform für sicherheits-kritische Bahnsysteme.- : Entwurf und Implementierung von zertifizierbaren Verläßlichkeits-Funktionen für die Fuzzy-Führungsregelung eines chemischen Prozesses mit analytischer Redundanz.- : Eine verläßliche Plattform zur Ausführung zertifizierbarer Echtzeitprogramme.