Backbone of Major R&T Projects
PikeOS is the reference platform for several R&T projects. More than 100 leading European companies like Airbus, EADS, Infineon, Siemens or Thales are working on the next generation of embedded platforms for safer Avionics, Railway or Automotive, trusted embedded computing, inter-operable tool chains for rapid design, prototyping and code generation, Java on multi-core processors, and verifiable Security, like e.g. in connectivity applications and the Medical market.
SYSGO is involved in the design and implementation of new technological solutions to satisfy industrial requirements within major international projects.
The drone market has extended from remotely operated flying devices to Uncrewed Aircraft Systems (UAS) that can operate autonomously Beyond Visible Line of Sight (BVLOS), introducing capabilities such as environmental sensing and independent decision making and enabling highly reliable and secure air to ground communication. ADACORSA targets to strengthen the European drone industry and increase public and regulatory acceptance of BVLOS (beyond visual line-of-sight) drones, by demonstrating technologies for safe, reliable and secure drone operation in all situations and flight phases.
50 partners from 12 countries – among which global leaders in the semiconductor, telecommunications and ICT industries - will drive research and development of components and systems for sensing, telecommunication and data processing along the electronics value-chain. Additionally, drone-led smart industries with high visibility and place for improvement will be developed which will pave the way for a higher public / industry acceptance of drone technologies. Within ADACORSA, consideration will be given to drones that can operate BVLOS and can dynamically change their flight plan and mission according to prevailing conditions.
Due to the increasing performance demands of mission- and safety-critical Cyber Physical Systems (of Systems) – CPS(oS) – these systems exhibit a rapidly growing complexity, manifested by an increasing number of (distributed) computational cores and application components connected via complex networks.
However, with the growing complexity and interconnectivity of these systems, the chances of hardware failures as well as disruptions due to cyber-attacks will also quickly increase. System adaptivity, foremost in terms of dynamically remapping of application components to processing cores, represents a promising technique to fuse fault- and intrusion tolerance with the increasing performance requirements of these mission- and safety-critical CPS(oS). In the ADMORPH project, we evaluate this hypothesis using a novel, holistic approach to the specification, design, analysis and runtime deployment of adaptive, i.e., dynamically morphing, mission- and safety-critical CPS(oS) that are robust against both component failures and cyber-attacks.
The AMPERE project is developing a new generation of software programming environments for low-energy and highly parallel and heterogeneous computing architectures, capable of implementing correct-by-construction advanced Cyber Physical Systems (CPS).
The key innovation of the AMPERE software architecture will be its capability of transforming the system model description of the CPS based on specific model-driven languages to the parallel programming models supported by the underlying parallel architecture, and so providing the level of performance required to implement the most advanced functionalities. Moreover, the AMPERE software architecture will fulfill the non-functional requirements (i.e., real-time, safety, energy-efficiency, security, reliability) imposed due to the cyber-physical interactions and captured in the CPS system description.
Project: BaSys 4.0
Open Platform for the 4th Industrial Revolution
BaSys 4.0 is a three year project that started on July 1, 2016. The goal of this project is to provide a holistic Industry 4.0 automation solution for dynamic as well as flexible management and reconfiguration for industrial scale production facilities.
Compositional Security Certification for Medium- to High-Assurance COTS-based Systems in Environments with emerging Threats
certMILS is a five year project that started on January 1, 2017 and will be coordinated by Technikon. It aims to protect critical infrastructure against cyber-attacks by compositional security certification and delivers a certified MILS platform, for the first time in Europe. It increases the economic efficiency and European competitiveness of Cyber-physical systems (CPS) development, while demonstrating the effectiveness of safety & security certification of composable systems.
The DECODER project addresses code and resources abstraction, and advanced software systems development. The DECODER consortium is providing productive and effective development tools for safe and secure ICT systems. One of the main goals of the project is to leverage existing code bases for easier reusing, thanks to documentation generation. The project improves productivity by increasing the abstraction level, at specification stage, using requirements engineering techniques to integrate more complete specifications into the development process, and formal methods to reduce the time and efforts for integration testing, replacing it by formal analyses. The team is developing new abstract specification languages, a key solution to raising the productivity and reliability problems:
ASFM, an abstract formal design language to navigate between different levels of abstractions defined by the formal and informal requirements, the specification, the user documentation, the developer documentation and the formal annotations and the code.
GSL, an abstract graphical specification language, capable of intuitively specifying some code and generating detailed specifications in ACSL/ACSL++ and JML. These abstractions concern the code as well as the data.
The objective of the "FabOS" project is to develop an open, distributed, real-time-capable and secure operating system for production that will be the IT backbone for the adaptable automation of the factory of the future and the foundation of an ecosystem for data-driven services and AI applications. Hybrid cloud platforms and IIoT applications are core elements of cyber-physical architectures and will form the basis of future production solutions.
FabOS forms a platform that provides components modelled on an operating system that link machines, infrastructure and services, just as an operating system does with user programs and hardware in the form of an abstraction layer. A reduction of IT costs and encapsulation of IT complexity to increase usability leads to a reduction of automation costs.
FabOS supports the changeability of systems and infrastructure in production from the sensor to the machine to the complete factory without system boundaries. This includes a uniform lifecycle management of all IT resources, production equipment, technical building equipment and infrastructure as well as the creation of a consistent infrastructure for real-time domain-spanning value creation networks for the AI-supported autonomous production of the future.
Fog Computing for Robotics and Industrial Automation is a European Training Network (ETN), which will fund and train 15 PhD candidates in the area of Fog Computing, during the period 2017-2021. Fog Computing, also sometimes called Edge Computing, brings the Cloud “closer to the ground”, to the edge of the network. FORA is an interdisciplinary, international, intersectoral network that will train the next generation of researchers in Fog Computing with applicability to industrial automation and manufacturing.
The training of future researchers is achieved via a research program focusing on: a reference system architecture for Fog Computing; resource management mechanisms and middleware for deploying mixed-criticality applications in the Fog; safety and security assurance; service-oriented application modeling and real-time machine learning.
Hardware-basierte Sicherheitsplattform für Eisenbahn-Leit- und Sicherungstechnik
Hardware-based Safety platform for Railway control and Safety technology
The aim of the project HASELNUSS is the development of a customized hardware-based security platform for railway command and control systems that provides required security functions without jeopardizing safety. The platform features provisions to ensure system integrity and constitutes a foundation for secure infrastructure networking. The HASELNUSS architecture is based on a hardware security module (HSM) of the latest generation, the Trusted Platform Module (TPM) 2.0, used as a trust anchor and microkernel-based operating system PikeOS that allows secure coexistence of critical and non-critical applications on the same hardware and can be easily verified.
The goal of IDEA is to define an "integrated development environment for aerospace", and in general for cyber-physical systems. The methods and modular toolkits will be tailored to the needs (approval aspects) of the aerospace industry, consistent with Flighpath 2050, and will be designed to support the entire development process for fault-tolerant, safety-critical embedded systems. This will be achieved through a wide spectrum of participating companies, including system manufacturers/OEM, suppliers/TIER1, service providers, technology suppliers, universities and research institutes. Participating companies can utilize the methods and modular toolkits with their own specific development process.
The MORAL project basically has two objectives. One is to develop a completely European, ITAR (International Traffic in Arms Regulations) free microcontroller for space applications, focused on small satellites, flight control and payload computers for the purposes of mission control, earth observation, navigation and many other applications. The processor core of the microcontroller is based on a novel IHP Peaktop architecture, including novel, European instruction set. The microcontroller will provide mechanisms for increased reliability and adaptability according to the needs of the space applications. Besides the microcontroller, the required ITAR-free middleware, RTOS (Real-Time Operating System) and toolchain will be also available. The other goal is to establish a new European company held by the core consortium partners involved in the project, which will target a trans-continental market. This new company, as the last stage of the evolution of the project, will sell the microcontroller and give support to the market. It will be focused to produce the microcontroller that can bootstrap the European market for space applications. In particular, we will target the fast growing small satellite market.
Scale4Edge is a joint project funded by the BMBF (Federal Ministry of Education and Research), which aims to significantly reduce the currently relatively long development times and high development costs of application-specific edge components (platform concept). The approach pursued in the project is based on providing a commercial ecosystem for a scalable and flexibly expandable edge computing platform after the end of the project. The ecosystem will be created by a large number of SMEs in cooperation with industry and research institutes. Each SME contributes its expertise and markets the result as part of its own product portfolio after the end of the project.
Today, the Railway system is facing one of the greatest technological leaps in its history: The digitization and networking of machines for Industry 4.0. The task of Digitalen Schiene Deutschland (DSD, Digital Rail Germany) is to consistently exploit the opportunities of digitization for Railway. DSD brings future technologies to the railway system. The use of digital technologies significantly increases the amount of data. In addition to rapidly clocked control information in the context of ETCS and ATO, the data collected by sensors and cameras in trains and on tracks must also be transmitted, processed and analysed in real-time in the future. Also required for the multitude of new technologies introduced is an IT-secure, scalable and future-proof data processing infrastructure.
Our Contribution to your Success
PikeOS and ELinOS provide a comprehensive software development environment allowing a maximum of product development flexibility. You can use Linux, (hard) real-time operations, applications with different Safety- and / or Security-critical levels on the same platform, consolidate your hardware, certify your product if needed or reuse legacy code.
Porting projects to new hardware platforms is simple, making software development for embedded systems well structured, fast to market and cost-efficient. SYSGO's involvement in R&T programs places these research efforts in a wider context and brings additional advantages: More drivers, hardware support, guest operating systems and better integration of tools.