Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Rudolf M. Konakovsky"'
Publikováno v:
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783662563687
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783642372971
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783642372971
Ein grundlegendes Problem der Software-Technik ist nachzuweisen, das erstellte Programme tatsachlich den Anforderungen genugen. In der Praxis gelingt strenge und verlasliche Programmverifikation nur in den seltensten Fallen. Als bewahrte formale Verf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bd3c786e2c64d14733045dbf57b32485
https://doi.org/10.1007/978-3-662-56369-4_10
https://doi.org/10.1007/978-3-662-56369-4_10
Publikováno v:
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783662563687
Die Programmiersprache PEARL besitzt die bei Weitem ausgepragtesten Echtzeiteigenschaften. Zunachst werden die wesentlichen Eigenschaften ihrer Versionen fur Einprozessor- und fur verteilte Systeme vorgestellt. Da es bisher keine universell einsetzba
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::518db24f1724349f8d345a64ec21e2b5
https://doi.org/10.1007/978-3-662-56369-4_17
https://doi.org/10.1007/978-3-662-56369-4_17
Publikováno v:
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783662563687
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783642372971
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783642372971
Masnahmen zur Erzielung sicherer elektronischer festverdrahteter und programmgesteuerter Prozessautomatisierung werden vorgestellt. Zu ersteren gehoren die Prinzipien des Fehlerausschlusses und der Ausfallsicherheitsgerichtetheit, Sicherheitskonzepte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8877f51b58c5e0c2231f6346d5fc4f1d
https://doi.org/10.1007/978-3-662-56369-4_2
https://doi.org/10.1007/978-3-662-56369-4_2
Publikováno v:
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783662563687
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783642372971
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783642372971
Die Qualitatssicherung von Software wird noch einmal aufgegriffen. Dazu werden durch Verscharfung und Vereinfachung aus einer internationalen Norm abgeleitete Richtlinien zur Konstruktion sicherheitsgerichteter Software angegeben. Es werden Verfahren
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a8a5a84a37029d9f1980d05359fd201
https://doi.org/10.1007/978-3-662-56369-4_9
https://doi.org/10.1007/978-3-662-56369-4_9
Publikováno v:
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783662563687
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d1e3d01010ab8407a2a26962277c7652
https://doi.org/10.1007/978-3-662-56369-4_6
https://doi.org/10.1007/978-3-662-56369-4_6
Publikováno v:
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783662563687
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783642372971
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783642372971
Speicherprogrammierbare Steuerungen werden als einfach organisierte elektronische Prozesdatenverarbeitungsanlagen mit vorhersehbarem Ausfuhrungszeitverhalten vorgestellt. Es wird gezeigt, das sich fur ihre Programmierung besonders Funktions- und sequ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eb8fbb6b13e6ba0b2505a23c4ca1234a
https://doi.org/10.1007/978-3-662-56369-4_8
https://doi.org/10.1007/978-3-662-56369-4_8
Publikováno v:
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783662563687
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783642372971
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783642372971
Mit dem Ziel, dem Leser ein ausgepragtes Sicherheitsbewusstsein, die spezielle Denkweise der Sicherheitstechnik und das besondere Gefahrenpotential programmgesteuerter Systeme zu vermitteln sowie bei ihm eine ganzheitliche Sicht zur Strukturierung si
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c31e2d8994288266e4c51589714157a
https://doi.org/10.1007/978-3-662-56369-4_1
https://doi.org/10.1007/978-3-662-56369-4_1
Publikováno v:
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783662563687
Die Bedeutung der gesetzlichen Zeit Universal Time Co-ordinated (UTC) und der weltweiten Verfgbarkeit hochgenauer Zeitinformationen wird dargelegt. Funktionsweisen terrestrischer und satellitengesttzter Rundfunkbertragung offizieller Zeitsignale, die
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0c61af3278ee83f88607026b51a6ac24
https://doi.org/10.1007/978-3-662-56369-4_14
https://doi.org/10.1007/978-3-662-56369-4_14
Publikováno v:
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783662563687
Zur Bewertung der Leistung und Dienstequalitat von Echtzeitsystemen werden geeignete qualitativ-exklusive, qualitativ-graduelle sowie quantitative Kriterien und Verfahren eingefuhrt. Eine Diskussion der weitverbreiteten Leistungskriterien Geschwindig
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f9e429cdbdb98e632dcccbded90b8232
https://doi.org/10.1007/978-3-662-56369-4_7
https://doi.org/10.1007/978-3-662-56369-4_7
Publikováno v:
Sicherheitsgerichtete Echtzeitsysteme ISBN: 9783662563687
Die in eingebetteten Systemen eingesetzten Mikroprozessoren werden stetig komplexer und verhindern so die Konstruktion uberprufbar sicherer Systeme. Abhilfe schafft eine Mikroprozessorarchitektur, die gemas dem Entwurfziel Einfachheit und Klarheit au
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8fc67bbceb4c1a347d9b51f50c686010
https://doi.org/10.1007/978-3-662-56369-4_11
https://doi.org/10.1007/978-3-662-56369-4_11