18.10.2011 - PM: SYSGO and SciSys demonstrate key security technology
SYSGO, a leading supplier of certifiable operating systems and embedded virtualization, and SciSys, a leading supplier of software solutions to the Space sector, announce the successful achievement of the ESA (European Space Agency) SecPar project. The objective of SecPar (Securely Partitioning Spacecraft Computing Resources) was to validate the use of secure time and space partitioning technologies to enable multi-use missions from a single platform.
Today most satellite systems are focused on single user communities (ie telecommunications, Earth observations, navigation). This partly arises from technology limitations in safely and securely partitioning on-board software resources between different users. SecPar has been focused at reversing this and in doing so underpin future space data services to commercial, scientific, civilian and defence communities simultaneously from a single platform.
SYSGO was part of a consortium led by SciSys and including EADS Astrium, the well-known company gathering the space activities of the EADS Group. SYSGO contributed by providing the TSP (Time and Space Partitioning) technology (PikeOS) its innovative embedded virtualization RTOS product, already used in major safety- and security-critical industrial equipment.
The main activities of the SecPar project included:
1.Defining an operational scenario for dual-use (civil/military) spacecraft
2.Establishing functional, operational and resource requirements for the on-board software
3.Selecting a kernel for use in securely separating this software against a range of practical criteria
4.Porting the kernel to a LEON3 processor
5.Producing a Secure Partitioning Test Bench to validate the security requirements
6.Providing a demonstration of the separation kernel technology on a virtual spacecraft simulator.
“I want to thank SciSys and SYSGO for the work they have performed on the SecPar activity,” said James Windsor, the ESA Technical Officer. “The team has displayed an expert understanding of the underlying issues and has introduced TSP and security as a key future technology for our space missions. ESA plans to further develop security components with the objective to ensure the integrity, confidentiality and availability of spacecraft flight software and avionics”.
The Acceptance Review for SecPar involved a demonstration of PikeOS running representative on-board software on a simulated spacecraft. The demonstration system and all partitioning software were fully accepted along with final reports and documentation.
”The collaboration with SYSGO was great,” said Roger Ward, Head of On Board Software at SciSys “ the SYSGO team provided us with excellent products, services and support at all stages of the project and it was a good introduction of their wider capabilities”
Meanwhile the team is confident that the technology will open up wider interest in other space satellite communities.
PikeOS is an innovative product, providing an embedded systems platform where multiple virtual machines can run simultaneously in a secure environment. The Safe and Secure Virtualization (SSV) technology allows multiple operating system APIs, called “Personalities”, to run concurrently on one machine, e.g. an ARINC-653 application together with Linux. The PikeOS microkernel architecture allows it to be used in cost sensitive, resource constrained devices as well as large, complex systems. The simplicity and compactness of the PikeOS design results in real-time performance that competes head-to-head with conventional proprietary RTOS solutions. PikeOS is certifiable to safety standards like DO-178B, IEC 61508 or EN 50128, is MILS compliant, and has achieved the First Level of Security Certification delivered by the French Network and Information Security Agency.
(Quelle: Pressemeldung Sysgo, 18.10.2011)
Link zum Artikel: www.sysgo.com