دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen: Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002
دانلود کتاب امنیت و در دسترس بودن در زمان واقعی و سیستم های اتوماسیون: کنفرانس گروه متخصص GI 4.4.2 برنامه نویسی بلادرنگ، PEARL Boppard، 28./29. نوامبر 2002
مشخصات کتاب
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 مگابایت
قیمت کتاب (تومان) : 48,000
در صورت تبدیل فایل کتاب 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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Advanced AutoCAD 2015: exercise workbook
دانلود کتاب Thinking Government: Public Administration and Politics in Canada,
دانلود کتاب The Ultimate Companion to Meat: On the Farm, At the Butcher, In the Kitchen
دانلود کتاب Population and Development: The Demographic Transition
