Larrucea, Xabier2024-07-242024-07-242016-10-14Larrucea , X 2016 , Modelling and Certifying Safety for Cyber-Physical Systems : An Educational Experiment . in Proceedings - 42nd Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2016 . , 7592797 , Proceedings - 42nd Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2016 , Institute of Electrical and Electronics Engineers Inc. , pp. 198-205 , 42nd Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2016 , Limassol , Cyprus , 31/08/16 . https://doi.org/10.1109/SEAA.2016.28conference9781509028191https://hdl.handle.net/11556/2097Publisher Copyright: © 2016 IEEE.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.8enginfo:eu-repo/semantics/restrictedAccessconference output10.1109/SEAA.2016.28Assurance casesExperimental approachSafetyComputer Science ApplicationsSoftwarehttp://www.scopus.com/inward/record.url?scp=85020752192&partnerID=8YFLogxK