Objectif
Embedded systems represent by far the largest application area for IT systems. An embedded systems is typically composed of three components: data acquisition, data processing and action generation. All three components strongly influence the overall behaviour of the system. The target system in this project is a mobile system with embedded controllers, distributed and heterogeneous sensors, acting in a dynamically changing physical environment. The objectives of the project are to develop new paradigms and methods for modelling, verification and design of embedded control systems with distributed sensing, which include explicit handling of resource constraints and uncertainty. The focus will be on mobile systems where particular attention is needed for management of structural and real-time complexity.
OBJECTIVES
The main driver of this proposal is the development of new paradigms and methods for control design of embedded systems with distributed sensing, limited communication and computational resources. This includes rigorous methods for modelling, analysis, design and verification of control systems with heterogeneous sensors. Although such systems are omnipresent, the proposal is focused on mobile systems, which provide a particularly challenging benchmark since they operate in an uncertain and changing environment. The new methodologies will deal with control design under various constraints, such as signal quantization, bandwidth limitation, distributed sensing and computation, and real-time scheduling. The project will add to the overall scientific thrust on handling information complexity in system design.
DESCRIPTION OF WORK
The purpose of the project is to develop methodologies and unifying principles for the rational design of embedded systems that have distributed and heterogenous sensors and operate in an uncertain and changing environment. This implies that fundamental issues in the design of such embedded systems include modelling, verification, data processing from distributed and heterogenous sensors, as well as design of concurrent controllers under sensory and communication constraints. These research problems present the core of this project and the workplan is accordingly organized into four workpackages:WP1. Tools for abstraction and analysis of complex systems; WP2. Design of control systems under communication and computation constraints; WP3. Real-time processing of distributed sensory data; WP4. Implementation and validation on a mobile testbed. Although the case study in WP4 (mainly partners 4 and 5) will provide a concrete example, the main driver in this project is to further the state of art in the research of the above mentioned issues. The main purpose of WP1 is to provide a methodology for modelling and verification of complex, hybrid and quantized systems. Partner 2, in collaboration with Partners 1 and 3, will contribute basic knowledge in modelling and analyzing these systems as hybrid control systems, with a robust and scalable architecture. In WP2, Partners 3, 2and 1 will contribute basic knowledge and techniques in design of distributed and concurrent controllers under sensory and communication constraints. In WP3,Partners 1 and 2 will provide methods for handling computationally demanding sensing tasks and non linear filtering algorithms. In WP4 Partner 4 and 5 will develop software tools for the experimental evaluation of the techniques on a mobile system testbed.
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 système d’automatisation et de contrôle
- ingénierie et technologie génie électrique, génie électronique, génie de l’information ingénierie électronique capteurs
- sciences naturelles informatique et science de l'information science des données traitement des données
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Nous sommes désolés... Une erreur inattendue s’est produite.
Vous devez être authentifié. Votre session a peut-être expiré.
Merci pour votre retour d'information. Vous recevrez bientôt un courriel confirmant la soumission. Si vous avez choisi d'être informé de l'état de la déclaration, vous serez également contacté lorsque celui-ci évoluera.
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é.
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.
Coordinateur
35122 PADOVA (PD)
Italie
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.