-
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 ****an
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...
-
Overview ELinOS 7.1?" (PDF).
sysgo.com. 25
April 2022.
Retrieved 25
April 2022.
Brief ELinOS description Supported Hardware for
ELinOS SYSGO's official site...
- This is a list of
operating systems.
Computer operating systems can be
categorized by technology, ownership, licensing,
working state, usage, and by many...
-
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...
- 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...
- 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...
-
Cisco IOS
Cisco AireOS LynxOS PikeOS RTOS and
virtualization platform from
SYSGO ELinOS embedded Linux eCos
Broadcom BCM Tech
RTEMS BlueCat embedded Linux...