Objetivo
The FORFUN project aimed to develop a prototype of a general purpose system description environment based on so-called "system semantics".
System semantics is an extension of the denotational semantics of programming languages in the sense that it is applicable to arbitrary systems, with various properties of a system described by corresponding meaning functions.
A prototype general-purpose system description environment based on functional languages and extended with primitives of system semantics was developed.
Another goal of the project was the design of a prototype system description language for two specific areas: analogue electronic circuits and digital systems (including VLSI).
System semantics is an extension of the denotational semantics of programming languages in the sense that it is applicable to arbitrary systems, with various properties of a system described by corresponding meaning functions. A prototype general purpose system description environment based on functional languages and extended with primitives of system semantics was developed. Another goal of the project was the design of a prototype system description language for 2 specific areas: analogue electronic circuits and digital systems (including very large scale integration (VLSI)). The feasibility of the approach was demonstrated through case studies using the system description language to describe digital and analog electronic circuits. A general language for system semantics, GLASS, was defined, and a support environment specified. Implementation of the environment is underway through the construction of a coherent set of program generators to support the languages Miranda, Pascal and C. Demonstrations were made in the support of analogue and digital design. Although requiring further development, the basic paradigm shows an important development in the description of systems.
The feasibility of the approach was demonstrated through case studies using the system description language to describe digital and analog electronic circuits.
A general language for system semantics, GLASS, was defined, and a support environment specified.
Implementation of the environment is underway through the construction of a coherent set of program generators to support Miranda, Pascal and C.
Demonstrations were made in the support of analogue and digital design. Although requiring further development, the basic paradigm shows an important development in the description of systems.
Exploitation
The partners held a seminar to explain the project results to VLSI designers in industry and thus to support their eventual exploitation.
An academic partner is applying the results in analogue circuit design in other projects.
An industrial partner has started the informal transfer of technology to IMEC, the Belgian Inter-University Microelectronics Centre.
Á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..
- ciencias naturales informática y ciencias de la información software
- ingeniería y tecnología ingeniería eléctrica, ingeniería electrónica, ingeniería de la información ingeniería electrónica electrónica analógica
- ingeniería y tecnología ingeniería de materiales sólidos amorfos
- ciencias naturales ciencias físicas electromagnetismo y electrónica microelectrónica
Para utilizar esta función, debe iniciar sesión o registrarse
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
6525 ED NIJMEGEN
Países Bajos
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.