Page Areas:



Current Submenu:

Additional Information:

ACCM

Logo ACCM - Austrian Center of Competence in Mechatronics GmbH

JKU Linz

JKU Linz Logo

Position Indication:

Content

Scientific Day ( July 11th, 2011)

Scientific chair:

Professor Bernhard Zagar

Scientific co-chair:

Nicholas Mc Guire

application/pdfFinal Programme (107KB, Final Programme of the Scientific Day, July 11, 2011)

Invited Speakers

Prof. Dr.sc.techn. (ETH) Wolfgang Kuechlin
Universität Tübingen, Wilhelm Schickard Institut für Informatik
Topic: Symbolic debugging of complex software

Carsten Emde
Open Source Automation Development Lab
Topic: OSADL QA-Farm – quality assurance for Linux

Thomas Gleixner
Linutronix (X86 maintainer RT-Preempt core developer)
Topic: Current status of real-time mainline Linux

Julia Lawall
Datalogisk Institut – Københavns Universitet
Topic: Coccinelle - semantic patching

Bernhard Noelte
TÜV Süd Rail
Topic: Certification of open-source components

Martin Leonhartsberger
Johannes Kepler University, Institute for Measurement Technology
Topic: Platform independent remote control and data exchange with real time targets

Andre Osterhues
escrypt GmbH - Embedded Security
Topic: Enhancing Linux Security

Nicholas Mc Guire
OpenTech EDV Research GmbH, OSADL Real Time Linux Working Group
Topic: Linux Security Methods for Safety related systems