Objectif
The CHIC project is designed to accelerate the exploitation of Constraint Logic Programming (CLP) in industrial environments.
Application experiments have been carried out using existing constraint logic programming (CLP) platforms. New requirements have been identified for the development of the future platform: temporal reasoning, design and verification of finite state systems, new computation domains such as symbolic and nonlinear constraints, and new computation rules.
A list of good practices for programming with CLP has been set up and will lead to a full methodology. Tools for the programming environment and the development of the new platform are in progress.
Recent advances in CLP, in particular the CHIP system developed at the European Computer Industry Research Centre (ECRC), have given Europe a significant lead in technology suited to large combinatorial problems, such as those confronted in production management, VLSI design, financial systems, logistics and network management. The three industrial partners (Bull, ICL LTD and Siemens) have absorbed the CHIP system into their own product lines and are currently seeking to enhance and extend their applications.
The basic strategy of the work programme is to take the CHIP system as the kernel language and divide the enhancements into short, medium and long-term goals. This is intended to maximise the range of successful products while minimising the risks. Applications which are certain to emerge in the short term will be pursued in the fields described above.
The long-term aspirations will be targeted towards engineering a successor to CHIP. Here the risk factor is not negligible. This will be partially offset by the medium-term objective, which is to extend the existing CHIP system to new problem areas such as planning, the design of communication protocols, and configuration problems. The aim is to seek a substantial increase in value added to CHIP while containing the risks.
To tap a representative cross-section of potential users of CLP technology, a user interest group will be formed under the provisions of the European Economic Interest Grouping (EEIG). The six founder-members of the user group will be represented in the Consortium as associate partners and will help focus the direction of the work-programme towards the marketplace.
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.
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
81739 München
Allemagne
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.