Title :
POSIX and the Verification Grand Challenge: A Roadmap
Author :
Freitas, Leo ; Woodcock, Jim ; Butterfield, Andrew
Author_Institution :
Univ. of York, York
fDate :
March 31 2008-April 3 2008
Abstract :
We present a research roadmap for the second pilot project in the Verified Software Grand Challenge on formally verified POSIX file stores. The work is inspired by the requirements for NASA´s forthcoming Mars Rover missions. The roadmap describes an integrated and comprehensive body of work, including current work, as well as further opportunities for collaboration.
Keywords :
application program interfaces; program verification; storage management; POSIX file store API; formal verification; storage management; verified software grand challenge project; Computer industry; Computer science; Fault tolerance; File systems; Flash memory; Mars; Power system reliability; Protocols; Software performance; Software tools; Grand Challenge; POSIX; file store; software verification;
Conference_Titel :
Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on
Conference_Location :
Belfast
Print_ISBN :
0-7695-3139-3
DOI :
10.1109/ICECCS.2008.35
