Nationales Netzwerk zu Software-Prüfung gestartet Detail - Computerwelt

Computerwelt: Aktuelle IT-News Österreich


15.03.2011 Christof Baumgartner/apa

Nationales Netzwerk zu Software-Prüfung gestartet

Edmund Clarke, Träger des Turing-Preises, bescheinigt Österreich in die Liga "der führenden Länder von Hard- und Software-Verifikation" vorgestoßen zu sein. Kürzlich wurde ein neues "Nationales Forschungsnetzwerk" in diesem Bereich präsentiert.

Nun bescheinigt der Träger des Turing-Preises, der höchsten Auszeichnung in der Informatik, Österreich, in die Liga "der führenden Länder von Hard- und Software-Verifikation" vorgestoßen zu sein. Ein neues "Nationales Forschungsnetzwerk" in diesem Bereich wurde Montagabend in Wien präsentiert. Bereits im Vorjahr haben sich Informatiker mehrerer österreichischer Universitäten und Forschungseinrichtungen, die alle auf dem boomenden Gebiet arbeiten, in der Plattform "ARiSE" (Austrian Rigorous Systems Engineering) zusammengeschlossen, um stärker zu kooperieren.

Nun fördert der Wissenschaftsfonds FWF diesen Zusammenschluss als Nationales Forschungsnetzwerk für vier Jahre mit insgesamt 3,75 Mio. Euro, eine Verlängerung um weitere vier Jahre ist möglich. Dem Netzwerk gehören neun Forscher der TU Graz und Wien, der Universitäten Linz und Salzburg sowie des Institute of Science and Technology (IST) Austria in Maria Gugging (NÖ) an. Mit den Fördermitteln sollen 21 Stellen für Dissertanten und Postdocs geschaffen werden.

SOFTWARE OHNE FEHLER Die Wissenschafter verfolgen das Ziel, mit Hilfe mathematischer Methoden bessere Software ohne Fehler zu entwickeln. Nicht wie derzeit erst nach Fertigstellung einer Software soll diese durch Erfahrung und Erprobung geprüft werden, sondern Prüfprogramme sollen schon während der Programmierung die Software auf Fehler untersuchen. "Programmieren soll keine Kunst, sondern Wissenschaft werden", so der Sprecher des Netzwerks, Roderick Bloem, von der Technischen Universität (TU) Graz.

Wissenschaftsministerin Beatrix Karl (V) bezeichnete diese Vernetzung als "unerlässlich, um kritische Masse zu bilden und um international sichtbar zu werden". Sie biete zudem einen Anreiz für Top-Wissenschafter, nach Österreich zu kommen bzw. in Österreich zu bleiben. Montag und Dienstag fand am IST Austria die Auftaktveranstaltung für das neue Nationale Forschungsnetzwerk statt.

Diesen Artikel

Bewertung:

Übermittlung Ihrer Stimme...
Noch nicht bewertet. Seien Sie der Erste, der diesen Artikel bewertet!
Klicken Sie auf den Bewertungsbalken, um diesen Artikel zu bewerten.
  Sponsored Links:

IT-News täglich per Newsletter

E-Mail:
Weitere CW-Newsletter

CW Premium Zugang

Whitepaper und Printausgabe lesen.  

kostenlos registrieren

Aktuelle Praxisreports

(c) FotoliaHunderte Berichte über IKT Projekte aus Österreich. Suchen Sie nach Unternehmen oder Lösungen.

Zum Thema


Hosted by:    Security Monitoring by: