Ziel
The objective of the SEDOS project was to define formal description techniques and support tools for the development and implementation of OSI protocols and services and, more generally, of open distributed systems.
Two formal languages were defined: ESTELLE (based on a machine-state model), and LOTOS, which combines the algebraic specification language ACT-ONE and the CCS calculus.
The objective of the project was to define formal description techniques and support tools for the development and implementation of open system interconnection (OSI) protocols and services and, more generally, of open distributed systems. Two formal languages were defined: ESTELLE (based on a machine-state model), and LOTOS, which combines the algebraic specification language ACT-ONE and the calculus of communicating systems (CCS). Prototypes of syntax directed editors, compilers, simulators, debugging tools, and verification (proof) tools for both ESTELLE and LOTOS were produced. Formal descriptions of a large number of OSI protocols and services were presented. Work in International Standards Organization (ISO) on standardisation of the formal description techniques (FDT) resulted in both languages attaining draft international standard. New theories for verification of protocol specifications were presented.
The results were:
-Prototypes of syntax-directed editors, compilers, simulators, debugging tools, and verification (proof) tools for both ESTELLE and LOTOS.
-Formal descriptions of a large number of OSI protocols and services.
-Work in ISO on standardisation of the FDT (Formal Description Techniques), resulting in both languages attaining draft international standard. This resulted in an international standard in 1988.
-New theories for verification of protocol specifications.
A follow-up project (1265) has developed an ESTELLE workstation, and will use some real life projects in an industrial environment to demonstrate the benefit of the SEDOS approach towards protocol development.
Exploitation
There is a strong commitment to exploit the results of the LOTOS part of the project. Through the contribution of this project, formalisation of the development of protocols and communication software is becoming one of the most important approaches for industry to develop the increasingly complex distributed systems of tomorrow.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Wir bitten um Entschuldigung ... während der Ausführung ist ein unerwarteter Fehler aufgetreten.
Sie müssen sich authentifizieren. Ihre Sitzung ist möglicherweise abgelaufen.
Vielen Dank für Ihr Feedback. Sie erhalten in Kürze eine E-Mail zur Übermittlungsbestätigung. Wenn Sie sich für eine Benachrichtigung über den Berichtsstatus entschieden haben, werden Sie auch im Falle einer Änderung des Berichtsstatus benachrichtigt.
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Daten nicht verfügbar
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Daten nicht verfügbar
Koordinator
31077 TOULOUSE
Frankreich
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.