idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
TrustSoft "Vertrauenswürdige Software-Systeme" - so nennt sich das von der Deutschen Forschungsgemeinschaft (DFG) geförderte Graduiertenkolleg an der Universität Oldenburg, das heute im Informatikinstitut OFFIS offiziell eröffnet wurde. Insgesamt wurden 14 Stipendien an besonders qualifizierte NachwuchswissenschaftlerInnen aus der Informatik und den Rechtswissenschaften vergeben, die die erste von drei Kohorten des auf neun Jahre angelegten Graduiertenkollegs bilden.
TrustSoft ist das dritte Graduiertenkolleg der Universität Oldenburg und das erste der Fakultät Informatik, Wirtschafts- und Rechtswissenschaften. Kooperationspartner sind unter anderem die Firmen Microsoft und Sun sowie die EWE und die Kommunale Datenverarbeitung Oldenburg (KDO). Das Graduiertenkolleg bündelt die Kompetenzen der Oldenburger Informatik und Rechtsinformatik, um neue Methoden zur Erreichung der Vertrauenswürdigkeit von Software-Systemen in einem inter- und transdisziplinären Forschungsprogramm wissenschaftlich voranzubringen.
Ein Mittel, die Vertrauenswürdigkeit von Software-Systemen zu verbessern, bestehe darin, so Prof. Dr. Wilhelm Hasselbring, Informatiker und Sprecher des Kollegs, Fehler durch standardisierte Verifikationstechniken zu identifizieren und beseitigen. Dieser Ansatz, der schon im Sonderforschungsbereich-Transregio AVACS verfolgt wird, soll helfen, Software-Systeme so zu konstruieren, dass durch Defekte ausgelöste Fehler nicht zum Versagen des Gesamtsystems führen. Die so erreichbare Fehlertoleranz wird in zwei Vorträgen auf der Eröffnungsveranstaltung beleuchtet. Sprechen werden aus wissenschaftlicher Sicht Dr. Alexander Romanovsky (University of Newcastle, UK) und aus industrieller Sicht Jörg Möllenkamp (Sun Microsystems). Außerdem werden sich die Stipendiaten des Graduiertenkollegs kurz vorstellen.
Kontakt: Prof. Dr. Wilhelm Hasselbring, Tel.: 0441/ Tel.: 9722-560, E-Mail: hasselbring@informatik.uni-oldenburg.de
http://trustsoft.uni-oldenburg.de
Criteria of this press release:
Economics / business administration, Information technology, Law, Media and communication sciences, Politics
regional
Studies and teaching
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).
