CrossControl R&D awarded
CrossControl specialists in system safety, Ph.D. Rikard Land and Ph.D. student Stefan Björnander, received an award for best paper at the International System Safety Conference, held in Boston in August 2013. Their paper, entitled “Towards Automatic Verification of Safety Properties in AADL System Models”, presents a method for reasoning about safety goals in modular systems. This method takes into account potential system or component changes, thus increasing the efficiency of the safety process. The paper was written together with Ph.D. Patrick Graydon at Mälardalen University, and the research was performed within the scope of the SafeCer project, consisting of 30+ partners throughout Europe, both academic institutions and companies.
Andrew Kristensen, Managing Director CrossControl Europe, comments: “This is a great acknowledgement of CrossControl’s experience and competence in system safety. As we provide system components to different types of machines and vehicles, the ability to understand and design for system safety is crucial for our customers.”
Rikard Land and Stefan Björnander