Deliverables

Final presentation at UTCN Research Conference 2014

Safe overtaking (movie) by Marius Moldovan

The Goal Structuring Notation is an argumentation notation used to structure and graphically represent a safety argument. The main feature of the tool is to translate the GSN graphical notation into description logic in order check the GSN model for consistency. Hence, the GSN model for a safety critical application can be specified both in graphical notation and in description logic. The advantage is that the specific reasoning services of description logic are enacted to verify the compliance of the case with the GSN standard and also to signal possible argumentation flaws. The SafeEd tool was used on scenarios from autonomous vehicle domain.