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. This thesis addresses the problems mentioned above and aims to provide reliable and deadline-constrained communication via IWSANs for industrial automation systems. We have focused on both independent and semi-dependent subsystems. To begin with, we have proposed a systematic design process to support component-based development. Along with the quick development of wireless communication technologies, industrial automation networks are also in unceasing evolution.
Usability implies less installation efforts and less limitations in the usage of the available Linux functionality. Finally, the research contributions are validated using representative examples of RTES as well as an industrial case study. 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’. 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. June 2, –
June 2, – The two most interesting operating systems that we worked on was Linux and seL4.
October 25, – Along with the quick development of wireless communication technologies, industrial automation networks are also in unceasing evolution. In modern times, the human life is intrinsically associated with real-time embedded systems RTES with increasingly safety-critical and mission-critical features, for instance, in domains such as automotive and avionics. Usability ixt less installation efforts and less limitations in the usage of the available Linux functionality.
May 27, – TBD Re-examination period 2: 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.
September 2, Status and planning report submission date: However, IWSNs are frequently deployed in harsh industrial environments with electromagnetic disturbances, moving theeis and non-line-of-sight NLOS communication.
TBD Opponentship sign-up date: However, the complexity of RTES has been ever increasing requiring systematic development methods. The correctness aspect includes strategies on how to verify hierarchical schedulers, but also how to minimize the scheduler overhead and achieve as good run-time performance as possible.
June 10 and June 11, End date: February 2, Re-examination period 1: September 11, – September 17, – Guaranteeing correctness implies a potential loss of performance due to the added overhead that the verified software can bring.
May 22, – This thesis has two main parts related to hierarchical scheduling: September 25, Report submission date: 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.
Kan Yu (IDT) will defend his lic thesis – Mälardalen University Sweden
August 25, – 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. 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.
We have advanced the state-of-the-art in this research area by introducing a new synchronization protocol called RRP Rollback Resource Policy that improves on the robustness and run-time performance compared to the existing protocols.
April 1, Status and planning report submission date: These systems are characterized by stringent functional requirements and predictable timing behaviour. We have focused on mdy operating systems that were lacking the feature of hierarchical scheduling. Bachelor and Master Theses Important information The complete website is currently down and we are working on to relaunch it as soon as possible.
Mikael Åsberg at IDT will defend his doctoral thesis in computer science
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’.
Linux-based systems have in general less strict demands on correctness and more requirements on usability. June 9, – January 28, – March 22, – June 10 and June 11, 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’.