Title :
SPARK 2014: a language for safety and security
Author :
Schanda, F.L.F. ; Matthews, S.R.
Author_Institution :
Altran UK Ltd., UK
Abstract :
Usually systems are engineered with either safety properties in mind, or with security considerations. However in today´s increasingly connected world, safety-critical systems often also have security requirements. We present SPARK 2014, a language which addresses the verification of safety and security requirements simultaneously and cost-effectively.
Keywords :
program verification; safety; safety-critical software; security of data; SPARK 2014; programming language; safety properties; safety requirement verification; safety-critical systems; security considerations; security requirement verification; SPARK; formal methods; safety; security; static analysis;
Conference_Titel :
System Safety and Cyber Security (2014), ??????9th IET International Conference on
Print_ISBN :
978-1-84919-940-7
