Embedded Systems – weil das Herzstück oft im Verborgenen liegt

„Mit unserem interdisziplinären Ansatz und der Hardware immer im Blick, entwickeln wir neue oder optimieren bestehende Algorithmen hinsichtlich der Prozessorauslastung.“

Maximale Leistung bei Multicore-Architekturen

Leistungsfähigere Hardware für leistungsfähigere Funktionen – Multicore liegt im Trend. Um die maximale Leistung ausnutzen zu können, ist eine Anpassung bestehender Software-Architekturen von Singlecore auf Multicore erforderlich. Mit Software-Expertise und Hardware-Know-how entwickeln wir für Sie Multicore-Architekturen mit optimalem Scheduling für homogene und heterogene Kerne - damit Ihrer bestehenden oder neuen Software keine Grenzen gesetzt sind.

Konvertierung von Floating Point in Fixed Point

Bei der Konvertierung von Floating Point auf Fixed Point Arithmetik entstehen Ungenauigkeiten, die wir durch die Wahl einer angemessenen Skalierung minimieren und bei Bedarf ungünstige Strukturen in der Arithmetik umwandeln. Mit langjähriger Expertise analysieren wir methodisch den in der konkreten Anwendung auftretenden Dynamikbereich und leiten auf diese Weise ohne Umwege die optimale Skalierung für Fixed Point Implementierungen ab. Darüber hinaus finden und optimieren unsere Experten Strukturen in komplexen Arithmetiken, wo Tools an ihre Grenzen stoßen. Auf diese Weise können Sie Controller ohne FPU verwenden und profitieren dadurch von Effizienzsteigerung durch geringeren Energieverbrauch und Kostenreduktion durch Realisierung von Funktionen auf kleinen Embedded Plattformen. Gerade bei Systemen mit hoher Stückzahl ist dies für Sie der entscheidende Wettbewerbsvorteil.

Qualitätssicherung bei C-Programmierung

Innovative Funktionen benötigen große Gestaltungsfreiräume. Die Programmierung mit C gewährt diese Gestaltungsfreiräume, jedoch steigt durch eben jene auch die Fehleranfälligkeit. Qualitätssicherungsmaßnahmen einführen, Prozesse und Tools beherrschen - Qualitätsbewusstsein steht bei uns nicht nur im Handbuch, sondern ist in unseren Köpfen fest verankert. Denn nur auf diese Weise können wir für Sie lesbaren und korrekten Programmcode erzeugen, der jeder statischen Verifikation standhält.

Unsere Leistungen

  • Entwicklung von Embedded Software mit:

    • C-Programmierung
    • Modellbasiert mit Codegenerierung inkl. Parametrierung

  • Multicore-Architekturen (homogen und heterogen)
  • Konvertierung der Software von Floating Point in Fixed Point
  • Qualitätssicherungsmaßnahmen, Tools, Prozesse und statische Verifikation
  • Absicherung von Embedded Software
  • Implementierung auf Zielplattform
  • Systemintegration
  • Safety: Normgerechte Umsetzung, FTA und FMEDA
  • Security

Echtzeitsysteme - zuverlässig, prozessoroptimiert und natürlich echtzeitfähig

„Ausführungszeit garantieren und dies auch nachweisen können – unser Programmcode hält, was er verspricht.“

Kostensenkung durch optimale Prozessorauslastung

Echtzeitfähigkeit und gleichzeitig geringe Prozessorauslastung – das macht oft den Unterschied bei der Embedded Programmierung. Durch frühzeitige Ermittlung der Echtzeitbedingungen legen wir Ihr System so aus, dass die vorhandene Rechnerleistung bestmöglich ausgenutzt wird und realisieren so den Einsatz kostengünstiger Hardware.

Garantierte Ausführungszeit

Code, der zu 99 % läuft, reicht nicht. Die Hardware-Architektur kennen und nach strengsten Qualitätssicherungsmaßnahmen arbeiten – mit diesen Grundvoraussetzungen entwickeln wir Programmcode, dessen Ausführungszeit garantiert werden kann. Und nachweisbar diese Garantie hält – zu 100 %.

Ermittlung von Laufzeiten

Das Einhalten der maximal zulässigen Prozessorauslastung stellt in der Entwicklung eine elementare Herausforderung dar. Zu diesem Zweck führen wir für Sie Analysen zur Laufzeitbestimmung durch. Besonders bei sicherheitskritischen Anwendungen überprüfen wir mittels WCET, ob die Echtzeitanforderungen eingehalten und somit all Ihre Anforderungen zuverlässig erfüllt werden.

Unsere Leistungen

  • Echtzeitfähige Software-Architekturen
  • Kennen und verstehen der Hardware-Architektur (Controller)
  • Laufzeitanalysen

    • Verifikation mittels Laufzeitmessung
    • Ermittlung der WCET (Worst Case Execution Time)

  • Echtzeitbetriebssysteme/Echtzeitumgebungen: QNX, VxWorks, KEIL RTX, Embedded Linux, LTX, FreeRTOS