Assessment of smart device software

The assurance of smart devices for use in critical applications requires the safety assessment of their software. The overall objective of this project is to develop an approach to the assessment of such smart device software that takes into consideration: 1) the particular issues of assessing COTS (commercial off-the-shelf) and the design and accessibility of smart devices, 2) regulatory context of the nuclear industry in Finland (e.g. YVL guides 2.0, 2.1, 2.7, 2.8, 5.5), 3) current practices of software assurance developed in Finland [1-6] and more widely in the UK and European projects [7-10]. The first phase of the project was to appraise existing Finnish and other research and practices to define a framework for assessment. As the second phase, the proposed approach applied to an actual smart device.