|
|
|
|
| LEADER |
05426nmm a2200397 u 4500 |
| 001 |
EB000666176 |
| 003 |
EBX01000000000000000519258 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| ger |
| 020 |
|
|
|a 9783642582936
|
| 100 |
1 |
|
|a Ghassemi-Tabrizi, Ataeddin
|
| 245 |
0 |
0 |
|a Realzeit-Programmierung
|h Elektronische Ressource
|c von Ataeddin Ghassemi-Tabrizi
|
| 250 |
|
|
|a 1st ed. 2000
|
| 260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2000, 2000
|
| 300 |
|
|
|a X, 357 S. 23 Abb
|b online resource
|
| 505 |
0 |
|
|a 6. Petri-Netze zur Modellierung von Synchronisierungen -- 6.1 Netze aus Bedingungen und Ereignissen -- 6.2 Netze aus Stellen und Transitionen -- 6.3 Aufbau und Verhalten von Petri-Netzen -- 6.4 Konflikt und Kontakt -- 6.5 Beispiel für Systementwurf mit Petri-Netzen -- 7. Semaphore -- 7.1 Die Entstehung von Semaphoren -- 7.2 Architektur von Semaphoren -- 7.3 Definition des Objekts „Semaphore“ -- 7.4 Abbildung von Petri-Netzen auf Semaphoren -- 7.5 Beispiele -- 7.6 Anfordern mehrerer Betriebsmittel (Konjunktion) -- 7.7 Anfordern eines Betriebsmittels aus mehreren (Disjunktion) -- 7.8 Beurteilung der Eigenschaften von Semaphoren -- 7.9 Übungen -- 8. Monitor -- 8.1 Definition des Objektes Monitor -- 8.2 Ergänzung von „Monitor“ mit „Signal“ -- 8.3 Beispiele -- 8.4 Anfordern mehrerer Betriebsmittel (Konjunktion) -- 8.5 Anfordern eines Betriebsmittelsaus mehreren (Disjunktion) -- 8.6 Zusammenfassende Beurteilung des Monitor-Konzepts -- 8.7 Übungen -- 9. Rendezvous --
|
| 505 |
0 |
|
|a 9.1 Gründe für die Einführung des Rendezvous-Konzepts -- 9.2 Das einfache Rendezvous -- 9.3 „Select“-Anweisung -- 9.4 „Guarded-Select“-Anweisung -- 9.5 Anfordern mehrerer Betriebsmittel (Konjunktion) -- 9.6 Anfordern eines Betriebsmittels aus mehreren (Disjunktion) -- 9.7 Zusammenfassende Beurteilung von „Rendezvous“ -- 9.8 Übungen -- 10. Typische Synchronisieraufgaben -- 10.1 Synchronisierung eines Betriebsmittels (Wechselseitiger Ausschluß) -- 10.2 Synchronisierung eines n-fach vorhandenen Betriebsmittels -- 10.3 Einräumen eines Vorrangs an n-ter Stelle für eine Task bei der Zuteilung eines Betriebsmittels -- 10.4 Höchste Priorisierung der Betriebsmittel-Anforderung einer Task (Readers Writers Problem) -- 10.5 Feste Reihenfolge der Tasks (Erzeuger-Verbraucher-Problem) -- 10.6 Überholvorgänge (Bounded Buffer) -- 11. Problemorientierte Modellierung der Software für Realzeitsysteme --
|
| 505 |
0 |
|
|a 1. Motivation und Zielsetzung -- 2. Grundlagen -- 2.1 Definition grundlegender Begriffe -- 2.2 Klassifizierung von Rechensystemen -- 2.3 Abstraktion und Information-Hiding -- 2.4 Interrupt-Verarbeitung in Prozeßrechnern -- 3. Realzeit-Programmierverfahren -- 3.1 Merkmale von Realzeitsystemen -- 3.2 Synchrone Programmierung -- 3.3 Asynchrone Programmierung -- 3.4 Gegenüberstellung der synchronen und asynchronen Programmierung -- 4. Realzeit-Programmiersprachen -- 4.1 Die Realzeit-Programmiersprache Modula-2 -- 4.2 Die Realzeit-Programmiersprache Pearl -- 4.3 Die Realzeit-Programmiersprache Ada -- 5. Synchronisierung von Rechenprozessen -- 5.1 Problematik -- 5.2 Herleitung der elementaren Anforderungen für die Synchronisierung von Tasks -- 5.3 Herleitung der zeitlichen Zusammenhänge bei der Synchronisierung -- 5.4 Einfache Methoden zur Realisierung des wechselseitigen Ausschlusses -- 5.5 Praktische Regeln für die Realisierung von Synchronisierungen --
|
| 505 |
0 |
|
|a 11.1 Stellung des Software-Entwurfs im Entstehungsgang eines Prozeß-automatisierungssystems -- 11.2 Modularisierung des Automatisierungssystems als Grundlage des Software-Entwurfs -- 11.3 Festlegung der sequentiellen Vorgänge in einem Modul -- 11.4 Modellierung eines sequentiellen Vorgangs mit Hilfe von endlichen Automaten -- 11.5 Modellierung der Synchronisierungen zwischen Tasks mit Hilfe von Petri-Netzen und Rendezvous -- 11.6 Ein umfassendes Beispiel: Produktionsstraße -- Anhang 1: Begriffsdefinitionen laut DIN -- Anhang 2: Verwendete DIN-Vorschriften
|
| 653 |
|
|
|a Compilers (Computer programs)
|
| 653 |
|
|
|a Compilers and Interpreters
|
| 653 |
|
|
|a Programming Techniques
|
| 653 |
|
|
|a Computer science
|
| 653 |
|
|
|a Control, Robotics, Automation
|
| 653 |
|
|
|a Computer programming
|
| 653 |
|
|
|a Control engineering
|
| 653 |
|
|
|a Robotics
|
| 653 |
|
|
|a Theory of Computation
|
| 653 |
|
|
|a Automation
|
| 041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 028 |
5 |
0 |
|a 10.1007/978-3-642-58293-6
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-58293-6?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 005.11
|
| 520 |
|
|
|a Das Buch führt in die verschiedenen Techniken der Realzeit- und Parallel-Programmierung ein. Hierzu werden u.a. die unterschiedlichen Konzepte von drei Realzeit-Sprachen (Ada, Modula-2, Pearl) anhand von praktischen Beispielen erläutert. Besonderes Gewicht wird auf die abstrakte Modellierung der Abläufe in einem Realzeitsystem gelegt, etwa mit Hilfe von Zustandsdiagrammen, Petrinetzen und Rendezvous. Anschließend wird die Umsetzung des Modells in ein Realzeit-Programm gemäß den verschiedenen Programmiertechniken aufgezeigt. Der Synchronisierung von parallelen Rechenprozessen wird besondere Bedeutung beigemessen. Der Leser wird Schritt für Schritt in die komplexen Zusammenhänge eingeführt, viele Abbildungen und Beispiele erleichtern das Verständnis
|