Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Dr. Henk Schimmel, Director LaQuSo, Eindhoven, Niederlande:
LaQuSo and Verification and Validation of Software Systems
Beginn: 31.10.2006, 13: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/2006-10-31-schimmel.html
Kontakt: Prof. Dr. Ursula Goltz
LaQuSo is a laboratory of computer science dedicated to verification and
validation of software systems. Established at Eindhoven University of
Technology, LaQuSo works for and with industry to find errors in software
systems. LaQuSo does this by performing experiments in industry and
using both industrial and academic methods and tools and doing research
in order to get better methods and tools that are used in industry.
In his talk Henk shortly presents LaQuSo and how more than 20 chairs
from 4 universities work together to derive (optimal) results both in
research as in assignments for industry. Results that best are shown in
experiments, cases and projects with real-life systems from industry.
A selection of relevant cases will be presented.
The cases are about requirements analysis, modeling, architecture
analysis, code review and analysis of executing systems.
In requirements analysis use-cases and formal modeling in PetriNets
are discussed. By modeling requirements and combining visualization,
models and tools for verification (parts of) systems can be
verified. Architecture analysis shows the benefits of on one hand
metrics and visualization and on the other hand the use of PetriNet and
Process algebraic models to analyze UML-models. In code analysis a lot
of commercial static analysis tools are available. But results are only
possible by combining the right products with academic tools and most
of all the brains of the analyst. The project of the real-life system
shows how a combination of knowledge from different chairs can derive
spectacular outcomes.
The focus will be on the used methods, techniques, tools and models, most
of them developed at the participating universities and the combination
with industrial products. The involvement of research and the benefits
for both research and assignment are highlighted.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Dr. Henk Schimmel, Director LaQuSo, Eindhoven, Niederlande:
LaQuSo and Verification and Validation of Software Systems
Beginn: 31.10.2006, 13: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/2006-10-31-schimmel.html
Kontakt: Prof. Dr. Ursula Goltz
LaQuSo is a laboratory of computer science dedicated to verification and
validation of software systems. Established at Eindhoven University of
Technology, LaQuSo works for and with industry to find errors in software
systems. LaQuSo does this by performing experiments in industry and
using both industrial and academic methods and tools and doing research
in order to get better methods and tools that are used in industry.
In his talk Henk shortly presents LaQuSo and how more than 20 chairs
from 4 universities work together to derive (optimal) results both in
research as in assignments for industry. Results that best are shown in
experiments, cases and projects with real-life systems from industry.
A selection of relevant cases will be presented.
The cases are about requirements analysis, modeling, architecture
analysis, code review and analysis of executing systems.
In requirements analysis use-cases and formal modeling in PetriNets
are discussed. By modeling requirements and combining visualization,
models and tools for verification (parts of) systems can be
verified. Architecture analysis shows the benefits of on one hand
metrics and visualization and on the other hand the use of PetriNet and
Process algebraic models to analyze UML-models. In code analysis a lot
of commercial static analysis tools are available. But results are only
possible by combining the right products with academic tools and most
of all the brains of the analyst. The project of the real-life system
shows how a combination of knowledge from different chairs can derive
spectacular outcomes.
The focus will be on the used methods, techniques, tools and models, most
of them developed at the participating universities and the combination
with industrial products. The involvement of research and the benefits
for both research and assignment are highlighted.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Dr. Bernhard Hohlfeld, DaimlerChrysler AG, Forschung und Entwicklung
Software-Technologie, Ulm:
Software im Automobil - Herausforderungen für die Informatik
Beginn: 13.11.2006, 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/2006-11-13-hohlfeld.html
Kontakt: Dr. Werner Struckmann
Bei modernen Fahrzeugen wird die Funktionalität zunehmend
durch Software bereitgestellt. Das Spektrum reicht von der
Motorsteuerung bis hin zum Allradantrieb und vielleicht schon bald zu
X-by-Wire-Systemkomponenten. Die zugrundeliegende Rechnerarchitektur
ist ein verteiltes System, das je nach Fahrzeugtyp aus 20 -
80 Steuergeräteknoten besteht. Die Knoten sind mit bis zu vier
verschiedenen Bussystemen verbunden. Der Programmcode umfasst mehrere
hunderttausend bis zu mehreren Millionen Zeilen. Über zwei Drittel aller
Innovationen im Automobil sind schon heute softwarebasiert. Ein Anstieg
der Softwareentwicklungskosten an den gesamten Entwicklungskosten von
derzeit ca. 4% auf über 10% wird prognostiziert. Ein Automobil bündelt
so auf ca. 5m x 2m viele Fragestellungen der Informatik, insbesondere
der Entwicklung komplexer und zuverlässiger Softwaresysteme.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
D. Tech. Research Professor, Niilo Saranummi, VTT Technical Research
Centre of Finland:
Towards Personalized Health Services
Beginn: 27.11.2006, 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/2006-11-27-saranummi.html
Kontakt: Prof. Dr. Reinhold Haux
The continuing innovation and development in medicine, life sciences
and technology are constantly creating new and improved opportunities to
prevent, diagnose, treat and monitor diseases and promote health. This
combines with a changing and increasing demand for health services by
the population due to e.g. the ageing of the populations, changing life
styles and emerging consumerism. Consequently, health expenditures are on
the rise with governments trying to establish ways to contain healthcare
costs. However, it's becoming clear that the demand cannot be satisfied by
increasing the supply nor regulated by policies and incentives. Instead,
new, radical ways are needed to tackle the demand-supply mismatch. Several
converging activity threads have emerged that aim at a renewed health
services environment. These can be grouped into three main categories. The
first one deals with extending healthcare to health management, in other
words addressing health needs pervasively 'from cradle to grave'. Industry
is responding to this with activities ranging from ubiquitous computing
to industry alliances, such as the Continua Alliance, to an integrated
life-long electronic healthcare record. The second group of activities
deals with augmenting a patient's health and illness data with her
genotype data and is leading towards personalization of diagnosis
and therapy. The third group deals with 'healthcare engineering'. The
aim is to turn the current disease and episodic care oriented system
around to be a service environment which is proactive and engages and
empowers the individual in her health and illness management. Combined
these three threads point towards personalized health services where
the individual is a central actor in managing her own health and the
prevention, diagnosis, treatment and monitoring services are optimized
based on personal preferences, life styles, medical and health history,
and genetics. The road to such a personalized health services environment
is paved with challenges. These can roughly be placed into three
categories with increasing difficulty of realization. If the innovation
takes place within the established boundaries of healthcare professions
and organizations, its diffusion will be relatively smooth provided it
meets the criteria concerning cost-effectiveness, quality etc. If the
innovation challenges existing boundaries, but there is evidence of its
value through best practice studies (like EBM / Cochrane and HTA), it
will diffuse into routine use although more slowly than in the first
category. The most challenging case arises when organizational and
professional boundaries should be changed, roles of actors in service
delivery redefined and/or in the reimbursement practices modified. The
presentation will be illustrated with case examples.
