Der bekannte Spezialist und Embedded-Profi Prof. Dr. Peter Liggesmeyer hält am 23./24.03.06 ein 2-Tages Seminar zum Thema „Verlässliche eingebettete Software“ bei Knowledge Department in Nürnberg.
Das Seminar vermittelt umfassende Kenntnisse über die Prüfung eingebetteter Software und die Führung von Sicherheits- und Zuverlässigkeitsnachweisen. Neben den speziellen Anforderungen an das in der Praxis verbreitete Testen von Software werden die insbesondere in sicherheitskritischen Anwendungen genutzten formalen Prüfungen diskutiert. Im Seminar werden messbasierte Fehlerprognosetechniken, modellierende Sicherheits- und Zuverlässigkeitsanalysen und stochastische Techniken vorgestellt. Diese Techniken dienen zur Ermittlung von Restrisiken. Ob Restrisiken akzeptabel sind, entscheidet man mit Hilfe von Verfahren zur Risikobewertung, die im Seminar ebenfalls vorgestellt werden. Die Vorstellung ausgewählter Werkzeuge auf dem Rechner rundet das Seminar ab.
Prof. Dr. Peter Liggesmeyer ist Inhaber des Lehrstuhls für Software Engineering: Dependability an der TU Kaiserslautern und ist Direktor am Fraunhofer IESE, Kaiserslautern. Von 2000 bis 2004 war er Leiter des Fachgebiets Softwaretechnik und Qualitätsmanagement an der Universität Potsdam. Er besitzt eine langjährige Erfahrung in der Software-Qualitätssicherung als Wissenschaftler, Berater, Dozent und Autor von einschlägigen Fachbüchern.
Weitere Informationen zum Seminar finden Sie unter www.knowledge-department.de.
Das Seminar vermittelt umfassende Kenntnisse über die Prüfung eingebetteter Software und die Führung von Sicherheits- und Zuverlässigkeitsnachweisen. Neben den speziellen Anforderungen an das in der Praxis verbreitete Testen von Software werden die insbesondere in sicherheitskritischen Anwendungen genutzten formalen Prüfungen diskutiert. Im Seminar werden messbasierte Fehlerprognosetechniken, modellierende Sicherheits- und Zuverlässigkeitsanalysen und stochastische Techniken vorgestellt. Diese Techniken dienen zur Ermittlung von Restrisiken. Ob Restrisiken akzeptabel sind, entscheidet man mit Hilfe von Verfahren zur Risikobewertung, die im Seminar ebenfalls vorgestellt werden. Die Vorstellung ausgewählter Werkzeuge auf dem Rechner rundet das Seminar ab.
Prof. Dr. Peter Liggesmeyer ist Inhaber des Lehrstuhls für Software Engineering: Dependability an der TU Kaiserslautern und ist Direktor am Fraunhofer IESE, Kaiserslautern. Von 2000 bis 2004 war er Leiter des Fachgebiets Softwaretechnik und Qualitätsmanagement an der Universität Potsdam. Er besitzt eine langjährige Erfahrung in der Software-Qualitätssicherung als Wissenschaftler, Berater, Dozent und Autor von einschlägigen Fachbüchern.
Weitere Informationen zum Seminar finden Sie unter www.knowledge-department.de.
