Safety assurance for safety-critical systems, such as autonomous vehicles, is of utmost importance, but is often difficult and expensive. Given the complexity and intensity of such systems, we believe it is time for the model-driven engineering community to come up with new solutions for assurance case development and management, which offer more automation, reusability, and comprehensiveness. We, at Mcscert team, propose WorkFlow+ (WF+), a safety assurance development framework that fosters efficient and incremental assurance by modeling (i) processes, (ii) data, and (iii) constraints (leading to arguments) as three distinctive but interrelated workflows; a WF+ model is an argument flow over an integral data and process flow. Even though WF+ is still a young contribution, it proved itself beneficial in an industrial project we’ve been recently working on. In particular, we used WF+ for the safety analysis of safety-critical components of autonomous vehicles and modeling the indications in ISO 26262. Based on feedback from our partners in the project, WF+ is able to systematically model the ad-hoc industrial safety engineering processes and features better traceability upon change and modifications in systems, which is very often the case in realistic settings. We are currently implementing an EMF-based modeling Eclipse plugin to make WF+ more broadly used by the safety engineering community. More publications on the matter will come out soon.
Mon 19 OctDisplayed time zone: Eastern Time (US & Canada) change
07:00 - 08:30 | |||
07:00 90mTutorial | Assurance of Complex Software-Intensive Systems using WF+ Tutorials Nicholas Annable , Mehrnoosh Askarpour McMaster University, Computing and Software Department, Zinovy Diskin McMaster University, Alan Wassyng McMaster University, Canada |