Moderne Embedded Software Linux, Modellierung & Verifikation

11.05.2006 , OFFIS

Vortrag

Das OFFIS und der Kompetenzkreis Embedded Networking Niedersachsen (k.e.n.n. e.V.) laden zur Vortragsreihe "Moderne Embedded Software

Linux, Modellierung & Verifikation" am 11. Mai 2005 ins OFFIS Oldenburg ein. Gestartet wird um 17:15 Uhr. Neben einer OFFIS Besichtigung stehen die Punkte:

 

- Zugangsschutz für Embedded Linux-Systeme

- ARM9-basierte, modulare Linux Plattform am Beispiel eines Embedded WLAN Clients

- C-basierte Verifikation am Beispiel eines ASCET-basierten Entwicklungsprozesses

- Moderne Testmethoden im Modell-basierten Entwicklungsprozess Eingebetteter Systeme

 

auf der Agenda.

 

Den Abschluß bildet ein "Get Together" mit kleinem Imbiss und einer Table-Top Ausstellung. Das vollständige Programm können sie hier downloaden.

 

Die Teilnahme ist kostenlos! Um kurze Anmeldung wird gebeten unter:

E-Mail: heike.eekhoff[at]offis.de

Fax: 0441-9722-102