Objetivo
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.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
Para utilizar esta función, debe iniciar sesión o registrarse
Le pedimos disculpas, pero se ha producido un error inesperado durante la ejecución.
Necesita estar autentificado. Puede que su sesión haya finalizado.
Gracias por su comentario. En breve recibirá un correo electrónico para confirmar el envío. Si ha seleccionado que se le notifique sobre el estado del informe, también se le contactará cuando el estado del informe cambie.
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Datos no disponibles
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Datos no disponibles
Coordinador
31077 TOULOUSE
Francia
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.