February 2009 - Kolloq - lists.ibr.cs.tu-bs.de

Erinnerung: Vortrag am 23.02.2009, 17:00 Uhr
by Informatik-Kolloquium 22 Feb '09

22 Feb '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dipl.-Ing. Dr. Klaus-Peter Adlassnig, Medizinische Universität Wien: Entscheidungsunterstützung und Expertesysteme in der klinischen Medizin Beginn: 23.02.2009, 17:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-02-23-adlassnig.html Kontakt: Prof. Dr. Reinhold Haux Die zunehmende Verfügbarkeit computergestützt vorliegender Daten von Patienten in den unterschiedlichsten medizinischen Informationssystemen erlaubt eine umfassende Einführung von klinischer Entscheidungsunterstützung in der behandelnden Medizin. Diese Entscheidungsunterstützung reicht von der Generierung von Hinweisen und Mitteilungen an den behandelnden Arzt, über die wissenbasierte Interpretation von komplexen Testergebnissen des Laboratoriums, die Unterstützung der Differentialdiagnose in der Internen Medizin, der Prüfung von Indikation, Kontraindikation und Wechselwirkungen von Medikamenten bis hin zum zeitnahen, proaktiven Monitoring auf nosokomiale Infektionen in Intensivstationen für Erwachsene und Neugeborene. Wir zeigen den Einsatz dieser Methoden (Expertensysteme, Fuzzy-Logik, ArdenRuleEngine, service-oriented architecture) und Systeme (Moni, Hepaxpert, Moab, GuideRems) am Allgemeinen Krankenhaus/Medizinische Universität Wien.

1 0

Erinnerung: Vortrag am 17.02.2009, 08:30 Uhr
by Informatik-Kolloquium 16 Feb '09

16 Feb '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Ingolf H. Krueger, UCSD, San Diego: Ein Ansatz zur Zuverlässigkeitsprüfung Komplexer Fahrzeugdienste Beginn: 17.02.2009, 08:30 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 161 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-02-17-krueger.html Kontakt: Zuverlässigkeit ist eine Schlüsseleigenschaft komplexer, verteilter, software-intensiver Systeme. Moderne Fahrzeuge etwa haben bis zu 80 Steuergeräte, die zusammen tausende Softwaredienste bereitstellen. Diese Steuergeräte sind über mehrere physikalische Netzwerke miteinander verbunden. Entsprechend kommunizieren die hochgradig verteilten Softwaredienste vermittels komplexer Interaktionsmuster. Von der Zuverlässigkeit der zugrundeliegenden Software/Hardwaresysteme hängt das Überleben der Verkehrsteilnehmer und, im übertragenen Sinn, das der beteiligten Hersteller und Zulieferer im Markt ab. In diesem Vortrag stelle ich einen modell-basierten Ansatz zur Entwicklung und Qualitätssicherung zuverlässiger Fahrzeugdienste vor. Dazu führe ich zunächst ein ausdrucksstarkes Interaktionsmodell ein, das als Basis zur präzisen Beschreibung von Interaktionsmustern dient. Dieses Interaktionsmodell fundiert und erweitert bekannte Notationen, wie etwa Message Sequence Charts (MSCs) und Sequenzdiagramme. Weiterhin dient es als Basis für eine domänenspezifische Architekturbeschreibungssprache, mit deren Hilfe Ingenieure Interaktionsmuster um Mechanismen zur Fehlererkennung und -behebung anreichern können. Schließlich zeige ich, wie solche Architekturbeschreibungen in Verifikationsmodelle überführt werden können. Die resultierenden Verifikationsmodelle können dann mit Hilfe von Modellprüfern auf ihre Zuverlässigkeit hin untersucht werden. Im Ergebnis erhalten Fahrzeug-Entwickler einen methodisch fundierten Ansatz zur Beschreibung und Überprüfung komplexer Dienstarchitekturen und ihrer Zuverlässigkeitseigenschaften.

1 0

Vortrag am 23.02.2009, 17:00 Uhr
by Informatik-Kolloquium 09 Feb '09

09 Feb '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dipl.-Ing. Dr. Klaus-Peter Adlassnig, Medizinische Universität Wien: Entscheidungsunterstützung und Expertenssysteme in der klinischen Medizin Beginn: 23.02.2009, 17:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-02-23-adlassnig.html Kontakt: Prof. Dr. Reinhold Haux Die zunehmende Verfügbarkeit computergestützt vorliegender Daten von Patienten in den unterschiedlichsten medizinischen Informationssystemen erlaubt eine umfassende Einführung von klinischer Entscheidungsunterstützung in der behandelnden Medizin. Diese Entscheidungsunterstützung reicht von der Generierung von Hinweisen und Mitteilungen an den behandelnden Arzt, über die wissenbasierte Interpretation von komplexen Testergebnissen des Laboratoriums, die Unterstützung der Differentialdiagnose in der Internen Medizin, der Prüfung von Indikation, Kontraindikation und Wechselwirkungen von Medikamenten bis hin zum zeitnahen, proaktiven Monitoring auf nosokomiale Infektionen in Intensivstationen für Erwachsene und Neugeborene. Wir zeigen den Einsatz dieser Methoden (Expertensysteme, Fuzzy-Logik, ArdenRuleEngine, service-oriented architecture) und Systeme (Moni, Hepaxpert, Moab, GuideRems) am Allgemeinen Krankenhaus/Medizinische Universität Wien.

1 0

Erinnerung: Vortrag am 06.02.2009, 11:00 Uhr
by Informatik-Kolloquium 05 Feb '09

05 Feb '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Bernhard Schätz, TU München: Modellbasierte Entwicklung von Automotive Software Systemen Beginn: 06.02.2009, 11:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-02-06-schaetz.html Kontakt: Modellbasierte Entwicklung, speziell von eingebetteter Software, wird oft auf den Einsatz von grafischen Werkzeugen zur Entwicklung plattformunabhängiger Modelle sowie die automatisierte Erzeugung von plattformspezifischem Code aus diesen Modellen reduziert. Als wesentlicher Vorteil dieses Verfahrens wird dabei insbesondere die bessere Wiederverwendbarkeit von Lösungen angeführt. Das Potenzial modellbasierter Entwicklung wird jedoch deutlich ausgeweitet, wenn sie als ein Ansatz verstanden wird, bei dem Modellierungstechniken verwendet werden, die die spezifischen Eigenschaften der Anwendungsdomäne berücksichtigen, und bei dem diese Modellierungstechniken durchgängig über einzelne Entwicklungsphasen hinweg eingesetzt werden. Ein solcher Ansatz erlaubt es nämlich, durch spezielle Analyseverfahren die Vorverlegung der Qualitätssicherung zu unterstützen, und durch automatisierte Verfahren zur Modellsynthese die Umsetzung von Entwurfsentscheidungen zu vereinfachen. Der Vortrag demonstriert, wie dieser Ansatz speziell im Entwurf und der Implementierung von Software im Fahrzeug eingesetzt werden kann, um den Entwicklungsprozesses für eingebettete Automotive-Systeme zu verbessern.

1 0

Erinnerung: Vortrag am 06.02.2009, 13:45 Uhr
by Informatik-Kolloquium 05 Feb '09

05 Feb '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Hubert Rehborn, Daimler: Verkehrsprognosen für Fahrzeuge Beginn: 06.02.2009, 13:45 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-02-06-rehborn.html Kontakt: Basierend auf der 3-Phasen-Verkehrstheorie über den Verkehrsablauf auf Schnellstraßen stellt der Vortrag Komponenten und Architekturen einer Verkehrsprognoseanwendung für Fahrzeuge dar. Die Fragestellung einer Aufteilung dieser Komponenten zwischen einer fahrzeugautonomen (onboard) und zentralenbasierten (offboard) Lösung wird diskutiert. Abschließend werden mögliche Darstellungsformen einer Stauprognose im Fahrzeug vorgestellt.

1 0

Erinnerung: Vortrag am 06.02.2009, 16:15 Uhr
by Informatik-Kolloquium 05 Feb '09

05 Feb '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Reinhard German, Universität Erlangen: Einsatz von Modellierung und Simulation für die Auslegung der internen und externen Fahrzeugvernetzung Beginn: 06.02.2009, 16:15 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-02-06-german.html Kontakt: Mit UML-basierter diskreter Ereignissimulation werden vernetzte Bussysteme nachgebildet. Die Modelle werden durch Messungen kalibriert und validiert, so dass detaillierte und zuverlässige Kennzahlen über das Leistungsverhalten ermittelt werden können. Dies wird ergänzt um eine auf dem Network Calculus gestützte Analyse zur Garantie des Echtzeitverhaltens zyklischer Nachrichten auf dem CAN-Bus mit beliebigen Prioritätsstufen. Ebenfalls mit diskreter Ereignissimulation wurden verschiedene Architekturen von Sensorsystemen zur Erkennung des Fahrzeugumfelds untersucht und Kennzahlen für die Detektionsgüte und Robustheit ermittelt. Für eine standardkonforme Simulation auf Basis von UML2 entwickeln wir das Simulationswerkzeug Syntony, mit dem zukünftig Brüche zwischen verschiedenen Werkzeugen gemildert und „Best Practices“ aus dem Software Engineering in den Systementwurf übernommen werden können. Hierzu wird auch eine statistische szenariobasierte Testmethodik verfolgt, mit der aus Anforderungsspezifikationen Benutzungsmodelle für die automatische Testfallgenerierung erzeugt werden. Dies wird für die Testfallerzeugung auf HiL-Prüfständen evaluiert. In dem BMBF-Verbundprojekt „CooperatingCars“ werden Protokolle für infrastrukturbasierte Verkehrsinformationssysteme über UMTS entworfen und mittels Simulation untersucht. Hierbei wurde eine Vorgehensweise entwickelt, in der ausgehend von Architekturmodellen in Syntony ein Netzwerksimulationsmodell für den Simulator OMNeT++ erzeugt wird, das mit dem Straßenverkehrsimulator SUMO sowie statistischen Modellen der unteren Schichten gekoppelt wird. Das Simulationsmodell kann basierend auf echtem Kartenmaterial Bewertungen über den Einfluss auf den Netzwerk- und Straßenverkehr sowie die Umweltbelastung erzeugen.

1 0

Erinnerung: Vortrag am 06.02.2009, 08:30 Uhr
by Informatik-Kolloquium 05 Feb '09

05 Feb '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Fabian Wolf, Volkswagen: Verteilte Softwareentwicklung in der Fahrzeuginformatik Beginn: 06.02.2009, 08:30 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-02-06-fwolf.html Kontakt: Die Innovationsfähigkeit und damit die Konkurrenzfähigkeit der Automobilhersteller basiert oft auf Elektronik und Software. Aufgrund der Komplexität der Systeme ist die verteilte Softwareentwicklung eine Schlüsseltechnologie zur wirtschaftlichen und zeitgerechten Markteinführung der Innovationen. In diesem Vortrag wird ein Konzept zur verteilten Softwareentwicklung und dem verteilten Softwaretest vorgestellt. Neben der Darstellung der organisatorischen Rahmenbedingungen werden die wissenschaftlichen Themen Softwarearchitektur sowie Rechenzeitanalyse und Hardware-in-the-Loop Tests in den realen Entwicklungsprozess eingeordnet. Als Abschluss wird eine Einschätzung der Nutzbarkeit des wissenschaftlichen Stands in der Industrie gegeben.

1 0

Vortrag am 17.02.2009, 08:30 Uhr
by Informatik-Kolloquium 02 Feb '09

02 Feb '09

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Ingolf H. Krueger, UCSD, San Diego: Ein Ansatz zur Zuverlässigkeitsprüfung Komplexer Fahrzeugdienste Beginn: 17.02.2009, 08:30 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-02-17-krueger.html Kontakt: Zuverlässigkeit ist eine Schlüsseleigenschaft komplexer, verteilter, software-intensiver Systeme. Moderne Fahrzeuge etwa haben bis zu 80 Steuergeräte, die zusammen tausende Softwaredienste bereitstellen. Diese Steuergeräte sind über mehrere physikalische Netzwerke miteinander verbunden. Entsprechend kommunizieren die hochgradig verteilten Softwaredienste vermittels komplexer Interaktionsmuster. Von der Zuverlässigkeit der zugrundeliegenden Software/Hardwaresysteme hängt das Überleben der Verkehrsteilnehmer und, im übertragenen Sinn, das der beteiligten Hersteller und Zulieferer im Markt ab. In diesem Vortrag stelle ich einen modell-basierten Ansatz zur Entwicklung und Qualitätssicherung zuverlässiger Fahrzeugdienste vor. Dazu führe ich zunächst ein ausdrucksstarkes Interaktionsmodell ein, das als Basis zur präzisen Beschreibung von Interaktionsmustern dient. Dieses Interaktionsmodell fundiert und erweitert bekannte Notationen, wie etwa Message Sequence Charts (MSCs) und Sequenzdiagramme. Weiterhin dient es als Basis für eine domänenspezifische Architekturbeschreibungssprache, mit deren Hilfe Ingenieure Interaktionsmuster um Mechanismen zur Fehlererkennung und -behebung anreichern können. Schließlich zeige ich, wie solche Architekturbeschreibungen in Verifikationsmodelle überführt werden können. Die resultierenden Verifikationsmodelle können dann mit Hilfe von Modellprüfern auf ihre Zuverlässigkeit hin untersucht werden. Im Ergebnis erhalten Fahrzeug-Entwickler einen methodisch fundierten Ansatz zur Beschreibung und Überprüfung komplexer Dienstarchitekturen und ihrer Zuverlässigkeitseigenschaften.

1 0