Safer real time systems with a model-based method
Dec 09, 2013 | Research/Cooperation
It is crucial that real time systems, time critical computer systems which are used for instance in cars, work the way they are supposed to work and are activated at the set time in case of accident. Activation which occurs too early or too late, for instance when it comes to airbags, does not provide the desired protection and may cause additional injury. In order to develop these systems in a cost-effective and speedy fashion, model-based methods are needed. In his doctoral dissertation, Jagadish Suryadevara presents research on model-based development of the construction and analysis of real time systems in the early stages of the development process.
Real time systems become more and more complex, which creates an increased need for methods which can guarantee their predictability. The purpose of Jagadish Suryadevara’s doctoral dissertation, which he will present at Mälardalen University (MDH) in Västerås on 9 December, is to develop methods of analysis to support the model-based development of industrial embedded systems in the areas of vehicle and aviation electronics.
– My research deals with model-based development which supports the construction and analysis of real time systems in the early stages of the development process, and which aims to guarantee the functionality and time function of the system. The methods of analysis can be applied before the systems have been finalised, which is a great advantage. This research contributes to more advanced security functions in modern computer systems, such as the ones used in real time systems for cars and airplanes, says Jagadish Suryadevara.
Jagadish Suryadevara comes from India originally and he has taught and done research there for 15 years in the field of Computer Science and Embedded Systems. Through his research, he established contact with Mälardalen Real-time Research Centre (MRTC) at MDH and in 2008 he moved to Västerås and started his doctoral studies in Real Time Systems. After completing his doctoral degree and presenting his doctoral dissertation on 9 December, he will apply his research results in practice at Volvo CE.
– I am looking forward to learning how the methods suggested in my dissertation can be used in the industry and how my dissertation project can meet additional challenges in this area. It is also going to be exciting to combine research with industrial methods, says Jagadish Suryadevara.
Welcome to learn more about Jagadish Suryadevara’s research results and his dissertation Model Based Development of Embedded Systems using Logical Clock Constraints and Timed Automata today, Monday 9 December at 13:15 in Kappa at MDH in Västerås.