Forschungsprojekte

ProbPOR

Probabilistische Aspekte spielen in vielen Teilgebieten der Informatik eine wichtige Rolle. Beispielsweise wird das Konzept der Randomisierung in zahlreichen Koordinationsalgorithmen für verteilte Systeme, Kommunikations- und kryptographischen Protokollen eingesetzt. Das Hauptziel des Projekts ist die Erstellung eines Softwareprodukts, mit dem sich reaktive, probabilistische Systeme hinsichtlich ω-regulärer rnund temporallogischer Spezifikationen automatisiert analysieren lassen, sowie die Entwicklung der dafür benötigten theoretischen Grundlagen. Der Schwerpunkt liegt auf dem Entwurf und der Analyse von Reduktionsmethoden (Partial Order Reduction), welche es erlauben, nur ein Fragment des Zustandsraums zu analysieren, Minimierungsalgorithmen für Automaten-Darstellungen temporaler Eigenschaften und randomisierten Verifikationsalgorithmen.

01/2005

Drittmittel

international

http://

Informationssystemtechnik

Nein

Nein

Nein

Verifikation, probabilistische Systeme, Reduktionsmethoden

ProbPOR

Probabilistische Aspekte spielen in vielen Teilgebieten der Informatik eine wichtige Rolle. Beispielsweise wird das Konzept der Randomisierung in zahlreichen Koordinationsalgorithmen für verteilte Systeme, Kommunikations- und kryptographischen Protokollen eingesetzt. Das Hauptziel des Projekts ist die Erstellung eines Softwareprodukts, mit dem sich reaktive, probabilistische Systeme hinsichtlich ω-regulärer rnund temporallogischer Spezifikationen automatisiert analysieren lassen, sowie die Entwicklung der dafür benötigten theoretischen Grundlagen. Der Schwerpunkt liegt auf dem Entwurf und der Analyse von Reduktionsmethoden (Partial Order Reduction), welche es erlauben, nur ein Fragment des Zustandsraums zu analysieren, Minimierungsalgorithmen für Automaten-Darstellungen temporaler Eigenschaften und randomisierten Verifikationsalgorithmen.

01/2005

Drittmittel

international

http://

Informationssystemtechnik

Nein

Nein

Nein

Verifikation, probabilistische Systeme, Reduktionsmethoden

ProbPOR

Probabilistische Aspekte spielen in vielen Teilgebieten der Informatik eine wichtige Rolle. Beispielsweise wird das Konzept der Randomisierung in zahlreichen Koordinationsalgorithmen für verteilte Systeme, Kommunikations- und kryptographischen Protokollen eingesetzt. Das Hauptziel des Projekts ist die Erstellung eines Softwareprodukts, mit dem sich reaktive, probabilistische Systeme hinsichtlich ω-regulärer rnund temporallogischer Spezifikationen automatisiert analysieren lassen, sowie die Entwicklung der dafür benötigten theoretischen Grundlagen. Der Schwerpunkt liegt auf dem Entwurf und der Analyse von Reduktionsmethoden (Partial Order Reduction), welche es erlauben, nur ein Fragment des Zustandsraums zu analysieren, Minimierungsalgorithmen für Automaten-Darstellungen temporaler Eigenschaften und randomisierten Verifikationsalgorithmen.

01/2005

Drittmittel

international

http://

Informationssystemtechnik

Nein

Nein

Nein

Verifikation, probabilistische Systeme, Reduktionsmethoden

ProbPOR

Probabilistische Aspekte spielen in vielen Teilgebieten der Informatik eine wichtige Rolle. Beispielsweise wird das Konzept der Randomisierung in zahlreichen Koordinationsalgorithmen für verteilte Systeme, Kommunikations- und kryptographischen Protokollen eingesetzt. Das Hauptziel des Projekts ist die Erstellung eines Softwareprodukts, mit dem sich reaktive, probabilistische Systeme hinsichtlich ω-regulärer rnund temporallogischer Spezifikationen automatisiert analysieren lassen, sowie die Entwicklung der dafür benötigten theoretischen Grundlagen. Der Schwerpunkt liegt auf dem Entwurf und der Analyse von Reduktionsmethoden (Partial Order Reduction), welche es erlauben, nur ein Fragment des Zustandsraums zu analysieren, Minimierungsalgorithmen für Automaten-Darstellungen temporaler Eigenschaften und randomisierten Verifikationsalgorithmen.

01/2005

Drittmittel

international

http://

Informationssystemtechnik

Nein

Nein

Nein

Verifikation, probabilistische Systeme, Reduktionsmethoden

ProbPOR

Probabilistische Aspekte spielen in vielen Teilgebieten der Informatik eine wichtige Rolle. Beispielsweise wird das Konzept der Randomisierung in zahlreichen Koordinationsalgorithmen für verteilte Systeme, Kommunikations- und kryptographischen Protokollen eingesetzt. Das Hauptziel des Projekts ist die Erstellung eines Softwareprodukts, mit dem sich reaktive, probabilistische Systeme hinsichtlich ω-regulärer rnund temporallogischer Spezifikationen automatisiert analysieren lassen, sowie die Entwicklung der dafür benötigten theoretischen Grundlagen. Der Schwerpunkt liegt auf dem Entwurf und der Analyse von Reduktionsmethoden (Partial Order Reduction), welche es erlauben, nur ein Fragment des Zustandsraums zu analysieren, Minimierungsalgorithmen für Automaten-Darstellungen temporaler Eigenschaften und randomisierten Verifikationsalgorithmen.

01/2005

Drittmittel

international

http://

Informationssystemtechnik

Nein

Nein

Nein

Verifikation, probabilistische Systeme, Reduktionsmethoden

ProbPOR

Probabilistische Aspekte spielen in vielen Teilgebieten der Informatik eine wichtige Rolle. Beispielsweise wird das Konzept der Randomisierung in zahlreichen Koordinationsalgorithmen für verteilte Systeme, Kommunikations- und kryptographischen Protokollen eingesetzt. Das Hauptziel des Projekts ist die Erstellung eines Softwareprodukts, mit dem sich reaktive, probabilistische Systeme hinsichtlich ω-regulärer rnund temporallogischer Spezifikationen automatisiert analysieren lassen, sowie die Entwicklung der dafür benötigten theoretischen Grundlagen. Der Schwerpunkt liegt auf dem Entwurf und der Analyse von Reduktionsmethoden (Partial Order Reduction), welche es erlauben, nur ein Fragment des Zustandsraums zu analysieren, Minimierungsalgorithmen für Automaten-Darstellungen temporaler Eigenschaften und randomisierten Verifikationsalgorithmen.

01/2005

Drittmittel

international

http://

Informationssystemtechnik

Nein

Nein

Nein

Verifikation, probabilistische Systeme, Reduktionsmethoden