Dieser Vortrag wurde am 08.12.2006 von Herrn J.Prof. Frey im Rahmen des gemeinsamen interdisziplinären Seminars der Forschungsschwerpunkte VES und AmI vorgetragen. Im Vortrag werden neue Ansätze zur Modellierung von vernetzten Automatisierungssystemen (NAS) und darauf aufbauende Analysemethoden vorgestellt.
Dieser Vortrag wurde am 07.07.2006 von Herrn Düpont im Rahmen des gemeinsamen interdisziplinären Seminars der Forschungsschwerpunkte VES und AmI vorgetragen. Der Vortrag behandelt folgende Fragestellung: "Ist der theoretische Bottom-Up-PFD-Nachweis für sicherheitsrelevante eingebettete Systeme in Chemieanlagen geeignet, realistische Werte abzubilden?"
Dieser Vortrag wurde von Herrn J.Prof. Frey bei der Klausurtagung des Forschungsschwerpunkts Ambient Intelligence am 13.01.2006 in Zweibrücken gehalten. Er behandelt vor allem die Zusammenhänge zwischen den beiden Schwerpunkten AmI und VES.
Dieser Vortrag wurde von Herrn Prof. Wehn beim Tag der Forschung an der TU Kaiserslautern am 03.02.2006 gehalten. Er beleuchtet vor allem den Zuverlässigkeitsaspekt verteilter eingebetteter Systeme, der einen der wesentlichen thematischen Schwerpunkte in VES darstellt.
Dieser Vortrag wurde am 02.12.2005 von den Herren Greuel, Kunz und Wedler im Rahmen des gemeinsamen interdisziplinären Seminars der Forschungsschwerpunkte VES und AmI vorgetragen. Der Vortrag behandelt einen neuen formalen Ansatz zur Verifikation von digitalen arithmetischen Schaltungen am Beispiel eines Infineon Tricore DSPs.