RSS
Twitter
events
Am 24. Mai 2012 findet das DESIGN&ELEKTRONIK-Entwicklerforum »HMI – Komponenten & Lösungen« mit begleitender Fachausstellung statt. Die Themen: »Bedienen und Beobachten: Technik, Know-how und Tools für das Design moderner Benutzerschnittstellen«.
Auch in diesem Jahr veranstaltet die DESIGN&ELEKTRONIK wieder das Entwicklerforum »Embedded-System-Entwicklung« am 11. und 12. Juli 2012 in München. Neben einem technisch anspruchsvollen Vortragsprogramm ermöglichen verschiedene Workshops den Teilnehmern einen differenzierten Einblick in die Thematik.
Ausführliche Informationen:
www.embedded-entwicklerforum.de
Produkte des Jahres 2012
Linux /ARM
Linux ist heute erste Wahl geworden, wenn es um die Entscheidung für ein Betriebssystem in einem leistungsfähigen Embedded-System geht. Wie kann es sein, dass eine Open-Source-Software gerade bei Embedded-Systemen so erfolgreich ist?
Die große Konferenz für ARM-Systementwicklung am 11. und 12. Juli 2012 in München bietet Entwicklern die Gelegenheit, sich detailliertes Wissen über die aktuellen Cortex-Architekturen anzueignen, die mittlerweile zum Industriestandard avanciert sind.
Ausführliche Informationen:
www.arm-entwicklerkonferenz.de
embedded world Technology Report
Infos und Hintergründe rund um Android im Embedded-Umfeld.
Welche Embedded-Trends zeichnen sich ab? Im »embedded world Technology Report« gibt ein unabhängiger Expertenrat einen exklusiven Einblick in aktuelle Entwicklungen und zukünftige Trends im Embedded-Bereich.
Interessiert? Hier geht es zum kostenlosen Download
embedded world special
Wir haben aktuell von der weltgrößten Messe für die Embedded-Branche mit News, Videobeiträgen und Produktneuheiten berichtet.
Windows Embedded Standard 7
Was ist neu in Windows Embedded Standard 7? Lesen Sie alles rund um das neue Microsoft-Embedded-Betriebssystem Embedded Standard 7 in unserem Spezial.
Windows 7 - Special zum Download
Marktübersichten Embedded
Wer bietet was?
Schnelle Information auf einen Klick!
Software im sicherheitskritischen Bereich
Um die »Worst-Case Execution Time« zu erhalten, gibt es verschiedene Herangehensweisen – bequeme und weniger bequeme.
MathWorks: Luft- und Raumfahrt
Simulink Code Inspector automatisiert Quellcode-Überprüfung
Der neue Simulink Code Inspector von MathWorks vereinfacht die Überprüfung von Quellcode, der aus Simulink-Modellen generiert wurde. Luft- und Raumfahrtingenieure können jetzt mit dem Simulink Code Inspector detaillierte Model-to-Code- und Code-to-Model-Prüfberichte erstellen, um Quellcode gemäß DO-178B, Tabelle A-5, zu verifizieren und nachverfolgbar zu machen.
Anzeige
Nach herkömmlichem Vorgehen ist diese Code-Verifikation zeitaufwändig und fehleranfällig, da sie eine manuelle, zeilenweise Prüfung des Codes anhand einer Projekt-Checkliste erfordert. Der Simulink Code Inspector nutzt hingegen einen automatisierten Prozess, um die Code-Struktur mit dem Modell zu vergleichen. Dabei werden die Blöcke, Parameter und Einstellungen des Modells systematisch mit den Operationen, Operatoren und Daten im generierten Code verglichen.
Der Simulink Code Inspector erstellt außerdem Verifikations- und Rückverfolgbarkeitsberichte, die überprüft, archiviert und an Zertifizierungsstellen übermittelt werden können. Dies resultiert in einer beträchtlichen Zeit- und Kosteneinsparung für die Verifikation.
Mit dem Simulink Code Inspector bereiten Ingenieure Modelle für die Codeprüfung unter Einsatz von Simulink-Blöcken und Modellparametern, die für High-Integrity Systeme typisch sind, vor. Anschließend können sie Code aus den Modellen generieren, den Code verifizieren und die Prüf- und Rückverfolgbarkeitsberichte kontrollieren.
Mit der Kombination aus Simulink für das Systemdesign und die Simulation, Embedded Coder für die Generierung von Flight Code und Simulink Code Inspector für die Überprüfung von Quellcode steht Luft- und Raumfahrtingenieuren nun eine hochgradig automatisierte und flexible Umgebung für Model-Based Design und die DO-178-konforme Entwicklung und Verifikation zur Verfügung.
Weiterführende Links:
