Shop : Recommendation
Shop
Recommendation
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
The recommendation will be sent by email to the address you provide below.
Fields marked with * are mandatory! Please fill them out completely.
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.
