Shop : Details
Shop
Details
Friederike Bruns
Systematic Correct-by-Construction Design for Industrial Real-Time Communication
The increasing complexity of Industrial Distributed Control Systems (IDCS) poses significant challenges, especially regarding strict real-time constraints of safety-critical systems. Traditional IDCS modelling using IEC 61499 prioritises functionality and device mapping over network communication and timing guarantees, leading to performance degradation. This work addresses this by extending IEC 61499 and introducing new modelling elements, namely messages and channels, for a formal description of network communication. This enables precise specification of packet transmission, facilitating systematic IDCS design that meets timing requirements. The methodology involves mapping logical messages to physical channels, supporting upfront timing verification using a correct-by-construction methodology. This systematic analysis reduces design cycle reiterations and potential errors. The contract-based design approach enables verification of timed execution through consistency checks and virutal integration testing. Practicality and scalability are demonstrated through various IEC 61499 applications, validating the timing properties and highlighting potential challenges. The systematic and certifiable approach significantly enhances reliability and efficiency of real-world manufacturing processes by mitigating the impact of non-determinism and communication delays.
Schlagwörter: Distributed Control Systems; Real-Time Systems; Timing Verification; Distributed Communication
Oldenburger Schriften der Verteilten Regelung in vernetzten Systemen
Herausgegeben von Prof. Dr.-Ing. habil. Andreas Rauh, Oldenburg
Band 1
Verfügbare Online-Dokumente zu diesem Titel
DOI 10.2370/9783844096392
Sie benötigen den Adobe Reader, um diese Dateien ansehen zu können. Hier erhalten Sie eine kleine Hilfe und Informationen, zum Download der PDF-Dateien.
Bitte beachten Sie, dass die Online-Dokumente nicht ausdruckbar und nicht editierbar sind.
Bitte beachten Sie auch weitere Informationen unter: Hilfe und Informationen.
Bitte beachten Sie auch weitere Informationen unter: Hilfe und Informationen.
| Dokument |  | Gesamtdokument | ||
| Dateiart |  | |||
| Kosten |  | 44,10 € | ||
| Aktion |  | Zahlungspflichtig kaufen und download der Datei | ||
| Dokument |  | Inhaltsverzeichnis | ||
| Dateiart | | |||
| Kosten |  | frei | ||
| Aktion |  | Download der Datei | ||
Benutzereinstellungen für registrierte Online-Kunden (Online-Dokumente)
Sie können hier Ihre Adressdaten ändern sowie bereits georderte Dokumente erneut aufrufen.
Benutzer
Nicht angemeldet
Export bibliographischer Daten
Shaker Verlag GmbHAm Langen Graben 15a52353 Düren
Mo. - Do. 8:00 Uhr bis 16:00 UhrFr. 8:00 Uhr bis 15:00 Uhr
Kontaktieren Sie uns. Wir helfen Ihnen gerne weiter.
