“Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems”

From Navigators

Jump to: navigation, search

João Carraca, Ricardo Correia Pinto, João Pedro Craveiro, José Rufino

in Proceedings of the 6th Simpósio de Informática (INFORUM), Porto, Portugal, Sept. 2014, pp. 457–472.

Abstract: Time- and Space-Partitioned systems are a current trend in aerospace systems and in autonomous vehicles in general. Such systems employ a partitioned environment through separation of applications in logical containers called partitions. Time and Space Partitioning (TSP) ensures that partitions do not mutually interfere in terms of fulfilment of realtime and addressing space encapsulation requirements. In this paper we present an architecture for future TSP systems and its extension of concerns into the security domain. We will describe the security components that make this architecture well-suitable for the construction of systems with Multiple Independent Levels of Safety and Security (MILS).

Download paper

Download Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems

Export citation


Project(s): Project:READAPT, Project:KARYON

Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)

Personal tools
Navigators toolbox