This thesis addresses the problems mentioned above and aims to provide reliable and deadline-constrained communication via IWSANs for industrial automation systems. March 30, Status and planning report submission date: June 3, – September 17, – January 13, – Because of the vulnerability of the wireless signal, IWSNs are under high risk of transmission failures, which may result in missing or delaying of process or control data. Traditional routing protocols in IWSNs are either hardly able to fulfill both of these requirements or overcomplicated.
The complete website is currently down and we are working on to relaunch it as soon as possible. Existing solutions are either hardly able to fulfill all stringent requirements from the mission-critical industrial applications, or overcomplicated to be realized or lack verification in reality. Compared with conventional wireless systems, IWSNs have more stringent requirements on communication reliability and real time performance. Hierarchical scheduling can be implemented in many different ways, depending on what resource that is supposed to be shared among applications. September 22, –
Kan Yu (IDT) will defend his lic thesis – Mälardalen University Sweden
TBD Next presentation dates are: October 17, – Traditional routing protocols in IWSNs are either hardly able to fulfill both of these requirements or overcomplicated.
June 12, Re-examination period 1: We have focused on various operating systems that were lacking the feature of hierarchical scheduling.
May 28, – The complete website is currently down and we tthesis working on to relaunch it as soon as possible. An alternative method is to use Forward Error Correction FEC mechanism to provide more reliable transmissions and re- duce the number of acknowledgement messages by recovering erroneous data. TBD Opponentship sign-up date: The two most interesting operating systems that we worked on was Linux and seL4.
For industrial automation, missing the process or control deadline is intolerable, which may terminate industrial application and finally result in economic loss and safety problems.
Jagadish Suryadevara at IDT will defend his doctoral thesis – Mälardalen University Sweden
However, there remains several challenges to be addressed, such as, expressiveness, to represent the real-time and causality behaviour, and analyzability, to support verification of functional and timing behaviour during early-phases of system development. However, IWSNs are frequently deployed in harsh industrial environments with electromagnetic disturbances, moving objects and non-line-of-sight NLOS communication.
For example, the avionics-specification ARINC and the safety-critical operating systems seL4 and PikeOS safely divide resources for independent safety-critical applications by using hierarchical scheduling.
The contribution in the synthesis part includes a scheduler framework called ExSched External Scheduler. Next presentation dates are: On network layer, routing protocol plays an important role in both communi- cation reliability and latency.
School of Innovation, Design and Engineering. We have also contributed with a novel approach to verify hierarchical schedulers, and a code generator called TAtoC Timed Automata to C which contributes to the effective run-time performance of synthesized timed-automata models.
Kan Yu (IDT) will defend his lic thesis
These two operating systems represent two extremes, where Linux is more focused towards soft real-time systems and seL4 towards pure hard real-time safety-critical systems.
Hierarchical scheduling can be implemented in many different ways, depending on what resource that is supposed to be shared among applications. Hierarchical scheduling has been shown to be a useful tool in counteracting the verification challenges that comes from the growing complexity in software.
June 10 and June 11, End date: Although there are a number of advantages of replacing cables with wireless links, such as cost reduction, enhanced scalability and flexibility, the stringent requirements on communication reliability and meeting firm deadline from industrial mission-critical applications should still be fulfilled.
The second part of this thesis, synchronization, is an important general aspect of hierarchically scheduled systems since the isolation of subsystems makes resource sharing among subsystems more challenging. JuneRe-examination period 2: Finally, the research contributions are validated using representative examples of RTES as well as an industrial case study.
September 22, – September 17, – March 30, Status and planning report submission date: September 2, Status and planning report submission date: We have also conducted a large scale experimental evaluation of all existing protocols that we have implemented in the widely used real-time operating system VxWorks.
Measurements were mxh in a real industrial environment to verify the correctness of the proposed solution. January 28, – Compared with conventional wireless systems, IWSNs have more stringent requirements on communication reliability and real time performance. JanuaryEnd date: