« August 2017 »
August
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031
Uni-Logo
You are here: Home Research Data Base Projects
Document Actions

Projects

This page is constructed automatically from the official research data base of the University of Freiburg.  This data base is likely to be out of date. If in doubt, please contact swtsecr@informatik.uni-freiburg.de.

 

Verisoft XT

Project description

The main goal of the project is the pervasive formal verification of computer systems. The correct functionality of systems, as they are used, for example, in automotive engineering, in security technology and in the sector of medical technology, is to be mathematically proved. Verisoft XT is a three-year research project funded by the German Federal Ministry of Education and Research (BMBF). Project management agency is the German Aerospace Center (DLR). The main goal of the project is the pervasive formal verification of computer systems. The correct functionality of systems, as they are used, for example, in automotive engineering, in security technology and in the sector of medical technology, is to be mathematically proved. The proofs are computer aided in order to prevent human error by the scientists involved. The knowledge and progress obtained are expected to assist german enterprise in achieving a stable, internationally competitive position in the professional areas mentioned above. The Verisoft XT project is focused on: * The creation of methods and tools which would allow the pervasive formal verification of the design of integrated computer systems. * An increase in industrial productivity and quality. * The prototypical realization of four concrete, industrial application tasks.

Start/End of project

01.07.2007 until 30.06.2010

Contact person

Berit Brauer
Phone:2038247

Partners

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, Universität des Saarlandes, Universität Bremen Technische Universität Kaiserslautern Technische Universität München Sirrix AG security technologies Universität Koblenz-Landau Robert Bosch GmbH European Microsoft Innovation Center GmbH SYSGO AG ESG Elektroniksystem- und Logistik GmbH AbsInt Angewandte Informatik GmbH Infineon Technologies AG Audi AG OneSpin Solutions GmbH TÜV SÜD Automotive GmbH Microsoft Research Abstract RT Solutions GmbH
Personal tools