Formal System Verification for Trustworthy Embedded Systems, Final Report Option 1 – AOARD 104105

Select |




Print


Andronick, June; Klein, Gerwin; Murray, Toby

Andronick, June; Klein, Gerwin; Murray, Toby


2011-11-17


Report


Sydney, Australia


This report summarises the work done in Option 1 of AOARD project 104105, Formal System Verification for Trustworthy Embedded Systems. It describes the progress made in formalising a general framework that allows us to prove invariant properties about a system consisting of a microkernel, user-level trusted components, and user-level untrusted components. It explains how the different parts of this framework would be put together to obtain invariant properties of system execution, reducing the necessary reasoning about system composition, kernel access control, and trusted component behaviour.


1833-9646-5617


nicta:5617


Andronick, June; Klein, Gerwin; Murray, Toby. Formal System Verification for Trustworthy Embedded Systems, Final Report Option 1 – AOARD 104105. 2011-11-17. nicta:5617.



Loading citation data...

Citation counts
(Requires subscription to view)