25.09.2019, 15:00, room 3945
Abstract:
Safety-critical embedded systems are increasingly gaining presence in the automotive and aviation industry as well as in the manufacturing and more recently, in high pressure hydraulic applications. These systems are responsible for performing tasks of high importance which, when performed incorrectly can lead to material damages, serious injuries or even human death. Development of a system with safety assurance is demanding and expensive. Towards this, in my thesis, I propose a software template that enables convenient development of safety-critical systems using ESX-3CS and ESX-3CM controllers from STW Technic. The proposed software template is developed following the rules of modern safety-critical software development. By careful analysis of different sources of errors, this template is developed to offer significant flexibility for its application in the hydraulics industry. In addition, I have developed different tools that ease the validation of software before deployment.