Zusammenfassung der Vorträge:

Softwarequalitätssicherung
(Professor Dr. Daniel Fischer, Hochschule Offenburg)
Professor Dr. Fischer ist anerkannter Spezialist für den Test von Software. Der Schwerpunkt seiner Arbeit liegt in der Qualitätssicherung sicherheitskritischer embedded Software. In seinem Vortrag gibt Professor Fischer einen fundierten Überblick über Methodiken zur Absicherung der Softwarequalität sowie über Testtechniken, die in der Praxis erfolgreich zum Einsatz kommen.
  Softwarequalitätssicherung

Wegweiser zur Auswahl eines Werkzeuges zur Statischen Codeanalyse
(Dipl.-Ing. (FH) Royd Lüdtke, Direktor für Statische Analysetools, Verifysoft Technology)
Werkzeuge zur Statischen Codeanalyse ermöglichen das Auffinden von Softwarefehlern bereits früh im Entwicklungsprozess und tragen damit dazu bei Kosten und Risiken eines Projektes zu minimieren. Die auf dem Markt erhältlichen Tools unterscheiden sich zum Teil erheblich hinsichtlich Preis und Leistung. Es ist daher nicht einfach das geeignete Werkzeug für einen definierten Einsatzbereich auszuwählen. Der Vortrag zeigt Beurteilungskriterien auf, die Sie dabei unterstützen, sich für ein passendes Werkzeug für Ihr Projekt zu entscheiden.
 Wegweiser zur Auswahl eines Werkzeuges zur Statischen Codeanalyse

MISRA-C
(Dr. Paul Anderson, Vice President of Engineering, GrammaTech New York)
Die MISRA-Regeln (Motor Industry Software Reliability Association) sind ein Programmierstandard, der häufig zur Absicherung der Softwarequalität bei der Programmierung sicherheitskritischer Software zum Einsatz kommt. MISRA-C:2004- und MISRA-C:2012-Regeln finden vor allem im Automobilbereich, jedoch darüber hinaus in weiteren Branchen wie Luftfahrt und Verteidigung, Telekommunikation und Medizintechnik Anwendung.
Dr. Anderson zeigt, wie die Einhaltung des MISRA-Standards mit Statischen Codeanalysetools überprüft werden kann.
Gerne senden wir Ihnen die Präsentation von Dr. Anderson zu. Bitte kontaktieren Sie uns.

Auffinden von Nebenläufigkeitsfehlern durch Statische Codeanalyse
(Dipl.-Ing. (FH) Royd Lüdtke, Direktor für Statische Analysetools, Verifysoft Technology)
Nebenläufigkeitsfehler zählen zu den großen Risikofaktoren eines Softwareprojektes. Der Vortrag zeigt auf, wie die Statische Codeanalyse dazu beitragen kann, derartige Fehler effizient aufzudecken.
 Auffinden von Nebenläufigkeitsfehlern durch Statische Codeanalyse

GrammaTech CodeSonar
(Dr. Paul Anderson, Vice President of Engineering, GrammaTech New York)
Live-Demo und Roadmap
GrammaTech CodeSonar Produktseite

Referenten

Dr. Paul Anderson

Paul Anderson leitet die Entwicklungsabteilung bei GrammaTech (USA), einem der führenden Hersteller von Statischen Codeanalysetools. Er hat seinen Bachelor in Kings College of London University abgeschlossen und an der City University of London promoviert. Die Ergebnisse von Paul Andersons Arbeit wurden in zahlreichen Artikeln, Publikationen, Büchern und internationalen Konferenzen zitiert. Dr. Anderson hat mehr als 20 Jahre Erfahrung in der Entwicklung von statischen Analysewerkzeugen und automatisierten Testtools.

Professor Dr.-Ing. Daniel Fischer

Daniel Fischer ist seit 2001 Professor für Informationstechnologie an der Hochschule Offenburg und leitet dort als Studiendekan die Studiengänge "Angewandte Informatik" sowie "Informatik/Wirtschaft plus". Daniel Fischer studierte Nachrichtentechnik sowie Elektrotechnik und promovierte am Forschungszentrum Karlsruhe. Während seiner Industrietätigkeit hat sich Dr. Fischer unter anderem mit Softwarequalitätssicherung und Testautomatisierung im Umfeld eingebetteter Systeme beschäftigt.

Dipl.-Ing. (FH) Royd Lüdtke

Diplom-Ingenieur Royd Lüdtke leitet bei Verifysoft den Pre-Sales und Support für Statische Codeanalysetools im deutschsprachigen Raum. Royd Lüdtke hat umfangreiche Berufserfahrung als Applikationsingenieur und Berater bei einer Vielzahl von Firmen und Institutionen wie New Era Of Networks, Sybase, Rogue Wave Software und dem Fraunhofer Institut. Lüdtke studierte in Dortmund Elektrotechnik und Energietechnik, hält mehrere Patente und ist Autor von Veröffentlichungen im IT-Bereich.