Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms Holger Blasum SYSGO AG Klein-Winternheim, Germany

Source URL: mils-workshop-2015.mils.community

PikeOS: End-to-End predictability for networked applications on multi-core avionics platforms Sergey Tverdyshev, SYSGO AG Don Kuzhiyelil, SYSGO AG © SYSGO AG

Source URL: events.fortiss.org

HomeServer / FacilityServer GNU GPL Folgende Software wird vom HS/FS verwendet: The following software is being used by HS/FS: BusyBox http://www.busybox.net/ Pyton 2.4 http://pyton.org/ ELinOS http://www.sysgo.com

Source URL: download.gira.de

DOC Document

Source URL: www.lauterbach.com

• PikeOS
• ELinOS
• SYSGO
• Embedded systems
• Embedded software
• Operating system
• Hypervisor
• Debugging
• System software
• Software
• Computer architecture

ANNOUNCEMENT LETTER The SAFURE project officially started on 1st February 2015 and is scheduled for 36 months. It receives funding from the European Union’s Horizon 2020 Programme (H2020under grant agreemen

Source URL: www.symtavision.com

• Framework Programmes for Research and Technological Development
• Computer security
• TTTech
• Embedded system
• SYSGO
• Computing
• Technology
• Security
• National security
• Cyber-physical system

Proving Memory Separation in a Microkernel by Code Level Verification Holger Blasum and Sergey Tverdyshev Thorsten Bormer Christoph Baumann Karlsruhe Institute of Technology, SYSGO AG, Klein-Winternheim, Germany

Source URL: www-wjp.cs.uni-saarland.de

• Windows NT architecture
• Formal methods
• Memory management
• Separation kernel
• Formal verification
• Kernel
• Microkernel
• Object Manager
• C dynamic memory allocation
• Computer architecture
• System software
• Software