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. As the main research contribution, this thesis presents design and verification techniques for model-based development of RTES, addressing expressiveness and analyzability for architectural and behavioural models. The work in this thesis is focused on the practical aspects of timing isolation among subsystems, i. This thesis addresses the problems mentioned above and aims to provide reliable and deadline-constrained communication via IWSANs for industrial automation systems. 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. September 11, –
Links to available thesis suggestions For now, you can find thesis suggestions at the following urls http: September , Re-examination period 1: The contribution in the synthesis part includes a scheduler framework called ExSched External Scheduler. September 25, Report submission date: September 22, –
Jagadish Suryadevara at IDT will defend his doctoral thesis
For industrial automation, mh the process or control deadline is intolerable, which may terminate industrial application and finally result in economic loss and safety problems. The complete website is currently down and we are working on to relaunch it as soon as possible.
To be authorized to present your work, you must have submitted the final version of your thesis report according to the procedure described in the Study Guide under ‘Submitting the report for examination’. An alternative method is to use Forward Error Correction FEC schemes to provide reliable communication by recovering erroneous data and avoiding unnecessary retransmissions.
However, IWSNs are frequently deployed in harsh industrial environments with electromagnetic disturbances, moving objects and non-line-of-sight NLOS communication.
The non-functional isolation of subsystems, that appears when the software system is hierarchically divided, has great advantages when it comes to preventing fault propagation between subsystems. The two most interesting operating systems that we worked on was Linux and seL4.
Kan Yu (IDT) will defend his lic thesis – Mälardalen University Sweden
March 22, – An alternative method is thssis use Forward Error Correction FEC mechanism to provide more reliable transmissions and re- duce the number of acknowledgement messages by recovering erroneous data. An example of such a resource could be a shared memory-space, e. JanuaryEnd date: Industrial wireless sensor and actuator networks IWSAN have been increasingly adopted in industrial automation systems.
Guaranteeing correctness implies a potential loss of performance due to the added overhead that the verified software can bring. October 17, – These two operating systems represent two extremes, where Linux is more focused towards soft real-time systems idr seL4 towards pure hard real-time safety-critical systems.
April 22, Report submission date: To address these concerns, model-based frameworks and iet design methodologies have emerged as a feasible solution. Compared with conventional wireless systems, IWSNs have more stringent requirements on communication reliability and real time performance.
A piece of software, that we define as a software system, can consist of kdh from a few lines of program code or the entire software stack in a vehicle. This thesis has two main parts related to hierarchical scheduling: February 12, Report submission date: Scheduler synthesis is related to implementation and design strategies when adding support for hierarchical scheduling in an operating system.
From a hierarchy point of view, the high reliability and low latency can be achieved from different network layers. March 30, Status and planning report submission date: April 1, Status and planning thhesis submission date: We have focused on various operating systems that were lacking the feature of hierarchical scheduling.
The hierarchical division, that we refer to as hierarchical scheduling, has other advantages as well. January 22, – School of Innovation, Design and Engineering.
Kan Yu (IDT) will defend his lic thesis
February 09, – As the main research contribution, this thesis presents design and verification techniques for model-based development of RTES, addressing expressiveness and analyzability for architectural and behavioural models.
There are requirements on performance, usability, correctness etc. School of Innovation, Design and Engineering. June 2, – Traditional routing protocols in IWSNs are either hardly able to fulfill both of these requirements or overcomplicated.