 Activity-Charts |
| Activity-Charts ähneln hierarchischen Datenflußdiagrammen, d.h. die einzelnen funktionalen Komponenten (Activities) werden identifiziert und anschließend die (potentiellen) Kontroll- und Datenflüsse zwischen ihnen eingezeichnet. |
 |
 ARP 4754 |
| Die ARP 4754 ist ein Dokument, das als Leitfaden für Entwickler und Zertifizierungsbehörden im Luftfahrtbereich dazu gedacht ist, die Voraussetzungen für die Zertifizierung von Flugzeugsysteme hinsichtlich der Sicherheitsanalyse zu erreichen. |
|
| Automatisches Beweisen im Bereich der Softwareentwicklung |
Automatisches Beweisen (engl. Automated Theorem Proving) ist eine Technik zur vollständigen, automatischen Verifikation.
In den folgenden Bausteinen werden allgemeine Anforderungen an die Verifikation aus dem Bereich Software Engineering identifiziert, Interaktive Beweiser und Automatische Beweiser erläutert und in Bezug auf die identifizierten Anforderungen untersucht. |
|
| Einstieg Systemanalyse |
| Über eine Systemanalyse können, in Verbindung mit den entsprechenden Methoden, Modellen, Werkzeugen und Vorgehensweisen, Systeme bezüglich ihrer funktionalen und nicht funktionalen Eigenschaften untersucht und bewertet werden. |
|
| Endlicher Automat |
Ein endlicher Automat ist ein Modell eines Systems mit Ein- und Ausgaben, welches auf Basis einer endlichen Anzahl von möglichen (internen) Konfigurationen arbeitet, bestimmte Eingabewörter akzeptiert und ...
|
|
| Ereignisbaumanalyse (ETA) |
| Bei der Ereignisbaumanalyse (Event Tree Analysis, ETA) handelt es sich um eine induktive Methode zur Entwicklung der möglichen Folgen eines auslösenden Events, zum Beispiel eines Fehlers. |
|
| Failure Modes and Effects Analysis (FMEA) |
| Die Failure Modes and Effects Analysis (FMEA) wurde seit den sechziger Jahren für die Untersuchung von Flugzeugsicherheit entwickelt und wurde anschließend für Anwendungen in der Raumfahrt, für Anlagen ... |
|
| Fault Tree Analysis (FTA) |
| Die Fault Tree Analysis (FTA) wurde ursprünglich im Laufe der sechziger Jahre im Bereich der amerikanischen Telekommunikations- und Flugzeugindustrie entwickelt. Erst Anfang der achtziger Jahre erfolgte auf Veranlassung amerikanischer Behörden ... |
|
| Formale Logiken |
| Formale Logiken sind der Teil der formalen Sprachen, bei denen durch (u.U. automatisch durchführbare) Symbolmanipulation Schlüsse gezogen werden können. Damit solche Schlüsse möglich sind, müssen eine formale Syntax und eine Semantik definiert sein. |
|
| Functional Hazard Assessment (FHA) |
| In der Functional Hazard Assessment (FHA) wird der Entwurf auf der obersten Systemebene aus einer funktionalen Perspektive analysiert [SAE-ARP 4754/4761, 1996]. Das Ziel dieser Analysetechnik ist die Identifizierung derjenigen Funktionen ... |
|
| Hazard and Operability Study (HAZOP) |
| Die Methode der Hazard and Operability Study (HAZOP) wurde in den frühen siebziger Jahren von Imperial Chemical Industries (ICI) entwickelt und in den frühen neunziger Jahren zur Anwendung auf Software erweitert. Eine HAZOP wird durchgeführt, ... |
|
| Lesetechniken für Inspektionen |
| Das zentrale Element einer Inspektion besteht aus dem Lesen bzw. der Analyse von Softwareprodukten durch die Gutachter. Hierfür stehen verschiedene Techniken zur Auswahl. |
|
| Markov-Analyse |
| Markov-Methoden eignen sich gut, um Komponenten mit mehreren Zuständen zu untersuchen, beispielsweise mit Zuständen, die die Nominalfunktion, leichte Fehlfunktionen und kritische Fehlfunktionen beschreiben. |
|
| Messen-Einstieg |
| Das Thema "Messen" erläutert die Theorie des Messens und gibt einen Überblick darüber, welche Maße im Umfeld des Software Engineering eine Rolle spielen. |
|
| Metrikbasierte Qualitätsanalyse - Einstieg |
| Die Metrikbasierte Qualitätsanalyse ist ein Verfahren, das eine objektive und effektive Einschätzung der Qualität großer Software-Systeme erlaubt. |
|
| Model Checking |
| Mit Hilfe der Verifikationstechnik Model Checking ist es möglich, die Modellierung eines Systems daraufhin zu überprüfen, ob sie die Eigenschaften aus einer bestimmten Spezifikation erfüllt (...) |
|
| Modellbildung |
| Die Modellbildung ist ein typischer Abstraktionsprozess in der Informatik und der Mathematik, mit dem man versucht, die Komplexität eines Systems auf ein „bewältigbares“ Maß zu reduzieren. |
|
| Preliminary Hazard Analysis (PHA) |
| Die vorläufige Sicherheitsanalyse (preliminary hazard analysis, PHA) wurde in den späten sechziger Jahren (1966) entwickelt, nachdem das us-amerikanische Verteidigungsministerium verlangte, dass Sicherheitsstudien in allen Stufen der ... |
|
| Prozess der Qualitätsanalyse - Überblick |
| Der Prozess zur Durchführung einer Software-Produktanalyse lässt sich hinsichtlich verschiedener Phasen unterteilen. Jede dieser Phasen ist durch verschiedene Aktivitäten gekennzeichnet, die explizit erläutert werden. |
|
| Risikoanalyse - Einstieg |
| Es gibt eine Reihe etablierter Verfahren, um Fehler und Schwachstellen in Systementwürfen und Implementierungen systematisch zu identifizieren, auf ihren Ursprung zurückzuführen oder in ihren Konsequenzen weiter zu verfolgen. Im Bereich des System Engineering haben solche Verfahren eine lange Tradition. Eine Übertragung der Methoden auf den Bereich der Software und speziell auf Sicherheitsschwachstellen erfordert besondere Anpassungen. |
|
| Sicherheit - Einstieg |
| Die Gewährleistung von Sicherheit - Safety und Security - ist nach heutigem Stand der ein Problem, für das bisher nur unvollkommene Prozess- und Methodenunterstützung existiert. Security Engineering basiert bisher vor allem auf individuellem Expertenwissen und einer rigorosen Anwendung systematischer Entwicklungsprozesse. |
|
| Sicherheitsanalyse |
Unter der Sicherheitsanalyse eines sicherheitskritischen Systems versteht man eine systematische, nachvollziehbare Überprüfung des implementierten Systems hinsichtlich definierter Sicherheitsanforderungen.
|
|
| Software Inspektionen |
| Software Inspektion ist eine statische Methode zur Softwarequalitätsverbesserung und Fehlerkostenreduktion. Dabei wird ein Softwaredokument von einem oder mehreren Inspektoren auf Fehler oder Mängel hin untersucht. |
|
| Spezifikation |
Die Methode der (formalen) Spezifikation beschreibt die (formale) Zusammenstellung derjenigen Eigenschaften, die für die (formale) Korrektheit eines in Entwicklung befindlichen Systems (oder eines Modells) nötig.
|
|
| State-Chart |
| State-Charts sind ein Bestandteil der UML und basieren auf Zustandsautomaten, die das reaktive Verhalten des Systems bzw. einer Komponente darstellen. |
|
| Statemate Verifikation |
| Mit Hilfe der vom OFFIS und der Universität Oldenburg entwickelten Verifikationsumgebung für Statemate kann die Erfüllung der Anforderungen einer in Symbolic Timing Diagrams vorliegenden Spezifikation durch ein als State-Chart vorliegendes (...) |
|
| Symbolic Timing Diagrams |
| Bei Symbolischen Zeitdiagrammen (Symbolic Timing Diagrams, STD) handelt es sich um eine grafische Methode zur Erstellung formaler Spezifikationen. |
|
| Theorem Proving |
| Unter Theorem Proving versteht man den Beweis der Korrektheit von Programmen bezüglich einer mathematisch formulierten Spezifikation. Der Korrektheitsbeweis erfolgt auf der Grundlage von formalen (...) |
|
| TTCN-3 - Kernsprache - Überblick |
Die Kernsprache von TTCN-3 ist eine modulare Sprache und ist ähnlich einer typi-schen Programmiersprache.
|
|
| TTCN-3 - Überblick |
| TTCN (die Testing and Test Control Notation TTCN-3) ist eine weit verbreitete und eingesetzte Testtechnologie - traditionell aus der Telekommunikation. In seiner neuen Version adressiert TTCN-3 einen breiteren Bereich und ermöglicht eine weite Anwendbarkeit. Es kann nicht nur für das Testen der Konformität und Interoperabilität von Kommunikationsprotokollen, sondern auch beispielsweise für das Testen der Interaktion von Sensoren, Aktuatoren und Steuereinheiten, die über Bussysteme angeschlossen werden, genutzt werden. |
|
| Verfahren zur Problemidentifikation |
| Ein Überblick über statische Verfahren zur Lokalisierung von Problemstellen hinsichtlich der internen Qualität. |
|
| Verifikation (formal) |
Durch eine (formale) Verifikation im Software- und Hardwareengineering wird die Übereinstimmung der Eigenschaften der erstellten Entitäten (z.B. Dokumente, Modelle, Implementierung) einer (Entwicklungs-)Phase gegenüber der nächsten sichergestellt (...)
|
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
QBench