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

Erinnerung: Vortrag am 18.06.2007, 17:00 Uhr
by Informatik-Kolloquium 17 Jun '07

17 Jun '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Ernst-Rüdiger Olderog, Department für Informatik, Universität Oldenburg: Automatische Verifikation kombinierter Spezifikationen Beginn: 18.06.2007, 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/2007-06-18-olderog.html Kontakt: Prof. Dr. Ursula Goltz Wir berichten über Forschungen im Projekt "Beyond Timed Automata" des Transregio-SFB "Automatic Verification and Analysis of Complex Systems" (AVACS), an dem die Universitäten Oldenburg, Freiburg und Saarbrücken beteiligt sind. In diesem Projekt geht es darum, automatisch Sicherheitseigenschaften höherer System-Spezifikationen mit den Dimensionen Prozessverhalten, Daten und Realzeit nachzuweisen. Dabei liegt das Augenmerk darauf, Systeme mit unendlichen Datenbereichen und Realzeit-Bedingungen automatisch behandeln zu können und somit über die Möglichkeiten von Realzeitautomaten (Timed Automata) hinauszugehen. Als Spezifikationssprache wird CSP-OZ-DC betrachtet, eine Kombination von Konzepten aus Communicating Sequential Processes (CSP), Object-Z (OZ) und dem Duration Calculus (DC). Diese Kombination hat eine kompositionelle Semantik als Parallelkombination von Phasen-Event-Automaten, die sich sehr gut als Zwischendarstellung bei der Übersetzung von CSP-OZ-DC in die Eingabesprache eines Abstraction Refinement Model Checkers (ARMC) eignen. Mit ARMC lässt sich die Erreichbarkeit von Zustandsmengen automatisch überprüfen. Wir illustrieren den Ansatz an Hand von zwei Fallstudien: einem parametrischen Fahrstuhl und einer Steuerung aus der Anwendungsdomäne von AVACS, dem European Train Control System (ETCS).

1 0

Vortrag am 25.06.2007, 16:00 Uhr
by Informatik-Kolloquium 13 Jun '07

13 Jun '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Jürgen Acker, Fa IS Industrie Software GmbH, Nürnberg: Handhabung deformierbarer, linearer Objekte basierend auf Kontaktzuständen und optischer Sensorik, Antoine Schlechter, Centre de Recherche Public gabriel lippmann, Belvaux/Luxemburg: Einhändige, kraftbasierte Handhabung deformierbarer linearer Objekte Beginn: 25.06.2007, 16:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, Galeriegeschoss, Raum G04 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2007-06-25-acker-schlechter.html Kontakt: Prof. Dr.-Ing. F. M. Wahl Handhabung deformierbarer, linearer Objekte basierend auf Kontaktzuständen und optischer Sensorik: Neben formfesten Werkstücken gibt es in der industriellen Montage auch deformierbare Objekte. Hier spielen vor allem Kabel, Schläuche, Federn oder Drähte eine Rolle. Die Handhabung solcher deformierbaren, linearen Objekte ist bis jetzt noch wenig automatisiert, weshalb das Ziel ein systematischer Ansatz zu deren Handhabung ist. Die Form solcher Werkstücke verändert sich während der Montage meist deutlich, wobei die entgültige Form nicht nur von Kontaktkräften sondern auch von der Historie abhängt. Daher ist der Einsatz von Sensoren zur Ausführung von Montagen mit deformierbaren Werkstücken sinnvoll. Im Vordergrund stehen Montageaufgaben für schwach elastisch deformierbare, lineare Objekte in einer Umgebung, die starr ist und deren Oberflächen nicht gekrümmt sind. Der Vortrag befasst sich mit der Beschreibung solcher Montageaufgaben auf Basis von Kontaktzuständen zwischen den Werkstücken und ihrer Umgebung sowie mit der sensorgestützten Ausführung solcher kontaktbasierter Montagebeschreibungen mit Hilfe eines Industrieroboters. Hierbei wird der Einsatz bildgebender Sensoren wie Farb- oder Tiefenkameras betrachtet. Einhändige, kraftbasierte Handhabung deformierbarer linearer Objekte: Im alltäglichen Leben begegnet man einer Vielzahl von deformierbaren linearen Objekten wie zum Beispiel Kabeln, Schläuchen, Federn, Drähten, Schnüren, Seilen, usw. Solche Objekte neigen zum Schwingen, wenn sie von nur einem Greifer zu schnell beschleunigt werden oder wenn sie plötzlich aus einer Einspannung gelöst werden. Darüber hinaus können und müssen solche Objekte absichtlich deformiert werden, wenn sie zwischen mehreren Kanten eingespannt werden sollen. Im ersten Teil des Vortrags werden kraftbasierte Ausgleichsbewegungen für einen einzelnen Robotergreifer zur aktiven Dämpfung ungewollter Werkstückschwingungen vorgestellt. Wie und inwieweit ein zwischen verschiedenen Kontakten eingespanntes deformierbares lineares Objekt mit einem Greifer gezielt deformiert, kraftbasiert überwacht und damit auch unter Unsicherheit zuverlässig manipuliert werden kann, ist Thema des zweiten Teils.

1 0

Erinnerung: Vortrag am 14.06.2007, 17:00 Uhr
by Informatik-Kolloquium 13 Jun '07

13 Jun '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Jürgen Dingel, School of Computing Queen's University, Kingston, Ontario, Canada: Support for the Experimental Comparison of Software Quality Assurance Tools: A Case for ExMAn and ConMan Beginn: 14.06.2007, 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/2007-06-14-dingel.html Kontakt: Prof. Dr. Bernhard Rumpe The current spectrum of available software quality assurance techniques is wide and includes, e.g., testing, static analysis, and software model checking. For each of these techniques, a wide variety of specializations, optimizations, and tools have been developed. Determining the relative strengths and weaknesses of all of these different approaches and how they can usefully be combined is very difficult. This talk will present a highly general and customizable framework supporting the experimental, comparative assessment of different software quality assurance tools. The use of the framework will be illustrated by comparing ConTest, an IBM tool for randomized testing of concurrent Java code, and Java PathFinder, an open-source software model checker developed at NASA Ames. Joint work with Jeremy Bradbury and Jim Cordy.

1 0

Erinnerung: Vortrag am 14.06.2007, 19:00 Uhr
by Informatik-Kolloquium 13 Jun '07

13 Jun '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: GI-Vortrag: Professor Dr. Karl Steiner, Associate Director, Delaware Biotechnology Institute (USA), Electrical and Computer Engineering: Visualization for the Life Sciences - Interdisziplinäre Forschung am Schnittpunkt zwischen IT und Biotechnologie Beginn: 14.06.2007, 19:00 Uhr Ort: TU Braunschweig, Pockelsstraße 4, Hörsaal SN 19.2 Webseite: http://www.lineas.de/gi-bs/ Kontakt: [Ein Abstract liegt nicht vor. Weitere Informationen entnehmen Sie bitte der angegebenen Webseite.]

1 0

Vortrag am 24.07.2007, 16:30 Uhr
by Informatik-Kolloquium 13 Jun '07

13 Jun '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Markus Pizka, Institut für Informatik, Technische Universität München: Wert-basiertes Software-Management Beginn: 24.07.2007, 16: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/2007-07-24-pizka.html Kontakt: Prof. Dr. Bernhard Rumpe In zahlreichen Unternehmen werden unternehmenskritische Prozesse durch umfangreiche Informationssysteme unterstützt, die häufig mehrere Millionen Zeilen Programmtexte umfassen und über lange Zeiträume von bis zu 30 Jahren kontinuierlich entwickelt, gewartet und betrieben wurden bzw. werden. Das Vermögen, das diese Systeme repräsentieren, ist erheblich. Bereits eine einfache Abschätzung anhand des Wiederherstellungsaufwands ergibt einen Wert von ca.EUR 500 Mio für 20 MLOC (Million Lines of Code). Analog zu anderen Investitionen ist ein gradueller Verfall dieses Vermögens inakzeptabel. Vielmehr ist im Sinne eines erfolgreichen Wirtschaftens ein Erhalt bzw. eine hohe Rendite aus diesem Vermögen anzustreben. Kapitalwertmethoden, wie das Net-Present-Value, erlauben die Präzisierung des Wertes von Software-Systemen anhand künftiger Kosten und Nutzen inklusive Opportunitätskosten sowie der Wirkung auf die Innovationsfähigkeit des Unternehmens. Eineausgeglichene und strukturierte Wert-Ermittlung dieser Art ist eine zentrale Voraussetzung um den kontinuierlichen Qualitätsverfall großer Software-Systeme, der häufig zur Legacy-Problematik und Ablösungsszenarien mit hohen Kosten und Risiken führt, wirksam zu verhindern. Ein operativer Beitrag zum Erreichen dieses Zieles sind technische Wartungsmaßnahmen, deren Nutzen erst bei einer strukturierten Wertermittlung deutlich wird. Wissenschaftliche und kommerzielle Studien belegen, dass gezielte Wartungsmaßnahmen ggf. einen höheren Wertbeitrag liefern als Neuentwicklungen. Bei einer primären Kostenbetrachtung wird die Wartung demgegenüber als vermeintliches Problem betrachtet, das Ressourcen bindet und die Innovationsfähigkeit einschränkt. Im Vortrag werden zunächst die Grundzüge eines wertbasierten Managements von Software- Landschaften erläutert. Anschließend wird anhand von Erfahrungen aus der Untersuchung umfangreicher kommerzieller Software-Systeme das enorme Potential für Effizienzsteigerungen aufgezeigt. Durch ausgeglichene technische und ökonomische Analysen sowie gezielte Optimierungsmaßnahmen können die laufenden Kosten vorhandener Systeme drastisch (>30%) gesenkt und die Flexibilität im Hinblick auf kürzere Innovationszyklen signifikant gesteigert werden. CV Markus Pizka: Nach dem Studium der Informatik 1989-1994 promovierte Dr. Markus Pizka 1999 an der Technischen Universität München im Bereich Systemarchitektur zum Thema "Integriertes Management erweiterbarer verteilter Systeme". In Dieser Arbeit beschäftigte er sich mit der Entwicklung von Programmiersprachen, Übersetzern und Betriebssystemen. Nach einem Forschungsaufenthalt bei Microsoft Research Ltd. in Cambridge, UK übernahm er 2000 bei einem deutschen Softwarehaus die Leitung kommerzieller Software-Projekte. 2001 kehrte er an die Technische Universität München zurück und schloß sich der Software-Engineering Gruppe von Prof. Broy an. Herr Pizka gründete 2001 an der TU München das Kompetenzzentrum "Software-Maintenance" und ist seit 2003 geschäftsführender Gesellschafter der itestra GmbH, die Software-Entwicklungs- und Beratungsleistungen zur Steigerung der Qualität und Wirtschaftlichkeit von Software durchführt.

1 0

Vortrag am 18.06.2007, 17:00 Uhr
by Informatik-Kolloquium 07 Jun '07

07 Jun '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Ernst-Rüdiger Olderog, Department für Informatik, Universität Oldenburg: Automatische Verifikation kombinierter Spezifikationen Beginn: 18.06.2007, 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/2007-06-18-olderog.html Kontakt: Prof. Dr. Ursula Goltz Wir berichten über Forschungen im Projekt "Beyond Timed Automata" des Transregio-SFB "Automatic Verification and Analysis of Complex Systems" (AVACS), an dem die Universitäten Oldenburg, Freiburg und Saarbrücken beteiligt sind. In diesem Projekt geht es darum, automatisch Sicherheitseigenschaften höherer System-Spezifikationen mit den Dimensionen Prozessverhalten, Daten und Realzeit nachzuweisen. Dabei liegt das Augenmerk darauf, Systeme mit unendlichen Datenbereichen und Realzeit-Bedingungen automatisch behandeln zu können und somit über die Möglichkeiten von Realzeitautomaten (Timed Automata) hinauszugehen. Als Spezifikationssprache wird CSP-OZ-DC betrachtet, eine Kombination von Konzepten aus Communicating Sequential Processes (CSP), Object-Z (OZ) und dem Duration Calculus (DC). Diese Kombination hat eine kompositionelle Semantik als Parallelkombination von Phasen-Event-Automaten, die sich sehr gut als Zwischendarstellung bei der Übersetzung von CSP-OZ-DC in die Eingabesprache eines Abstraction Refinement Model Checkers (ARMC) eignen. Mit ARMC lässt sich die Erreichbarkeit von Zustandsmengen automatisch überprüfen. Wir illustrieren den Ansatz an Hand von zwei Fallstudien: einem parametrischen Fahrstuhl und einer Steuerung aus der Anwendungsdomäne von AVACS, dem European Train Control System (ETCS).

1 0

Erinnerung: Vortrag am 06.06.2007, 15:00 Uhr
by Informatik-Kolloquium 05 Jun '07

05 Jun '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Kazunori Umeda, Dept. Precision Mechanics, Faculty of Science and Engineering, Chuo University, Tokyo, Japan: Intelligent room and 200Hz small range image sensor Beginn: 06.06.2007, 15:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, Galeriegeschoss, Raum G04 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2007-06-06-umeda.html Kontakt: Prof. Dr.-Ing. F. M. Wahl In this talk I introduce two research results in Intelligent Sensing System Laboratory at Chuo University, Japan. 1. Intelligent room: There are several studies to make a space (typically, a room) intelligent. Our intelligent room is one of them and aims at operation of home appliances by recognizing gestures. Pan-tilt-zoom cameras are set in a room. An operator waves his/her hand to indicate the intention to operate an appliance and the room detects it. A camera is zoomed up and hand color is registered. Hand regions are extracted using the registered color. Selecting an appliance by pointing, volume up/down by gestures, changing channels by recognizing the number of fingers, etc. are implemented. 2. 200Hz small range image sensor: High-speed range image sensors have been developed recently. However, their speed is up to video rate and a faster sensor is required for robot pplications. We are constructing a high-speed range image sensor using a multi-spot laser projector. The proposed sensor realizes 200Hz measurement. It consists of a commercially available laser projector and a high-speed CCD camera. The sensor's size is small and feasible for mobile robots.

1 0

Erinnerung: Vortrag am 06.06.2007, 16:45 Uhr
by Informatik-Kolloquium 05 Jun '07

05 Jun '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Jos Baeten und Prof. Dr. ir. J.E. Rooda, Eindhoven University of Technology: Syntax and semantics of a hybrid process algebra / Model-based engineering of embedded systems Beginn: 06.06.2007, 16:45 Uhr Ort: TU Braunschweig, Langer Kamp 19 b (Altbau), Raum LK 19 b1 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2007-06-06-baeten.html Kontakt: Prof. Dr. Ursula Goltz 1. Syntax and semantics of a hybrid process algebra An overview will be given of the research of the Formal Methods group of the division of Computer Science of TU/e. Then, the focus will turn to the development of the language Chi, The talk will discuss the design of the hybrid process algebra Chi, and design choices that were made. 2. Model-based engineering of embedded systems An overview will be given of the research of the Systems Engineering group of the Department of Mechanical Engineering of TU/e. Then the focus will turn to the use of the language Chi in the model-based engineering of embedded systems.

1 0

Korrektur: Vortrag am 04.07.2007, 17:00 Uhr
by Informatik-Kolloquium 29 May '07

29 May '07

Bei der ersten Ankündigung hatte sich ein Fehler im Termin eingeschlichen. Der Vortrag findet nicht am 7. Juli sondern am 4. Juli statt. Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Christian Stücke, Rechtsanwalt, Fachanwalt für IT-Recht Kanzlei Sticherling, Simon & Partner GbR, Helmstedt: Haftungsfragen beim Serverbetrieb und bei der Installation von Services Beginn: 04.07.2007, 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/2007-07-04-stuecke.html Kontakt: Prof. Dr. Bernhard Rumpe Der Betrieb von Servern im Internet oder in einem Intranet birgt stets ein latentes Haftungsrisiko für die Verantwortlichen. Probleme bestehen bereits bei der Eingrenzung der Verantwortlichkeiten, nicht zuletzt durch divergierende Rechtsprechung. Möglichkeiten der Auslagerung von Services auch über Ländergrenzen hinweg führen zu weiteren rechtlichen Schwierigkeiten, etwa bei der Beachtung datenschutzrechtlicher Vorschriften. Die einzuhaltenden Rechtsgrundlagen sind für Betreiber und Anbieter mittlerweile kaum noch zu überblicken. Nach Einführung in die Problematik können die Problemstellungen anhand ausgewählter Szenarien und aktueller Rechtsprechung diskutiert und bewertet werden.

1 0

Vortrag am 07.07.2007, 17:00 Uhr
by Informatik-Kolloquium 29 May '07

29 May '07

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Christian Stücke, Rechtsanwalt, Fachanwalt für IT-Recht Kanzlei Sticherling, Simon & Partner GbR, Helmstedt: Haftungsfragen beim Serverbetrieb und bei der Installation von Services Beginn: 07.07.2007, 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/2007-07-07-stuecke.html Kontakt: Prof. Dr. Bernhard Rumpe Der Betrieb von Servern im Internet oder in einem Intranet birgt stets ein latentes Haftungsrisiko für die Verantwortlichen. Probleme bestehen bereits bei der Eingrenzung der Verantwortlichkeiten, nicht zuletzt durch divergierende Rechtsprechung. Möglichkeiten der Auslagerung von Services auch über Ländergrenzen hinweg führen zu weiteren rechtlichen Schwierigkeiten, etwa bei der Beachtung datenschutzrechtlicher Vorschriften. Die einzuhaltenden Rechtsgrundlagen sind für Betreiber und Anbieter mittlerweile kaum noch zu überblicken. Nach Einführung in die Problematik können die Problemstellungen anhand ausgewählter Szenarien und aktueller Rechtsprechung diskutiert und bewertet werden.

1 0