Modellierung und Codegenerierung für Embedded Systeme mit eTrice

Was müssen wir tun, um erfolgreich Embedded Systeme zu entwickeln?

• Komplexität beherrschen über gute Architekturen
• Schnelle, einfache Entwicklung von Struktur und Verhalten
• Testen auf unterschiedlichen Ebenen (Komponenten/Units, Integration, System)
• Nicht-funktionale Anforderungen abdecken (Änderbarkeit, Robustheit, Wiederverwendbarkeit, …)
• Effizient im Team kommunizieren

Stellen wir die Architektur mit Modellen ins Zentrum der Entwicklung!

1. Start mit dem Architekturmodell. Es definiert eine modulare und tragfähige strukturelle Architektur.
2. Am Architekturmodell hängen Komponentenmodelle zur Definition der Struktur und des Verhaltens.
3. Die Codegenerierung sorgt für die schnelle und fehlerfreie Umsetzung des Modells in ausführbaren Code.
4. Auf Modellebene können einzelne Komponenten und deren Integration direkt durch Software-in-the-Loop (SIL) getestet werden. Die nötigen Umgebungssimulationen und Testcases können ebenfalls direkt im Modell definiert werden.
5. Die SIL-Tests können einfach in Hardware-in-the-Loop (HIL) Tests überführt und weiterentwickelt werden. Eine passende HIL Plattform steht mit dem miniHIL zur Verfügung.

Iterationen – sind so nicht nur über dem Code, sondern auch über der Architektur möglich! Architekturänderungen werden durch die Codegenerierung sofort umgesetzt.

Automatisierung – Continuous-Integration beschleunigt sämtliche Schritte massiv (Entwicklung & Test)

Was erreichen wir dadurch?

• Das Architekturmodell ist immer aktuell
• Effiziente Kommunikation im Team und Arbeit an der Applikation auf einer hohen Abstraktionsebene
• Der Code ist immer synchron mit dem Architekturmodell
• Man kann sich bei der Entwicklung auf das WAS fokussieren – das WIE überlässt man hauptsächlich dem Codegenerator
• Die Tests auf allen Ebenen hängen direkt am Architekturmodell und können so schnell umgesetzt und sehr gut wiederverwendet werden
• Der sehr hohe Grad an Automatisierung beschleunigt die Entwicklung
• Durch Continuous-Integration kann für jede Änderung automatisch die Applikation gebaut und getestet werden – teilweise innerhalb von Minuten

Und wie geht das?

Mit unserem Open-Source Produkt eTrice und der Sprache Real-Time Object-Oriented Modeling (ROOM)!

• Modellierung der Architektur für Struktur und Verhalten
• Effiziente Code Generierung für Embedded Systeme
• ROOM ist eine Architektursprache speziell für Echtzeitsysteme
• Die entstehenden Modelle sind in hohem Maße wiederverwendbar, skalierbar und robust

Für Tests können unsere Testmethoden direkt in die ROOM Modelle integriert werden

• Auf Modellebene können einzelne Komponenten (Aktoren in ROOM) und deren Integration direkt durch Software-in-the-Loop (SIL) getestet werden. Die nötigen Umgebungssimulationen und Testcases können ebenfalls direkt im Modell definiert werden.
• Die SIL-Tests können einfach in Hardware-in-the-Loop (HIL) Tests überführt und weiterentwickelt werden. Eine passende HIL Plattform steht mit dem miniHIL zur Verfügung.
• Für die Absicherung zur Modellierungs- oder Laufzeit, können im Modell Contracts für die Schnittstellen definiert werden. Diese werden entweder zur Modellierungszeit formal geprüft, oder zur Laufzeit durch generierte Monitore überwacht.