DocumentCode
3590251
Title
SPARK 2014: a language for safety and security
Author
Schanda, F.L.F. ; Matthews, S.R.
Author_Institution
Altran UK Ltd., UK
fYear
2014
Firstpage
1
Lastpage
5
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;
fLanguage
English
Publisher
iet
Conference_Titel
System Safety and Cyber Security (2014), ??????9th IET International Conference on
Print_ISBN
978-1-84919-940-7
Type
conf
Filename
7111721
Link To Document