Embedded Engineering

Sicherheitsorientierte Softwareentwicklung im Bereich Embedded Systems

In sicherheitsrelevante Systeme eingebettete Software muss besonderen Qualitätsanforderungen entsprechen.

Wir erarbeiten maßgeschneiderte, echtzeitfähige Software für sichere eingebettete Systeme. Von der Auswertung einer Anforderung bis zum Test übernehmen wir alle Schritte in einem eng mit unserem Auftraggeber abgestimmten Prozess.

Zu unseren Kompetenzen gehören:

  • Design und Programmierung von Lösungen für sicherheitskritische Steuerungen
  • Entwicklung und Integration von Embedded Software-Routinen und Algorithmen
  • Durchführung von Code Reviews und Debugging
  • Anwendung von gängigen Qualitätssicherungsmethoden
  • Anwendung von Echtzeitanforderungen


Unser breit aufgestelltes Team ist in allen gängigen und aktuellen Programmiersprachen und -paradigmen zu Hause.

Dazu gehören:

  • C/C++
  • Alle unter IEC 61131.3 standardisierte Programmiersprachen, wie FBS/C+ (Funktionsbaustein-Sprache) und ST (Strukturierter Text)
  • Für die Unittests:  C/C++ (Java, C#, Skriptsprachen: Ruby, Python u.a.)


Selbstverständlich haben wir den Markt und die neuesten Programmiersprachen fest im Blick. Was vielversprechend klingt, testen wir intern und erarbeiten im Erfahrungsaustausch die Vor- und Nachteile. So sind wir immer auf dem neuesten Stand und können, wenn nötig, Optimierungsprozesse anstoßen.

Case Study

Model based development using a certified code generator

In this paper, we will present benefits of a model-based software

development approach using automatic code generation

(certified to EN 50128) evaluated in a real-life project in direct

comparison to conventional software development techniques...                                                                                

 

                                                                               » Download PDF


DIE SICHERHEIT EINGEBETTETER SYSTEME

 

Sicherheitsorientierte Softwareentwicklung fusst auf der internationalen Norm IEC 61508 und deren Varianten, die wir natürlich beachten und entsprechend dokumentieren.

Unsere qualitätssichernden Maßnahmen im Einzelnen:

  •     die Einhaltung von Kodierrichtlinien wie MISRA C/C++
  •     Code- und Dokumentenreviews
  •     Unittests (Modultests)
  •     u. v. m.

Die ICS ist ISO/IEC 27001 zertifiziert. Um den gestiegenen Sicherheitsanforderungen gerecht zu werden, wenden wir alle Regeln und Methoden unseres ISMS selbstverständlich auch bei der Softwareentwicklung an.