Software design patterns with safety properties for safer railway applications

We have presented the main ideas of the SIRSEC project: using and reusing communication COTS and middleware, applying a MDE process for the development of safety related applications using generation tool chain from the design to the implementation and developing a catalogue of precertifiable design patterns including safety properties. ...