Die Forscher des Kompetenzzentrums QUEST zeigen vom 18.-21. September auf der InnoTrans 2012 in Berlin (Halle 4.1, Stand 225), wie sich mit deduktiven Verifikationsverfahren beweisen lässt, dass die Software von solchen sicherheitskritischen Systemen fehlerfrei funktioniert.

Besuchen Sie uns vom 11.-16. September auf der ILA 2012 in Berlin (Halle 3.E, Stand 3221) und erleben Sie eine präzise Mondlandung eines Satelliten.

VirtuOS Fachtagung Ort: Ludwig-Erhard-Haus in Berlin Besuchen Sie die Fachtagung VirtuOS- Virtuelle Architekturen für sichere automotive Softwaresysteme!

SafeTRANS lädt zum 12. Industrial Day nach München ein. Dr. Jens Gerlach, Forschungsleiter Verifikation, hält dort einen Fachvortrag zum Thema "Verifkation eingebetteter Software mit Frama-C".

Auf der Fachtagung werden u. a. Konzepte für Safety und Security sowie Demonstratoren sicherer eingebetteter Softwaresysteme für das Auto präsentiert.

Das DLR Raumfahrtmanagement veranstaltet in enger Abstimmung mit dem Bundesministerium für Wirtschaft und Technologie (BMWi) die zweite Nationale Konferenz zur Raumfahrt-Robotik. Fraunhofer FIRST wird dort sein Projekt MUSE präsentieren.

Der Arbeitskreis Software-Qualität und -Fortbildung e.V. (ASQF) lädt Sie zur Fachtagung "Modellbasiertes Testen – Quo vadis?" bei FIRST ein!