events

DESIGN&ELEKTRONIK-Entwicklerforum HMI – Komponenten & Lösungen
DESIGN&ELEKTRONIK-Entwicklerforum HMI – Komponenten & Lösungen

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«.

Melden Sie sich jetzt an…

DESIGN&ELEKTRONIK-Entwicklerforum »Embedded-System-Entwicklung«
DESIGN&ELEKTRONIK-Entwicklerforum »Embedded-System-Entwicklung«

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: Embedded für alle
Linux: Embedded für alle

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?

Konferenz für ARM-Systementwicklung
Konferenz für ARM-Systementwicklung

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

Android & Embedded
embedded world Technology Report

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

embedded world 2012
embedded world 2012

Wir haben aktuell von der weltgrößten Messe für die Embedded-Branche mit News, Videobeiträgen und Produktneuheiten berichtet.

Windows Embedded Standard 7

Windows Embedded Standard 7
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

Windows 7 -Special zum Download
Windows 7 -Special zum Download

20 Seiten Fachwissen – Das Windows-Embedded-Special als PDF-Download.


Marktübersichten Embedded

Marktübersichten aus dem Bereich Embedded

Software im sicherheitskritischen Bereich

Entwicklungssoftware
Entwicklungssoftware

Um die »Worst-Case Execution Time« zu erhalten, gibt es verschiedene Herangehensweisen – bequeme und weniger bequeme.


04. August 2011
Forschungsprojekt SeSaM

Sicherheit: Raus aus der US-Abhängigkeit

Viele in der IT-Sicherheit benötigte Komponenten beruhen heute fast ausschließlich auf US-Technologie. Mit dem BMBF-geförderten Projekt SeSaM soll das Fundament für ein sicherheitskritisches Betriebssystem mit deutschen Wurzeln geschaffen werden.

Anzeige

Rootkit Security
Symantec 
zoom

Auch die gängigen, im Rahmen der »Common Criteria for IT-Security Evaluation« (CC) definierten Protection Profiles wurden in den USA erarbeitet und zertifiziert. Da es jedoch nicht im nationalen Interesse liegen kann, sich in grundlegenden Sicherheitstechnologien ausschließlich auf US-Technologie zu verlassen, steigt die Nachfrage nach europäischen Alternativen.

Aus diesem Grund haben das Fraunhofer-Institut IESE, die Unternehmen Sysgo, EADS und DFKI das Projekt SeSaM (Secure and Safe Microkernel) gegründet. Für dieses Projekt sind folgende Ziele vorgegeben:

Security-Anforderungen für Virtualisierungslösungen analysieren und erarbeiten. Dabei soll ein »Schutzprofil« erstellt werden, das eine spätere Zertifizierung für Virtualisierungslösungen deutlich erleichtert.
Nach der Definition des »Schutzprofils« und der Sicherheitsziele soll eine protoypische Umsetzung auf der Grundlage des Sysgo-Microkernels PikeOS erfolgen. Neben dem Effekt der praktischen Erprobung des Schutzprofils soll dadurch die Basis für die Zertifizierung eines sicherheitskritischen Betriebssystems nach EAL5 entstehen.
Formale Methoden: Formale Modellierung hat sich als außerordentlich nützlich herausgestellt, insbesondere bei der Analyse von Anforderungen. Die Entwicklung von Modellen, die die spezifischen Ziele und Funktionen der Virtualisierung unterstützen, sollen eine Weiterentwicklung der Zertifizierung auf das Niveau EAL 6/7 ermöglichen.
Entwicklung eines modularen Zertifizierungsprozesses: Modulares Design ist unabdingbar, um komplexe Softwaresysteme in überschaubare Einheiten aufzuteilen. Bei der Zertifizierung muss heute aber das Gesamtsystem nochmal zertifiziert werden, auch wenn die einzelnen Module bereits zertifiziert sind. Um dieses Dilemma zu lösen, soll ein neuer, formaler Zertifizierungsprozess entwickelt werden.

Laut Spiegel Online wird das SeSaM-Projekt bis 2013 mit rund einer Million Euro gefördert.