softwaresysteme.pt-dlr.de
Embedded und Cyber-Physical Systems
http://www.softwaresysteme.pt-dlr.de/de/embedded-cyberphysical-systems.php
Embedded und Cyber-Physical Systems. Ausgewählter Menüpunkt). Embedded und Cyber-Physical Systems. Ausgewählter Menüpunkt). Deutsches Zentrum für Luft- und Raumfahrt e.V., Projektträger Softwaresysteme und Wissenstechnologien. PDF – 1,19MB]. Strategische Forschungsagenda Embedded Systems. PDF – 0,09MB]. Nationale Roadmap Embedded Systems. PDF – 2,09MB]. Seitenpfad und Links zu sozialen Netzwerken. Embedded und Cyber-Physical Systems. Ausgewählter Menüpunkt). Embedded und Cyber-Physical Systems. Um die F&...
zs.informatik.uni-kiel.de
Projects — Dependable Systems Group
http://www.zs.informatik.uni-kiel.de/en/projects
Department of Computer Science. Prof Dr. Dirk Nowotka. Dept of Computer Science. Dept of Computer Science. On the Solvability Problem for Restricted Classes of Word Equations. F Manea, D. Nowotka, M. Schmid). One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations. D Nowotka, A. Saarela). Parallelizing Constraint Programming with Learning. T Ehlers, P. Stuckey). Efficiently Finding All Maximal α-gapped Repeats. P Gawrychowski, T. I, S. Inenaga, D. Köppl, F. Manea). Sep 12, 2016. Afforda...
pt-sw.de
Embedded und Cyber-Physical Systems
http://www.pt-sw.de/de/embedded-cyberphysical-systems.php
Embedded und Cyber-Physical Systems. Ausgewählter Menüpunkt). Virtuelle und Erweiterte Realität. Embedded und Cyber-Physical Systems. Ausgewählter Menüpunkt). Virtuelle und Erweiterte Realität. Embedded und Cyber-Physical Systems. Ausgewählter Menüpunkt). Virtuelle und Erweiterte Realität. Deutsches Zentrum für Luft- und Raumfahrt e.V., Projektträger Softwaresysteme und Wissenstechnologien. PDF – 1,19MB]. Strategische Forschungsagenda Embedded Systems. PDF – 0,09MB]. Nationale Roadmap Embedded Systems.
irion-junker.com
Referenzen | irion-junker.com
http://irion-junker.com/referenzen
Gerne rufen wir Sie an. Bitte geben Sie die vier Zeichen. Aus dem Bild ein:. Phone 49 6373.8962-13. Fax 49 6373.8962-24. RABBIT: Radnabenantrieb ohne Bremse /. Mit Höchster Raum- und Energieeffizienz. NDS: Navigation Data Standard. ARAMiS: Einsatz von Multicore-Prozessoren in sicherheitskritischen Anwendungen. IGreen: Standortbezogenes Dienste- und. Wissensnetzwerk in der Landwirtschaft. SimTD: Sichere Intelligente Mobilität. In den von uns. Audi, BMW, Continental, Daimler, Deutsche.
kosse-sh.de
Kompetenzverbund Software Systems Engineering » ARAMiS – Automotive, Railway and Avionics Multicore Systems
http://kosse-sh.de/projekte/aramis-automotive-railway-and-avionics-multicore-systems
Kompetenzverbund Software Systems Engineering. ARAMiS Automotive, Railway and Avionics Multicore Systems. ASSUME – Affordable Safe & Secure Mobility Evolution. DynaMod Dynamische Analyse für modellgetriebene Software-Modernisierung. Entwicklung einer hybrid-parallelen Rechnerarchitektur für Bioinformatik. HPSV – Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie. IBAST Instantaneous Bridge Assessment based on Sensor Network Technology. Xbase Produktivitätssteigerung b...
sesamo-project.eu
Links | SESAMO
http://www.sesamo-project.eu/content/links
Secure European virtualisation for trustworthy applications in critical domains. The mission of the EURO-MILS project is to develop a solution for virtualisation of heterogeneous resources and provide strong guarantees for isolation of resources by means of Common Criteria certification with usage of formal methods. Project on Automotive, Railway and Avionics Multicore Systems project focuses on safety and security aspects of multicore in transport systems. SIBASE: German Project on Security.
c-lab.de
C-Lab: ARAMiS
http://www.c-lab.de/projekte/aramis
ARAMiS (Automotive, Railway and Avionics Multicore Systems). ARAMiS hat zum Ziel, durch den Einsatz von Multicore-Technologie in den Mobilitätsdomänen Automobil, Avionik und Bahn die technologische Basis zur weiteren Erhöhung von Sicherheit, Verkehrseffizienz und Komfort zu schaffen. Bisher werden in Flugzeugen oder Autos nur Einkernprozessoren verwendet, weil nur deren Funktionsweise mit der im Verkehrswesen notwendigen Sicherheit voraussagbar und damit nur diese zertifizierbar sind. Einkernprozesso...