Embedded systems (ES) can be found everywhere; in vehicles, robots, medical appliances, etc. Software reliability of these systems is paramount. The trend of these systems is to incorporate more and more complex functionality. Timing behavior is usually addressed during the final phases of the development process, resulting in long and costly design iterations. This research will focus on extending academic theories, specifically response-time analysis (RTA), for timing predictions of ES. RTA theory is a mature technology from a scientific viewpoint. However, the industrial impact of these theories has been limited and unsuccessful. This project will investigate, through studies on actual systems, how RTA can be extended to incorporate information of the behavior of actual systems in order to improve the accuracy of RTA. Our preliminary research has already identified some of the problems to be addressed. Furthermore, we will investigate how to encapsulate this theory into tools, so it can be incorporated into development tool chains. With such tools, timing flaws can be discovered early in the design process, reducing development costs significantly. RTA also provides formal evidence of correctness, an important aspect in certification processes. This research proposal has been identified in cooperation with several industrial partners. Thus, besides providing new scientific real-time theories, they will have a good chance of being accepted and adopted by industry.
First Name | Last Name | Title |
---|---|---|
Mikael | Sjödin | Professor,Research Leader |
Jukka | Mäki-Turja | Senior Lecturer |
Kurt-Lennart | Lundbäck |
Towards Modeling and Holistic Timing Analysis of Industrial Component-Based DRE Systems (Apr 2012) Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin 19th IEEE conference on Engineering of Computer Based Systems (ECBS-2012)
Support for Holistic Response-time Analysis in an Industrial Tool Suite: Implementation Issues, Experiences and a Case Study (Apr 2012) Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin 19th IEEE conference on Engineering of Computer Based Systems (ECBS-2012)
Extending Schedulability Analysis of Controller Area Network for Mixed (Periodic/Sporadic) Messages (Sep 2011) Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin the 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), 2011
Extending Response-Time Analysis of Controller Area Network (CAN) with FIFO Queues for Mixed Messages (Sep 2011) Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin the 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), 2011, WIP
Response-Time Analysis for Transactions with Execution-Time Dependencies (Sep 2011) Jukka Mäki-Turja, Mikael Sjödin 19th International Conference on Real-Time and Network Systems (RTNS)
Analyzable Modeling of Legacy Communication in Component-Based Distributed Embedded Systems (Aug 2011) Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin, Jan Carlson 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2011)
Partner | Type |
---|---|
Arcticus Systems AB | Industrial |