Archiv der QUEST-Events

Vergangene Veranstaltungen

15.-16.10.2012 Fraunhofer FOKUS, Berlin-Charlottenburg	Workshop: Software Qualität und Smart Cities	Die beiden Kompetenzzentren MOTION und QUEST laden zu ihrem Workshop "Software-Qualität und Smart Cities - Herausforderungen und Chancen" ein.
27.09.-28.09.2012 WISTA GmbH, Einstein-Newton Kabinett, Rudower-Chaussee 17, 12489 Berlin	ATAMI 2012 – Advances in Testing: Academia meets Industry	Bereits zum dritten Mal in Folge soll der ATAMI-Workshop dazu beitragen, den Wissensaustausch zwischen Industrie und Forschung rund um das Thema Testen voranzutreiben. In diesem Jahr liegt der Fokus auf der Automatisierungsbranche.
18.09.-21.09.2012 Messe Berlin	InnoTrans 2012 Wir beweisen, dass Ihre Software richtig reagiert	Die Forscher von QUEST zeigen auf der InnoTrans 2012 in Halle 4.1, Stand 22, wie sich mit deduktiven Verifikationsverfahren beweisen lässt, dass die Software von solchen sicherheitskritischen Systemen fehlerfrei funktioniert.
11.09.-16.09.2012 Berlin ExpoCenter Airport	ILA 2012 Leistungsfähige Satellitenrechner	Besuchen Sie uns auf der ILA 2012 in Berlin (Halle 3.E, Stand 3221) und erleben Sie eine präzise Mondlandung eines Satelliten.
2. Mai 2012 DB Netz AG, München	12. SafeTRANS Industrial Day	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".
26.04.2012, 14:00 - 26.04.2012, 17:30 Fraunhofer FIRST, Berlin	Fachtagung VirtuOS - Funktions- und angriffssichere Softwaresysteme im Automobil	Auf der Fachtagung werden u. a. Konzepte für Safety und Security sowie Demonstratoren sicherer eingebetteter Softwaresysteme für das Auto präsentiert.
06.03.2012, 10:00 - 07.03.2012, 15:10 Bundesministerium für Wirtschaft und Technologie, Berlin	2. Nationale Konferenz zur Raumfahrt-Robotik	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.
28.02.2012 - 01.03.2012 Messezentrum Halle 5, Stand 228, 90471 Nürnberg	embedded world 2012	Besuchen Sie uns auf der embedded world 2012 in Nürnberg! Halle 5, Stand 228
31.01.2012 - 31.01.2012 Fraunhofer FIRST, Berlin	FIRST-Vortrag auf der Fachtagung des ASQF	Der Arbeitskreis Software-Qualität und -Fortbildung e.V. (ASQF) lädt Sie zur Fachtagung "Modellbasiertes Testen – Quo vadis?" bei FIRST ein!
24.11.2011 - 24.11.2011 Fraunhofer FIRST, Berlin	Multicore-Workshop 2011	Der Fokus des zweiten Multicore-Workshops in Berlin-Adlershof liegt auf dem Einsatz von Multicore-Prozessoren in sicherheitskritischen- und Echtzeit-Systemen.
18.10.2011 - 20.10.2011 Fraunhofer-Forum Berlin	Model-Based Testing User Conference	Modellbasiertes Testen in der Praxis
15.06.2011 - 15.06.2011 Ludwig-Erhard-Haus in Berlin	VirtuOS	Besuchen Sie die Fachtagung VirtuOS- Virtuelle Architekturen für sichere automotive Softwaresysteme!
23.05.2011, 09:30 - 24.05.2011, 15:45 Fraunhofer FIRST, Berlin-Adlershof	ATAMI 2011	Wir laden Sie herzlich zum zweiten ATAMI-Workshop ein. Der Fokus liegt auf Normen aus dem Transportbereich und deren Anforderungen an Testtechniken.
24.05.2011, 08:30 - 24.05.2011, 17:00 Mövenpick Airport Hotel Stuttgart	Embedded Konferenz 2011 von Wind River	Unser Partnerunternehmen Wind River veranstaltet zum zweiten Mal die "Embedded Konferenz".
01.03.2011 - 03.03.2011 Messezentrum Halle 11, Stand 203,90471 Nürnberg	embedded world 2011	Auf der embedded world 2011 zeigt Fraunhofer FIRST Scheduling-Tools für Multi-Core-Prozessoren und modellbasierte Testverfahren.
10.11.2010 - 10.11.2010 Fraunhofer FIRST, Berlin-Adlershof	Workshop „Multi-Core – die Zukunft für eingebettete Systeme”	Am 10.11.2010 findet im Fraunhofer-Institut FIRST der Workshop "Multi-Core - die Zukunft für eingebettete Systeme" statt.
1.10.2010 - 22.10.2010 Fraunhofer FIRST, Berlin-Adlershof	Workshop: C Program Quality Assurance using ACSL	From October 21st-22nd 2010, Fraunhofer FIRST and CEA LIST will offer an introductory study-course in ACSL.
09.09.2010 - 10.09.2010 Fraunhofer FIRST, Berlin-Adlershof	Bahn-Software 2010	Besuchen Sie Fraunhofer FIRST bei der Expertentagung "Bahn-Software 2010". In einem Vortrag erfahren Sie mehr über die Qualitätssicherung bei der Entwicklung von Bahn-Software gemäß EN 50128.
21.09.2010 - 24.08.2010 Messegelände Berlin, Halle 4.1, Stand 217	InnoTrans 2010	Woher wissen Sie, dass Ihre Software funktioniert? Wir können es beweisen!" Unter diesem Motto zeigen Forscher des Fraunhofer FIRST vom 21. bis 24.09.2010 auf der InnoTrans in Berlin wie sich das Verhalten Ihrer Software mit Hilfe von deduktiven Verfahren überprüfen lässt.
05.05.2010, 09:00 - 06.05.2010, 18:00 DOUBLE-MIXTE, Lyon 19, Avenue Gaston Berger 69100 Villeurbanne	Les Rendez-Vous CARNOT 2010	Besuchen Sie uns vom 5. bis 6. Mai auf der CARNOT-Messe in Lyon und erfahren Sie mehr über unsere neuesten Technologien im Bereich der Satellitensteuerung, deduktiven Verifikation von Software und der constraint-basierten Programmierung.
02.03.2010, 09:00 - 04.03.2010, 17:00 Messezentrum Halle 11, Stand 101, 90471 Nürnberg	Embedded World 2010	Fraunhofer FIRST zeigt, wie sich Hadware-Ressourcen für Multi-Core-Architekturen planen lassen und bei der Migration sicherheitskritischer Systeme, von Single- auf Multi-Core-Architekturen, Echtzeitanforderungen gewährleistet bleiben.
15.01.2010, 09:30 - 15.01.2010, 17:30 Fraunhofer FIRST, Berlin-Adlershof	Workshop: ATAMI 2010 - Advances in Testing: Academia meets Industry	Das Fraunhofer FIRST hat zusammen mit dem Graduiertenkolleg METRIK einen Workshop initiiert, in dem Vertreter aus Industrie und Forschung über die Möglichkeiten des automatisierten Testens berichten.

zurück nach oben

Sitemap

Datenschutz

Impressum