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 sciences naturellesinformatique et science de l'informationlogicielingénierie et technologiegénie électrique, génie électronique, génie de l’informationingénierie électroniqueélectronique analogiqueingénierie et technologieingénierie des materiauxsciences naturellessciences physiquesélectromagnétisme et électroniquemicroélectronique Programme(s) FP1-ESPRIT 1 - European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988 Thème(s) Data not available Appel à propositions Data not available Régime de financement Data not available Coordinateur KATHOLIEKE UNIVERSITEIT NIJMEGEN Adresse Toernooiveld 1 6525 ED Nijmegen Pays-Bas Voir sur la carte Contribution de l’UE Aucune donnée Participants (3) Trier par ordre alphabétique Trier par contribution de l’UE Tout développer Tout réduire BELL TELEPHONE MFG CO NV Belgique Contribution de l’UE € 0,00 Adresse Francis wellesplein 2018 Antwerpen Voir sur la carte Autres sources de financement Aucune donnée SAGANTEC BV Pays-Bas Contribution de l’UE € 0,00 Adresse Postbus 2102 5600 CC Eindhoven Voir sur la carte Autres sources de financement Aucune donnée TECHNISCHE UNIVERSITEIT DELFT Pays-Bas Contribution de l’UE € 0,00 Adresse Mekelweg 4 postbus 5031 2600 DA Delft Voir sur la carte Autres sources de financement Aucune donnée