Echtzeitsysteme
DOWNLOAD eBooks
Download Echtzeitsysteme PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Echtzeitsysteme book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Echtzeitsysteme
DOWNLOAD eBooks
Author : Heinz Wörn
language : de
Publisher: Springer-Verlag
Release Date : 2006-05-02
Echtzeitsysteme written by Heinz Wörn and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2006-05-02 with Computers categories.
Das vorliegende Werk vermittelt ein solides Fundament zum Verständnis der wesentlichen Prinzipien, Funktionsweisen und Architekturen von Echtzeitsystemen. Dabei werden zunächst die Grundlagen der Automation von technischen Prozessen mithilfe der Steuerungs- und Regelungstechnik behandelt. Anschließend werden elementare Hardware- und Software-Architekturen sowie Kommunikationsmechanismen für Echtzeitsysteme beschrieben und Methoden der Echtzeitprogrammierung, der Echtzeitbetriebssysteme sowie der Echtzeit-Middleware fundiert dargestellt. Abgeschlossen wird das Buch durch Anwendungsbeispiele von Echtzeitsystemen aus der Fabrikautomation, wie z. B. speicherprogrammierbare Steuerungen oder Roboter- und Werkzeugmaschinensteuerungen. Dieses Lehrbuch richtet sich an Studierende der Informatik, Elektrotechnik, Regelungstechnik und des Maschinenbaus im fortgeschrittenen Grundstudium und ist in gleicher Weise für in der Praxis stehende Entwickler in diesen Fachgebieten geeignet.
Sicherheitsgerichtete Echtzeitsysteme
DOWNLOAD eBooks
Author : Wolfgang A. Halang
language : de
Publisher: Springer-Verlag
Release Date : 2018-04-26
Sicherheitsgerichtete Echtzeitsysteme written by Wolfgang A. Halang and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-04-26 with Technology & Engineering categories.
Das Buch behandelt das wichtige Thema funktionale Sicherheit programmierbarer elektronischer Systeme. Anhand begrifflicher, methodischer und konzeptioneller Grundlagen sicherheitsgerichteter Echtzeitsysteme wird in die Denkweise der Sicherheitstechnik eingeführt. Architekturen für sichere Hardware sowie Verfahren zur Erstellung möglichst fehlerfreier Software und zu deren Verifizierung werden dargestellt und bewertet. Weiterhin werden Ergebnisse jüngster Forschungen vorgestellt wie inhärent sicherheitsfördernde Paradigmen der Echtzeitprogrammierung und -ablauforganisation oder unkonventionelle sicherheitsgerichtete Architekturen für sicherheitstechnisch abnehmbare Feldbusse und programmierbare elektronische Systeme. Das Buch wurde für die 3. Auflage gründlich überarbeitet und um die Darstellung neuer Patente und Normen erweitert. Die Zielgruppen Studierende der Automatisierungstechnik und der Informatik sowie Systemarchitekten und Entwickler.
Echtzeitsysteme
DOWNLOAD eBooks
Author : Dieter Zöbel
language : de
Publisher: Springer-Verlag
Release Date : 2019-11-26
Echtzeitsysteme written by Dieter Zöbel and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2019-11-26 with Computers categories.
Ohne unmittelbar in Erscheinung zu treten, steuern Echtzeitsysteme heute Produktionsanlagen, assistieren beim Autofahren oder sichern die Qualität der Sprachübertragung in weltweiten Netzen. Sie greifen in technische Prozesse ein, um sie zum richtigen Zeitpunkt zu den richtigen Aktionen zu bewegen. Das Lehrbuch beschreibt Echtzeitsysteme aus der Sicht der Informatik mit dem Schwerpunkt Real-time Scheduling. Es richtet sich an Studierende der Informatik und Wirtschaftsinformatik. Zahlreiche Aufgaben mit Lösungen helfen, den Stoff zu vertiefen.
Software Intensive Verteilte Echtzeitsysteme Echtzeit 2009
DOWNLOAD eBooks
Author : Peter Holleczek
language : de
Publisher: Springer-Verlag
Release Date : 2010-01-09
Software Intensive Verteilte Echtzeitsysteme Echtzeit 2009 written by Peter Holleczek and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2010-01-09 with Computers categories.
Mit seiner Jahrestagung 2009 bietet der Fachausschuss Echtzeitsysteme der Gesellschaft für Informatik (GI) und der VDI/VDE-Gesellschaft Mess- und Automatisierungstechnik (GMA) Wissenschaftlern, Nutzern und Herstellern ein Forum, um neue Trends und Entwicklungen aus dem Bereich „Software-intensive verteilte Echtzeitsysteme" vorzustellen bzw. kennenzulernen. Die Themen in diesem Jahr: Methoden/Standards, Engineering/Werkzeuge, Verifizierbarkeit, Performance-Analyse, Debugging, Ressourcen-Management, Kommunikation sowie aktuelle Anwendungen.
Software Entwicklung F R Echtzeitsysteme
DOWNLOAD eBooks
Author : Juliane T. Benra
language : de
Publisher: Springer-Verlag
Release Date : 2009-08-28
Software Entwicklung F R Echtzeitsysteme written by Juliane T. Benra and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2009-08-28 with Computers categories.
Echtzeitsysteme sollen anfallende Daten unter Einhaltung von Zeitanforderungen verarbeiten. Deshalb hängt deren korrekte Funktion nicht nur von den Berechnungsergebnissen ab, sondern auch vom Zeitpunkt ihrer Erzeugung. Das Buch stellt den Stand der Entwicklungsmethodik von Software für eingebettete Systeme mit kritischen Zeitbedingungen umfassend dar. Die Autoren behandeln grundlegende Konzepte, Analyse und Entwurf, Synchronisation und Konsistenz, Betriebssysteme, Vernetzung, Programmierung, Qualität und Sicherheit sowie Ausführungszeitschranken.
Echtzeitsysteme Und Objektorientierter Entwurf
DOWNLOAD eBooks
Author : Helmut Rzehak
language : de
Publisher: Springer-Verlag
Release Date : 2013-07-02
Echtzeitsysteme Und Objektorientierter Entwurf written by Helmut Rzehak and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-07-02 with Technology & Engineering categories.
Echtzeitanwendungen und objektorientierter Entwurf werden heute vielfach als unvereinbar angesehen, weil dies zu ineffizienten Implementierungen und einem Verlust des zeitlichen Determinismus führt. Demgegenüber werden die Vorteile der objektorientierten Entwurfstechniken allgemein anerkannt. Das Buch zeigt Auswege aus diesem Dilemma. Analysiert werden zum einen die Quellen von nichtdeterministischen Verhalten. Zum anderen wird gezeigt, welche Verfahren beim objektorientierten Entwurf den zeitlichen Determinismus hinreichend sicherstellen. Einer der Schwerpunkte ist das Thema der Fuzzy Logik in der Prozeßautomatisierung. Ziel ist es, dem Praktiker unter Rückgriff auf konkrete Anwendungsbeispiele den State-of-the-Art für die Konstruktion guter Echtzeitsysteme aufzuzeigen.
Echtzeitsysteme Im Alltag
DOWNLOAD eBooks
Author : Peter Holleczek
language : de
Publisher: Springer-Verlag
Release Date : 2007-06-19
Echtzeitsysteme Im Alltag written by Peter Holleczek and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2007-06-19 with Computers categories.
Mit ihrer Jahrestagung 2006 bietet die GI-Fachgruppe Echtzeitsysteme und PEARL Nutzern und Herstellern ein Forum an, auf dem neue Trends und Entwicklungen zu folgenden Themengebieten aus dem Bereich der "Echtzeitsysteme im Alltag" vorgestellt werden: Anwendungsbeispiele wie Gebäudeleit- und Raumtechnik, Häusliche Serviceroboter, Spiele, Handy-TV, Telefonie und Telemedizin, sowie Aspekte der Technologie, Entwicklung und Ausbildung in Echtzeitsystemen und PEARL.
Echtzeitsysteme Und Fuzzy Control
DOWNLOAD eBooks
Author : Helmut Rzehak
language : de
Publisher: Springer-Verlag
Release Date : 2013-03-09
Echtzeitsysteme Und Fuzzy Control written by Helmut Rzehak and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-03-09 with Computers categories.
Pearl 98 Echtzeitsysteme Im Netz
DOWNLOAD eBooks
Author : Peter Holleczek
language : de
Publisher: Springer-Verlag
Release Date : 2013-03-11
Pearl 98 Echtzeitsysteme Im Netz written by Peter Holleczek and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-03-11 with Computers categories.
In diesem Band werden aktuelle Methoden zur Analyse und zum Design von Echtzeitsystemen sowie deren Einsatzmöglichkeiten zur Diskussion gestellt.
Specification And Compositional Verification Of Real Time Systems
DOWNLOAD eBooks
Author : Jozef Hooman
language : en
Publisher: Springer Science & Business Media
Release Date : 1991-11-27
Specification And Compositional Verification Of Real Time Systems written by Jozef Hooman and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 1991-11-27 with Computers categories.
The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage is considered in which concurrent processes communicate by synchronous message passing along unidirectional channels. To specifiy functional and timing properties of programs, two formalisms are investigated: one using a real-time version of temporal logic, called Metric Temporal Logic, and another which is basedon extended Hoare triples. Metric Temporal Logic provides a concise notationto express timing properties and to axiomatize the programming language, whereas Hoare-style formulae are especially convenient for the verification of sequential constructs. For both approaches a compositional proof system has been formulated to verify that a program satisfies a specification. To deduce timing properties of programs, first maximal parallelism is assumed, modeling the situation in which each process has itsown processor. Next, this model is generalized to multiprogramming where several processes may share a processor and scheduling is based on priorities. The proof systems are shown to be sound and relatively complete with respect to a denotational semantics of the programming language. The theory is illustrated by an example of a watchdog timer.