Parallelen, die sich im Unendlichen schneiden: Parallele Programmierung ist eine Voraussetzung für den effizienten Einsatz von Multicore-Systemen. (gemeinfrei/Pixabay)

EMB² = Parallel + Heterogen

Die Embedded Multicore Building Blocks (EMB²) sind eine als Open-Source-Software zur Verfügung stehende Bibliothek für die parallele Programmierung von eingebetteten Systemen. EMB² basiert auf MTAPI (Multicore Task Management API), einem Standard für das Task-Management in mit C/C++ implementierten Applikationen. Im Folgenden geben wir einen Überblick über EMB² und zeigen auf, wie sich Parallelität über die Grenzen von klassischen Multicore-Prozessoren hinaus mittels MTAPI nutzen lässt.

Weiterlesen
 (gemeinfrei/Pixabay)
Requirements

Das Lastenheft zum Anfassen

iNTENCE zeigt mit der "Ausführbaren Spezifikation" eine Methode auf, mit der Funktionsverantwortliche Umfänge und Ausprägungen von kundensichtbaren Funktionen früh im Projekt beherrschen können. Erreicht wird dies durch die frühzeitige Erlebbarkeit der Funktion durch Modellbildung.

Weiterlesen
Eine Paketlösung anstelle diverser Einzelkomponenten kann den Entwicklungsaufwand im Embedded-Umfeld deutlich verringern. (gemeinfrei/Pixabay)

Embedded Software als integriertes Paket

Bei der Auswahl kommerzieller Software, wird erwartet, dass diese vom Zulieferer qualifiziert und nach kommerziellen Standards getestet wird und kompatibel mit der Zielplattform ist. Dieser Artikel stellt das Konzept eines integrierten Softwarepakets vor, dessen Komponenten nach dem IEC/ISO/IEEE-12207 Standard entwickelt, integriert und getestet worden sind.

Weiterlesen
Eine riskante Situation: Bei Systemen im sicherheitskritischen Umfeld tut eine sorgfältige Abwägung der Risiken Not. (gemeinfrei/Pixabay)

Modellbasierte Risikoanalyse sicherheitskritischer Systeme

Die Europäische Norm für den Nachweis der Zuverlässigkeit, Verfügbarkeit, Instandhaltbarkeit und Sicherheit von Bahnanwendungen definiert den Begriff „Risiko“ als die „Kombination aus der erwarteten Häufigkeit eines Verlustes und der erwarteten Schwere dieses Verlustes“. Dieser Artikel zeigt, wie sich solche Risikoüberlegungen in Form eines UML-Modells erarbeiten lassen.

Weiterlesen
 (gemeinfrei/Pixabay)

Energiewende: Neue Geschäftsmodelle durch

Im Rahmen der Energiewende werden die klassischen Modelle der zentralen Energiegewinnung revolutioniert. Während früher Energieversorger mit der Herstellung und Verteilung von elektrischer Energie beschäftigt waren, bieten neue Konzepte wie Solar- oder Windstrom die Möglichkeit zur dezentralen Energiegewinnung und Einspeisung ins Netz.

Weiterlesen
Bei Robotern spielen Safety und Security eine zentrale Rolle. Safety, weil der Einsatz der Roboter potenziell Menschenleben gefährden könnte, und Security, weil Hackerangriffe die Programmierung verändern können – mit potenziell katastrophalen Folgen.  (gemeinfrei/Pixabay)

Synergieeffekte von Safety und Security

Roboter enthalten zwar grundsätzlich Safety-relevante (IEC 61508 Funktionale Sicherheit) Schutzmechanismen, um Schäden an Leib und Leben entgegen zu wirken. Allerdings ist Security (Angriffssicherheit: ISO 27034 und IEC 62443) bei (vernetzten) Robotern gleichermaßen unverzichtbar, da Security die Safety beeinflussen kann.

Weiterlesen
Ein Zug in Bewegung: Ähnlich problematisch zu beschreiben und zu modellieren ist ein dynamisches Embedded-System mit sich ändernden Beziehungen.   (gemeinfrei)
Systembeschreibung

Dynamische Softwarearchitektur für eingebettete Systeme

Mit der UML und den Erweiterungen SysML und MARTE lässt sich die statische Architektur einer Software grundsätzlich gut beschreiben. Ein Problem stellt aber die Dynamik des Systems dar. Insbesondere das Zusammenspiel zwischen der Hardware, dem Speichermodell, dem Betriebssystem und der Anwendungssoftware kann nur unzureichend strukturiert und beschrieben werden.

Weiterlesen