This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
A major contributor to this article appears to have a close connection with its subject. It may require cleanup to comply with Wikipedia's content policies, particularly neutral point of view. Please discuss further on the talk page.(June 2018) (Learn how and when to remove this message)
This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "SYSGO" – news · newspapers · books · scholar · JSTOR(June 2018) (Learn how and when to remove this message)
(Learn how and when to remove this message)
SYSGO GmbH
Company type
Subsidiary
Founded
1991
Headquarters
Mainz, Germany
Key people
Etienne Butery (CEO), Jürgen Hettich (COO)
Products
ELinOS, PikeOS
Parent
Thales Group
SYSGO GmbH is a German information technologies company that supplies operating systems and services for embedded systems with high safety and security-related requirements, using Linux. For security-critical applications, the company offers the Hypervisor and RTOS PikeOS, an operating system for multicore processors and the foundation for intelligent devices in the Internet of Things (IoT).
As an operating system manufacturer provider, SYSGO supports companies with the formal certification of software to international standards for safety and security in markets such as aerospace and defence, industrial automation, automotive, railway, medical as well as network infrastructure. SYSGO participates in a variety of international research projects and standardisation initiatives in the area of safety and security.
SYSGO GmbH is a German information technologies company that supplies operating systems and services for embedded systems with high safety and security-related...
Security certification standards according to: Common Criteria SAR (?) SYSGO is committed to establish the technology and business partnerships that...
Thales Japan Thales Training & Simulation Thales Alenia Space Thales Elektronic Systems GmbH Edisoft SYSGO Vormetric Imperva Website thalesgroup.com...
free operating system. ELinOS Linux distribution for embedded systems by SYSGO. ELinOS focuses on industrial application and provides real-time extensions...
This is a list of operating systems. Computer operating systems can be categorized by technology, ownership, licensing, working state, usage, and by many...
not yet common. Operating systems formally verified include seL4, and SYSGO's PikeOS – but these make up a very small percentage of the market. It is...
Green Hills Software's Integrity operating system;[citation needed] and SYSGO's PikeOS. In 2016, a team led by Zhong Shao at Yale developed a formally...
Windows, Linux, OS X, FreeBSD, NetBSD Mac OS X, Darwin, Linux GPL PikeOS SYSGO AG PowerPC, x86, ARM, MIPS, SPARC, SuperH Same as host No host OS, Linux...
LLC 2011 7.1 ? 2023-10-03 X Ubuntu, Debian general None Active ELinOS SYSGOSYSGO 1999 7.1 ? 2022-04 X Independent embedded systems Partial Active Emdebian...
after being discovered by employees at Amazon, Cyberus Technology and SYSGO. Besides being used for floating point arithmetic, the FPU registers are...
companies have MILS separation kernel products: Green Hills Software LynuxWorks SYSGO Wind River Systems Bertin Technologies OK Labs Companies with other separation...