Customer Support
- Product Support
- Demoserver
-
03-10-2010 to 07-10-2010
DASC - 29th Digital Avionics Systems Conference
Salt Lake City - Utah
-
09-11-2010 to 10-11-2010
safetronic.2010
Munich - Germany
SYSGO in the press
Research and Development Projects
SYSGO is involved in the design and implementation of new technological solutions that satisfy industrial requirements whithin major international projects gathering end-users, research labs and solution suppliers.
The purpose of these projects is to make significant progress in defining new technologies that will be technically relevant, economically efficient, and made available to the industry in general. Industrial players are providing real-life requirements as well as demonstrators that validate both the feasibility and the viability of the new solutions.
SYSGO is committed to provide its experience and to implement in its products any new software component that results from those projects.
The ACROSS project
ACROSS stands for ARTEMIS CROSS-Domain Architecture
ACROSS is a three-year research project that aims to develop and implement an ARTEMIS cross-domain reference architecture for embedded systems based on the architecture blueprint developed in the European FP7 project GENESYS.
The project is funded by the ARTEMIS Joint Undertaking, Bundesministerium für Bildung und Forschung (Germany), Ministère de l'Économie, de l'industrie et de l'emploi (France), Ministero dell`Istruzione, dell`Università e della Ricerca (Italy), and Bundesministerium für Verkehr, Innovation und Technologie (Austria).
For more information, please go to: http://www.across-project.eu/
The INTERESTED project
INTERESTED stands for INTER-operable Embedded Systems Tool chain for Enhanced rapid Design.
The objective of INTERESTED is to realize the first European-wide reference and open interoperable tool-chain development environment ever, validated by Major Tool Users through real-life project demonstrators, ensuring an integrated, lower cost, highly dependable, safe and efficient development process to the benefit of critical European industries.
The project involves 13 partners, including: Airbus, Thales, Siemens, Absint, Esterel, TTTech, UNis, Symtavision, Artisan, Magneti Marelli,...
For more information, please go to: www.interested-ip.eu
The JEOPARD project
JEOPARD stands for Java EnvirOnment for PArallel Realtime Development.
The JEOPARD project is developing a platform independent software development interface for complex multicore systems, including SMP. The interface will be based on existing technologies including Java, the Real-Time Specification for Java (JSR 1 and JSR 282) and Safety-Critical Java (JSR 302).
The project involves 10 partners, including: EADS, aicas, University of York, Skysoft, RadioLabs, The Open Group, University of Vienna, FZI, Universitatea Technica Cluj-Napoca,...
For more information, please go to: www.jeopard.org
The PROARTIS project
PROARTIS stands for PRObabilistically Analysable Real-TIme Systems
This three-year research project is designed to demonstrate how a probabilistic approach to timing analysis will significantly improve system performance and timing analysis of new high performance hardware features and more complex critical real-time embedded software systems. The project aspires to obtain research results that enable the use of complex processors in these types of systems, providing high performance in airplanes, cars and satellites and resulting in systems with more advanced safety and energy efficient features.
The project involves 5 partners, including: Barcelona Supercomputing Center, Rapita Systems Ltd., University of Padua, INRIA, Airbus France and an Industrial Advisory Board including: IBM Haifa Research Lab, Infineon, NXP, AdaCore, European Space Agency, City University, BMW Group and SYSGO.
For more information, please go to: http://www.proartis-project.eu/
The SCARLETT project
SCARLETT stands for SCAlable and Reconfigurable eLectronics plaTforms and Tools.
The objective of this project is the evaluation and validation of new flight systems avionics architecture which can be applied to all classes of aircraft by scalability of both resources and functions.
The project involves 40 partners, including Airbus, Thales, Dassault Aviation, EADS, SAAB, DIEHL Aerospace, GE aviation, Barco, Gallileo Avionica, Messier Bugatti, ONERA, Alenia Aeronautica, TTTech,...
For more information, please go to : http://www.scarlettproject.eu
The TECOM project
TECOM stands for Trusted Embedded COMputing for embedded computing platforms.
The strategic objective of TECOM is to investigate solutions and architectures for embedded systems platforms which need to meet both security and integrity requirements. The TECOM approach will be to apply the concept of trusted platforms to real-time embedded systems.
The project involves 11 partners, including: EADS Defense & Security, Infineon, Sirrix AG, Elsag Datamag, Technikon, Aonix, Trusted Logix, Mixed Mode, Technische Universitat Dresden,...
For more information, please go to: http://www.tecom-project.eu/
The VERISOFT XT project
Verisoft XT is a three-year research project funded by the German Federal Ministry of Education and Research (BMBF). Project management agency is the German Aerospace Center (DLR). The main goal of the project is the pervasive formal verification of computer systems. The correct functionality of systems, as they are used, for example, in automotive engineering, in security technology and in the sector of medical technology, is to be mathematically proved. The proofs are computer aided in order to prevent human error by the scientists involved.
As part of this project, SYSGO initiated the formal verification of its Safe and Secure Virtualization product PikeOS, taking aim at the highest level of security corresponding to today's Common Criteria EAL 7. In cooperation with the European Microsoft Innovation Center at Aachen and the universities of Koblenz and Saarbrücken, the new innovative technique uses Microsoft's VCC tool recently released to the public. This technology includes a verifying C compiler used to annotate PikeOS and assembly code with assertions that always hold and that can be proved correct by VCC. The verification extends to both C and assembly code.
For more information, please go to: www.verisoftxt.de