%0 Generic %A Larrucea, Xabier %T Modelling and Certifying Safety for Cyber-Physical Systems: An Educational Experiment %J Proceedings - 42nd Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2016 %D 2016 %U https://hdl.handle.net/11556/2097 %X Modelling and certifying safety systems are not straightforward activities, and they usually require a specific training and experience. The emergence of ISO26262 as a standard for the automotive sector is foreseen as a basic knowledge in the automotive sector. A special attention is required to these safety critical systems and to its related standards. This paper provides a controlled experiment carried out in classroom for teaching and learning safety principles by using Opencert tool. %~