Modelling and Certifying Safety for Cyber-Physical Systems: An Educational Experiment

No Thumbnail Available
Identifiers
URI: https://hdl.handle.net/11556/2097
ISBN: 9781509028191
DOI: 10.1109/SEAA.2016.28
Publication date
2016-10-14
Authors
Advisors
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of Electrical and Electronics Engineers Inc.
Citations
Google Scholar
Export
Research Projects
Organizational Units
Journal Issue
Abstract
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.
Description
Publisher Copyright: © 2016 IEEE.
Keywords
Assurance cases , Experimental approach , Safety , Computer Science Applications , Software
Type
conference output
Citation
Larrucea , 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.28
conference