We describe an approach to control-flow integrity protection for real-time systems. We present TrackOS, a security-aware realtime operating system. TrackOS checks a task’s control stack against a statically-generated call graph, generated by an abstract interpretationbased tool that requires no source code. The monitoring is done from a dedicated task, the schedule of which is controlled by the real-time operating system scheduler. Finally, we implement a version of software-based attestation (SWATT) to ensure program-data integrity to strengthen our control-flow integrity checks. We demonstrate the feasibility of our approach by monitoring an open source autopilot in flight.
CITATION STYLE
Pike, L., Hickey, P., Elliott, T., Mertens, E., & Tomb, A. (2016). TrackOS: A security-aware real-time operating system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10012 LNCS, pp. 302–317). Springer Verlag. https://doi.org/10.1007/978-3-319-46982-9_19
Mendeley helps you to discover research relevant for your work.