Ziel
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.
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.
- Naturwissenschaften Informatik und Informationswissenschaften Software
- Technik und Technologie Elektrotechnik, Elektronik, Informationstechnik Elektrotechnik Analogtechnik
- Technik und Technologie Werkstofftechnik amorphe Feststoffe
- Naturwissenschaften Naturwissenschaften Elektromagnetismus und Elektronik Mikroelektronik
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
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
6525 ED NIJMEGEN
Niederlande
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.