Objectif
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.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences naturelles informatique et science de l'information logiciel
- ingénierie et technologie génie électrique, génie électronique, génie de l’information ingénierie électronique électronique analogique
- ingénierie et technologie ingénierie des materiaux solides amorphes
- sciences naturelles sciences physiques électromagnétisme et électronique microélectronique
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Données non disponibles
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Données non disponibles
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Données non disponibles
Coordinateur
6525 ED NIJMEGEN
Pays-Bas
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.