مشخصات کتاب

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

ویرایش: 1 
نویسندگان: Uwe Jülly (auth.),  Peter Holleczek,  Birgit Vogel-Heuser (eds.)  
سری: Informatik aktuell 
ISBN (شابک) : 9783540443322, 9783642557132 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2002 
تعداد صفحات: 144 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت 

در صورت تبدیل فایل کتاب Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen: Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب امنیت و در دسترس بودن در زمان واقعی و سیستم های اتوماسیون: کنفرانس گروه متخصص GI 4.4.2 برنامه نویسی بلادرنگ، PEARL Boppard، 28./29. نوامبر 2002 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب امنیت و در دسترس بودن در زمان واقعی و سیستم های اتوماسیون: کنفرانس گروه متخصص GI 4.4.2 برنامه نویسی بلادرنگ، PEARL Boppard، 28./29. نوامبر 2002

موضوعات اصلی کارگاه امسال:
امنیت و در دسترس بودن در سیستم های بلادرنگ و اتوماسیون: قابلیت اطمینان و تحمل خطا (ایمنی). امنیت نفوذ و سناریوهای تهدید (امنیت)؛ قابلیت تأیید و تأیید.
فناوری های مرتبط با ایمنی: استانداردهای مهندسی، اعتبارسنجی. روش شناسی طراحی؛ پیاده سازی.
برنامه های بلادرنگ فعلی: تجربیات و برنامه نویسی بلادرنگ.
برنامه نویسی مروارید و بلادرنگ در آموزش.
سخنرانی ها در مورد این موضوعات، شامل استفاده عملی، روش ها و تجربیات و همچنین چشم اندازها برای آینده محتوای این گروه ها هستند.

توضیحاتی درمورد کتاب به خارجی

Schwerpunktthemen des diesj?hrigen Workshops:
Sicherheit und Verf?gbarkeit in Echtzeit- und Automatisierungssystemen: Verl??lichkeit 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.

فهرست مطالب

Front Matter....Pages i-vii
Sicherheitsgerichtete programmierbare Systeme (PES) in Anlagen mit Gefährdungspotential....Pages 1-10
Die Bedeutung der Mensch-Maschine-Schnittstelle für Sicherheit und Zuverlässigkeit von technischen Systemen....Pages 11-20
Certification of Real-Time Systems. Consequences on Modeling Tool and Modeling Process....Pages 21-30
Objektorientierte Modellierung von Echtzeitsystemen für die Automatisierungstechnik mit Überprüfung von Zeitbedingungen im Modell....Pages 31-40
Entwurfsmuster für Echtzeitsysteme....Pages 41-49
Evaluation von UML/RT für Automatisierungssysteme im Anlagenbau....Pages 50-59
IT Security for Automation Systems — Motivations and Mechanisms....Pages 60-69
Bedrohungsszenarien und Gegenmaßnahmen im Dialogsystem IRC....Pages 70-80
Mit PEARL gesteuerte Roboter im Rahmen eines Prozeßrechnerpraktikums....Pages 81-89
XML-basierte Feldbusdiagnoseoberfläche für RTOS-UH....Pages 90-99
Streaming video — Echtzeitanforderungen an Streaming-Formate und Player....Pages 100-110
Validierung einer integrierenden Software-Plattform für sicherheitskritische Bahnsysteme....Pages 111-117
Entwurf und Implementierung von zertifizierbaren Verläßlichkeits-Funktionen für die Fuzzy-Führungsregelung eines chemischen Prozesses mit analytischer Redundanz....Pages 118-128
Eine verläßliche Plattform zur Ausführung zertifizierbarer Echtzeitprogramme....Pages 129-138

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Tales from 1,001 nights: Aladdin, Ali Baba and other favourite tales

دانلود کتاب Dark Eagles. A History of Top Secret U.S. Aircraft Programs.

دانلود کتاب Chemical Hazards in the Workplace

دانلود کتاب Improving Subject Teaching: Lessons from research in science education

دانلود کتاب Charles Darwin's 'The Life of Erasmus Darwin'