Automated and simulation based functional safety engineering methodology (aSET_ICON).

Due to the trend towards more complex safety-related products combining mechanics, electric components, electronics and software, their design and development become more complex, leading to longer development times and higher costs as well as higher risks on errors with highly manual safety engineering processes. The goal of the aSET-project to develop methodologies to automate the functional safety engineering process to make the process less error prone and to reduce the required design time and cost compared to the current manual state-of-the-practice. More specifically, the objectives of the project are: (i) the development of a Functional Safety Formal model implemented in a persistent way enabling the intrinsic coupling between all Functional Safety artefacts requested by ISO26262; (ii) the development of a method and demonstrator tooling for the translation of textual requirements into mathematical equations (that can serve as a design contract for the actual hardware design) that describe functionality of E/E/PE enabling the automation of HARA with the help of a functional E/E/PE model and plant model; (iii) the validation of these methods in a generic use case as well as in different industrial use cases demonstrating their functionality and the targeted design time and cost gains.

Keywords:SAFETY, MODELLING METHODS

Disciplines:Computer hardware, Computer theory, Scientific computing, Other computer engineering, information technology and mathematical engineering

Project type:Collaboration project