It facilitates re-usability and it makes timing analysis of software systems easier. An alternative method is to use Forward Error Correction FEC schemes to provide reliable communication by recovering erroneous data and avoiding unnecessary retransmissions. 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’. The hierarchical division, that we refer to as hierarchical scheduling, has other advantages as well. However, IWSNs are frequently deployed in harsh industrial environments with electromagnetic disturbances, moving objects and non-line-of-sight NLOS communication.
Hierarchical scheduling can be implemented in many different ways, depending on what resource that is supposed to be shared among applications. Along with the quick development of wireless communication technologies, industrial automation networks are also in unceasing evolution. An alternative method is to use Forward Error Correction FEC schemes to provide reliable communication by recovering erroneous data and avoiding unnecessary retransmissions. Semi-independent subsystems share not only the general resources, but also other logical resources that can only be accessed in a mutually exclusive way, i. October 15, Opening event:
Mikael Åsberg at IDT will defend his doctoral thesis in computer science
January 15, – It facilitates re-usability and it makes timing analysis of software systems easier. March 22, – We have focused on various operating systems that were lacking the feature of hierarchical scheduling.
There are requirements on performance, usability, correctness etc. I propose reliable and robust routing protocols with respect to high reliability and real time performance thesi IWSNs. 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.
June 07, Re-examination period 1: May 26, – An inappropriate scheduling scheme may introduce high transmission jitter and degrade the quality of control. JuneRe-examination period 2: 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.
On the network layer, routing protocols play an important role in both communication reliability and latency. On network layer, routing protocol plays an important role in both communi- cation reliability and latency. January 20, Status and planning report submission date: Hierarchical scheduling can be implemented in many different ways, depending on what resource that is supposed to be shared among applications.
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. TBD Opponentship report submission date: 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.
The usability aspect is especially important for Linux systems since kernel updates occur much more frequently compared rhesis any other operating system.
Kan Yu (IDT) will defend his lic thesis
We have also contributed with a novel approach to verify hierarchical schedulers, and a code generator called TAtoC Timed Automata to C which iddt to the effective run-time performance of synthesized timed-automata models. JanuaryEnd date: This is achieved by defining an intuitive formal semantics for real-time component models, using ProCom, a component model developed at our research centre, and also using the CCSL Clock Constraint specification languagean expressive language for specification of timed causality behaviour.
These systems are characterized by stringent functional requirements and predictable timing behaviour. 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.
From a hierarchy point of view, the high reliability and low latency can be achieved from different network layers. June 10 mddh June 11, Spring Period 1 End date: Important dates For the next instances of the course Spring For the next instances of the course, the following important dates apply: The second part of this thesis, synchronization, is tthesis important general aspect of hierarchically scheduled systems since the isolation of subsystems makes resource sharing among subsystems more challenging.
Usability implies less installation efforts and less limitations in the usage of the available Linux functionality.
MDH Bachelor and Master Theses
June 10 and June 11, End date: September 11, – Abstract In industrial automation, Industrial Wireless Sensor Networks IWSNs have been increasingly applied due to a great number of benefits such as convenient installation, flexible deployment and cost efficiency. This paves the way for formal verification of both architectural and behavioural models, using model checking, as we have shown, by transforming the models into timed automata and performing verification using UPPAAL, a model checking tool based on timed automata.
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. Compared with conventional wireless systems, IWSNs have more stringent requirements on communication reliability and real time performance.