Add to ORKGEs wird eine Methode zur systematischen Erstellung sicherer Spezifikationen für softwarebasierte Ingenieuranwendungen entwickelt. Dabei steht 'sicher' sowohl für korrektes Funktionieren als auch für eine ausfalltolerante Gestaltung. Formale Spezifikationen werden dabei zur Beschreibung des Systemmodells sowie zur Formulierung und Verifikation von Sicherheitseigenschaften verwendet. Mit den Techniken der Sicherheitsanalyse werden Schwachstellen und Designfehler ermittelt. Die Ergebnisse werden anhand der Referenzfallstudie 'Verkehrsleittechnik' des Schwerpunkts evaluiert
Bis heute wird die Sicherheit bei der Entwicklung von IT-Systemen eher stiefmütterlich behandelt. Di...
Die Arbeit beschäftigt sich mit der Integration von Methoden und Verfahren zur gesicherten Übertragu...
Systemintegration hat auf Grund des Einsatzes heterogener Systeme eine fortlaufende Bedeutung für vi...
Sicherheitsanalysetechniken wurden in den Ingenieurwissenschaften schon in den 60iger Jahren für tec...
Eine stark wachsende Zahl eingebetteter elektronischer Systeme implementiert sicherheitsrelevante Fu...
Die Entwicklung von großen Systemen erfordert kooperative Arbeitsprozesse, die sehr komplex sind. Di...
Eine Lösung für den Software-Entwicklungsprozess ist die modellbasierte Methode. Diese eignet sich, ...
In diesem Bericht beschreiben wir die Spezifikation einer Lichtsignalanlagensteuerung mit dem Spezif...
Hier wird eine Methode vorgestellt, die Gegenbeispiele auch für nicht zustandsendliche Systeme erzeu...
Mangelndes Verständnis der Wissenschaftler untereinander kennzeichnet die heutige Wissenschaftskommu...
Die Wahrung der IT-Sicherheit ist nach dem Stand der Praxis eine Herausforderung für IT-Hersteller u...
Software muß zuverlässiger werden. Es ist allgemein anerkannt, daß formale Methoden, sofern sie rich...
Die Komplexität von sicherheitskritischen Systemen ist seit jeher gewachsen, aber besonders in den l...
Wir beschreiben eine Technik zur Spezifikation eingebetteter Steuerungssysteme mit Z und Statecharts...
Durch die immer stärkere Vernetzung technischer Systeme, z.B. von Produktionssystemen, durch die Inf...
Bis heute wird die Sicherheit bei der Entwicklung von IT-Systemen eher stiefmütterlich behandelt. Di...
Die Arbeit beschäftigt sich mit der Integration von Methoden und Verfahren zur gesicherten Übertragu...
Systemintegration hat auf Grund des Einsatzes heterogener Systeme eine fortlaufende Bedeutung für vi...
Sicherheitsanalysetechniken wurden in den Ingenieurwissenschaften schon in den 60iger Jahren für tec...
Eine stark wachsende Zahl eingebetteter elektronischer Systeme implementiert sicherheitsrelevante Fu...
Die Entwicklung von großen Systemen erfordert kooperative Arbeitsprozesse, die sehr komplex sind. Di...
Eine Lösung für den Software-Entwicklungsprozess ist die modellbasierte Methode. Diese eignet sich, ...
In diesem Bericht beschreiben wir die Spezifikation einer Lichtsignalanlagensteuerung mit dem Spezif...
Hier wird eine Methode vorgestellt, die Gegenbeispiele auch für nicht zustandsendliche Systeme erzeu...
Mangelndes Verständnis der Wissenschaftler untereinander kennzeichnet die heutige Wissenschaftskommu...
Die Wahrung der IT-Sicherheit ist nach dem Stand der Praxis eine Herausforderung für IT-Hersteller u...
Software muß zuverlässiger werden. Es ist allgemein anerkannt, daß formale Methoden, sofern sie rich...
Die Komplexität von sicherheitskritischen Systemen ist seit jeher gewachsen, aber besonders in den l...
Wir beschreiben eine Technik zur Spezifikation eingebetteter Steuerungssysteme mit Z und Statecharts...
Durch die immer stärkere Vernetzung technischer Systeme, z.B. von Produktionssystemen, durch die Inf...
Bis heute wird die Sicherheit bei der Entwicklung von IT-Systemen eher stiefmütterlich behandelt. Di...
Die Arbeit beschäftigt sich mit der Integration von Methoden und Verfahren zur gesicherten Übertragu...
Systemintegration hat auf Grund des Einsatzes heterogener Systeme eine fortlaufende Bedeutung für vi...