Shop : Details
Shop
Details
58,80 €ISBN 978-3-8440-9639-2Softcover154 pages57 figures210 g21 x 14,8 cmEnglishThesis
September 2024
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.
Keywords: Distributed Control Systems; Real-Time Systems; Timing Verification; Distributed Communication
Oldenburger Schriften der Verteilten Regelung in vernetzten Systemen
Edited by Prof. Dr.-Ing. habil. Andreas Rauh, Oldenburg
Volume 1
Available online documents for this title
DOI 10.2370/9783844096392
You need Adobe Reader, to view these files. Here you will find a little help and information for downloading the PDF files.
Please note that the online documents cannot be printed or edited.
Please also see further information at: Help and Information.
Please also see further information at: Help and Information.
| Document |  | Document | ||
| Type |  | |||
| Costs |  | 44,10 € | ||
| Action |  | Purchase in obligation and download the file | ||
| Document |  | Table of contents | ||
| Type | | |||
| Costs |  | free | ||
| Action |  | Download the file | ||
User settings for registered online customers (online documents)
You can change your address details here and access documents you have already ordered.
User
Not logged in
Export of bibliographic data
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
Germany
Am Langen Graben 15a
52353 Düren
Germany
Mon. - Thurs. 8:00 a.m. to 4:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Contact us. We will be happy to help you.
