Project acronym AfricanNeo
Project The African Neolithic: A genetic perspective
Researcher (PI) Carina SCHLEBUSCH
Host Institution (HI) UPPSALA UNIVERSITET
Country Sweden
Call Details Starting Grant (StG), SH6, ERC-2017-STG
Summary The spread of farming practices in various parts of the world had a marked influence on how humans live today and how we are distributed around the globe. Around 10,000 years ago, warmer conditions lead to population increases, coinciding with the invention of farming in several places around the world. Archaeological evidence attest to the spread of these practices to neighboring regions. In many cases this lead to whole continents being converted from hunter-gatherer to farming societies. It is however difficult to see from archaeological records if only the farming culture spread to other places or whether the farming people themselves migrated. Investigating patterns of genetic variation for farming populations and for remaining hunter-gatherer groups can help to resolve questions on population movements co-occurring with the spread of farming practices. It can further shed light on the routes of migration and dates when migrants arrived.
The spread of farming to Europe has been thoroughly investigated in the fields of archaeology, linguistics and genetics, while on other continents these events have been less investigated. In Africa, mainly linguistic and archaeological studies have attempted to elucidate the spread of farming and herding practices. I propose to investigate the movement of farmer and pastoral groups in Africa, by typing densely spaced genome-wide variant positions in a large number of African populations. The data will be used to infer how farming and pastoralism was introduced to various regions, where the incoming people originated from and when these (potential) population movements occurred. Through this study, the Holocene history of Africa will be revealed and placed into a global context of migration, mobility and cultural transitions. Additionally the study will give due credence to one of the largest Neolithic expansion events, the Bantu-expansion, which caused a pronounced change in the demographic landscape of the African continent
Summary
The spread of farming practices in various parts of the world had a marked influence on how humans live today and how we are distributed around the globe. Around 10,000 years ago, warmer conditions lead to population increases, coinciding with the invention of farming in several places around the world. Archaeological evidence attest to the spread of these practices to neighboring regions. In many cases this lead to whole continents being converted from hunter-gatherer to farming societies. It is however difficult to see from archaeological records if only the farming culture spread to other places or whether the farming people themselves migrated. Investigating patterns of genetic variation for farming populations and for remaining hunter-gatherer groups can help to resolve questions on population movements co-occurring with the spread of farming practices. It can further shed light on the routes of migration and dates when migrants arrived.
The spread of farming to Europe has been thoroughly investigated in the fields of archaeology, linguistics and genetics, while on other continents these events have been less investigated. In Africa, mainly linguistic and archaeological studies have attempted to elucidate the spread of farming and herding practices. I propose to investigate the movement of farmer and pastoral groups in Africa, by typing densely spaced genome-wide variant positions in a large number of African populations. The data will be used to infer how farming and pastoralism was introduced to various regions, where the incoming people originated from and when these (potential) population movements occurred. Through this study, the Holocene history of Africa will be revealed and placed into a global context of migration, mobility and cultural transitions. Additionally the study will give due credence to one of the largest Neolithic expansion events, the Bantu-expansion, which caused a pronounced change in the demographic landscape of the African continent
Max ERC Funding
1 500 000 €
Duration
Start date: 2017-11-01, End date: 2022-10-31
Project acronym AFRODITE
Project Advanced Fluid Research On Drag reduction In Turbulence Experiments
Researcher (PI) Jens Henrik Mikael Fransson
Host Institution (HI) KUNGLIGA TEKNISKA HOEGSKOLAN
Country Sweden
Call Details Starting Grant (StG), PE8, ERC-2010-StG_20091028
Summary A hot topic in today's debate on global warming is drag reduction in aeronautics. The most beneficial concept for drag reduction is to maintain the major portion of the airfoil laminar. Estimations show that the potential drag reduction can be as much as 15%, which would give a significant reduction of NOx and CO emissions in the atmosphere considering that the number of aircraft take offs, only in the EU, is over 19 million per year. An important element for successful flow control, which can lead to a reduced aerodynamic drag, is enhanced physical understanding of the transition to turbulence process.
In previous wind tunnel measurements we have shown that roughness elements can be used to sensibly delay transition to turbulence. The result is revolutionary, since the common belief has been that surface roughness causes earlier transition and in turn increases the drag, and is a proof of concept of the passive control method per se. The beauty with a passive control technique is that no external energy has to be added to the flow system in order to perform the control, instead one uses the existing energy in the flow.
In this project proposal, AFRODITE, we will take this passive control method to the next level by making it twofold, more persistent and more robust. Transition prevention is the goal rather than transition delay and the method will be extended to simultaneously control separation, which is another unwanted flow phenomenon especially during airplane take offs. AFRODITE will be a catalyst for innovative research, which will lead to a cleaner sky.
Summary
A hot topic in today's debate on global warming is drag reduction in aeronautics. The most beneficial concept for drag reduction is to maintain the major portion of the airfoil laminar. Estimations show that the potential drag reduction can be as much as 15%, which would give a significant reduction of NOx and CO emissions in the atmosphere considering that the number of aircraft take offs, only in the EU, is over 19 million per year. An important element for successful flow control, which can lead to a reduced aerodynamic drag, is enhanced physical understanding of the transition to turbulence process.
In previous wind tunnel measurements we have shown that roughness elements can be used to sensibly delay transition to turbulence. The result is revolutionary, since the common belief has been that surface roughness causes earlier transition and in turn increases the drag, and is a proof of concept of the passive control method per se. The beauty with a passive control technique is that no external energy has to be added to the flow system in order to perform the control, instead one uses the existing energy in the flow.
In this project proposal, AFRODITE, we will take this passive control method to the next level by making it twofold, more persistent and more robust. Transition prevention is the goal rather than transition delay and the method will be extended to simultaneously control separation, which is another unwanted flow phenomenon especially during airplane take offs. AFRODITE will be a catalyst for innovative research, which will lead to a cleaner sky.
Max ERC Funding
1 418 399 €
Duration
Start date: 2010-11-01, End date: 2015-10-31
Project acronym ANSR
Project Ab initio approach to nuclear structure and reactions (++)
Researcher (PI) Christian Erik Forssen
Host Institution (HI) CHALMERS TEKNISKA HOEGSKOLA AB
Country Sweden
Call Details Starting Grant (StG), PE2, ERC-2009-StG
Summary Today, much interest in several fields of physics is devoted to the study of small, open quantum systems, whose properties are profoundly affected by the environment; i.e., the continuum of decay channels. In nuclear physics, these problems were originally studied in the context of nuclear reactions but their importance has been reestablished with the advent of radioactive-beam physics and the resulting interest in exotic nuclei. In particular, strong theory initiatives in this area of research will be instrumental for the success of the experimental program at the Facility for Antiproton and Ion Research (FAIR) in Germany. In addition, many of the aspects of open quantum systems are also being explored in the rapidly evolving research on ultracold atomic gases, quantum dots, and other nanodevices. A first-principles description of open quantum systems presents a substantial theoretical and computational challenge. However, the current availability of enormous computing power has allowed theorists to make spectacular progress on problems that were previously thought intractable. The importance of computational methods to study quantum many-body systems is stressed in this proposal. Our approach is based on the ab initio no-core shell model (NCSM), which is a well-established theoretical framework aimed originally at an exact description of nuclear structure starting from realistic inter-nucleon forces. A successful completion of this project requires extensions of the NCSM mathematical framework and the development of highly advanced computer codes. The '++' in the project title indicates the interdisciplinary aspects of the present research proposal and the ambition to make a significant impact on connected fields of many-body physics.
Summary
Today, much interest in several fields of physics is devoted to the study of small, open quantum systems, whose properties are profoundly affected by the environment; i.e., the continuum of decay channels. In nuclear physics, these problems were originally studied in the context of nuclear reactions but their importance has been reestablished with the advent of radioactive-beam physics and the resulting interest in exotic nuclei. In particular, strong theory initiatives in this area of research will be instrumental for the success of the experimental program at the Facility for Antiproton and Ion Research (FAIR) in Germany. In addition, many of the aspects of open quantum systems are also being explored in the rapidly evolving research on ultracold atomic gases, quantum dots, and other nanodevices. A first-principles description of open quantum systems presents a substantial theoretical and computational challenge. However, the current availability of enormous computing power has allowed theorists to make spectacular progress on problems that were previously thought intractable. The importance of computational methods to study quantum many-body systems is stressed in this proposal. Our approach is based on the ab initio no-core shell model (NCSM), which is a well-established theoretical framework aimed originally at an exact description of nuclear structure starting from realistic inter-nucleon forces. A successful completion of this project requires extensions of the NCSM mathematical framework and the development of highly advanced computer codes. The '++' in the project title indicates the interdisciplinary aspects of the present research proposal and the ambition to make a significant impact on connected fields of many-body physics.
Max ERC Funding
1 304 800 €
Duration
Start date: 2009-12-01, End date: 2014-11-30
Project acronym ASD
Project Atomistic Spin-Dynamics; Methodology and Applications
Researcher (PI) Olof Ragnar Eriksson
Host Institution (HI) UPPSALA UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), PE3, ERC-2009-AdG
Summary Our aim is to provide a theoretical framework for studies of dynamical aspects of magnetic materials and magnetisation reversal, which has potential for applications for magnetic data storage and magnetic memory devices. The project focuses on developing and using an atomistic spin dynamics simulation method. Our goal is to identify novel materials and device geometries with improved performance. The scientific questions which will be addressed concern the understanding of the fundamental temporal limit of magnetisation switching and reversal, and the mechanisms which govern this limit. The methodological developments concern the ability to, from first principles theory, calculate the interatomic exchange parameters of materials in general, in particular for correlated electron materials, via the use of dynamical mean-field theory. The theoretical development also involves an atomistic spin dynamics simulation method, which once it has been established, will be released as a public software package. The proposed theoretical research will be intimately connected to world-leading experimental efforts, especially in Europe where a leading activity in experimental studies of magnetisation dynamics has been established. The ambition with this project is to become world-leading in the theory of simulating spin-dynamics phenomena, and to promote education and training of young researchers. To achieve our goals we will build up an open and lively environment, where the advances in the theoretical knowledge of spin-dynamics phenomena will be used to address important questions in information technology. In this environment the next generation research leaders will be fostered and trained, thus ensuring that the society of tomorrow is equipped with the scientific competence to tackle the challenges of our future.
Summary
Our aim is to provide a theoretical framework for studies of dynamical aspects of magnetic materials and magnetisation reversal, which has potential for applications for magnetic data storage and magnetic memory devices. The project focuses on developing and using an atomistic spin dynamics simulation method. Our goal is to identify novel materials and device geometries with improved performance. The scientific questions which will be addressed concern the understanding of the fundamental temporal limit of magnetisation switching and reversal, and the mechanisms which govern this limit. The methodological developments concern the ability to, from first principles theory, calculate the interatomic exchange parameters of materials in general, in particular for correlated electron materials, via the use of dynamical mean-field theory. The theoretical development also involves an atomistic spin dynamics simulation method, which once it has been established, will be released as a public software package. The proposed theoretical research will be intimately connected to world-leading experimental efforts, especially in Europe where a leading activity in experimental studies of magnetisation dynamics has been established. The ambition with this project is to become world-leading in the theory of simulating spin-dynamics phenomena, and to promote education and training of young researchers. To achieve our goals we will build up an open and lively environment, where the advances in the theoretical knowledge of spin-dynamics phenomena will be used to address important questions in information technology. In this environment the next generation research leaders will be fostered and trained, thus ensuring that the society of tomorrow is equipped with the scientific competence to tackle the challenges of our future.
Max ERC Funding
2 130 000 €
Duration
Start date: 2010-01-01, End date: 2014-12-31
Project acronym CAPTURE
Project CApturing Paradata for documenTing data creation and Use for the REsearch of the future
Researcher (PI) Isto HUVILA
Host Institution (HI) UPPSALA UNIVERSITET
Country Sweden
Call Details Consolidator Grant (CoG), SH3, ERC-2018-COG
Summary "Considerable investments have been made in Europe and worldwide in research data infrastructures. Instead of a general lack of data about data, it has become apparent that the pivotal factor that drastically constrains the use of data is the absence of contextual knowledge about how data was created and how it has been used. This applies especially to many branches of SSH research where data is highly heterogeneous, both by its kind (e.g. being qualitative, quantitative, naturalistic, purposefully created) and origins (e.g. being historical/contemporary, from different contexts and geographical places). The problem is that there may be enough metadata (data about data) but there is too little paradata (data on the processes of its creation and use).
In contrast to the rather straightforward problem of describing the data, the high-risk/high-gain problem no-one has managed to solve, is the lack of comprehensive understanding of what information about the creation and use of research data is needed and how to capture enough of that information to make the data reusable and to avoid the risk that currently collected vast amounts of research data become useless in the future. The wickedness of the problem lies in the practical impossibility to document and keep everything and the difficulty to determine optimal procedures for capturing just enough.
With an empirical focus on archaeological and cultural heritage data, which stands out by its extreme heterogeneity and rapid accumulation due to the scale of ongoing development-led archaeological fieldwork, CAPTURE develops an in-depth understanding of how paradata is #1 created and #2 used at the moment, #3 elicits methods for capturing paradata on the basis of the findings of #1-2, #4 tests the new methods in field trials, and #5 synthesises the findings in a reference model to inform the capturing of paradata and enabling data-intensive research using heterogeneous research data stemming from diverse origins.
"
Summary
"Considerable investments have been made in Europe and worldwide in research data infrastructures. Instead of a general lack of data about data, it has become apparent that the pivotal factor that drastically constrains the use of data is the absence of contextual knowledge about how data was created and how it has been used. This applies especially to many branches of SSH research where data is highly heterogeneous, both by its kind (e.g. being qualitative, quantitative, naturalistic, purposefully created) and origins (e.g. being historical/contemporary, from different contexts and geographical places). The problem is that there may be enough metadata (data about data) but there is too little paradata (data on the processes of its creation and use).
In contrast to the rather straightforward problem of describing the data, the high-risk/high-gain problem no-one has managed to solve, is the lack of comprehensive understanding of what information about the creation and use of research data is needed and how to capture enough of that information to make the data reusable and to avoid the risk that currently collected vast amounts of research data become useless in the future. The wickedness of the problem lies in the practical impossibility to document and keep everything and the difficulty to determine optimal procedures for capturing just enough.
With an empirical focus on archaeological and cultural heritage data, which stands out by its extreme heterogeneity and rapid accumulation due to the scale of ongoing development-led archaeological fieldwork, CAPTURE develops an in-depth understanding of how paradata is #1 created and #2 used at the moment, #3 elicits methods for capturing paradata on the basis of the findings of #1-2, #4 tests the new methods in field trials, and #5 synthesises the findings in a reference model to inform the capturing of paradata and enabling data-intensive research using heterogeneous research data stemming from diverse origins.
"
Max ERC Funding
1 944 162 €
Duration
Start date: 2019-05-01, End date: 2024-04-30
Project acronym CEV
Project Coordination by Evaluations and Valuations:
Market Logic Inside and Outside the Economy
Researcher (PI) Jonas Patrik Aspers
Host Institution (HI) UPPSALA UNIVERSITET
Country Sweden
Call Details Starting Grant (StG), SH2, ERC-2010-StG_20091209
Summary This project studies evaluation and valuation as ways of coordinating actors and resources. Valuation is the ascribing of value to people, organizations, things and events given that there is no standard of value. Evaluation is judging according to an already existing value-standard. Valuation and evaluation are ways of ranking and thus ordering of objects . Markets are examples of economic social formations in which valuations and evaluations are the foundation for the choices made. Valuation and evaluation are important means of coordination also outside of the economy, in competitions (e.g., sports), reviews (e.g., books), and auditing (e.g., of ethical conduct).
This project is motivated by evaluation and valuation as increasingly influential ways of coordinating social life. Choices based on evaluation have gradually replaced networks and hierarchies as the preferred coordination form, but processes of valuation or evaluation are not well-understood. The overarching research question of this project is: how do processes of coordination based on valuations function? By understanding these processes can we analyze the consequences of coordinated by the means of evaluation in different spheres of life. It is also the foundation for policy suggestions.
The proposed project uses theoretical insights about market elements in economics and sociology and on the relational sociological literature on social formations. Empirical sub-projects are designed to facilitate comparison, to establish validated conclusions and to promote theory development. This project opens up a new avenue of research of coordination based on valuation and evaluation. It will lead to the establishment a high quality research group located at the frontiers of social science.
Summary
This project studies evaluation and valuation as ways of coordinating actors and resources. Valuation is the ascribing of value to people, organizations, things and events given that there is no standard of value. Evaluation is judging according to an already existing value-standard. Valuation and evaluation are ways of ranking and thus ordering of objects . Markets are examples of economic social formations in which valuations and evaluations are the foundation for the choices made. Valuation and evaluation are important means of coordination also outside of the economy, in competitions (e.g., sports), reviews (e.g., books), and auditing (e.g., of ethical conduct).
This project is motivated by evaluation and valuation as increasingly influential ways of coordinating social life. Choices based on evaluation have gradually replaced networks and hierarchies as the preferred coordination form, but processes of valuation or evaluation are not well-understood. The overarching research question of this project is: how do processes of coordination based on valuations function? By understanding these processes can we analyze the consequences of coordinated by the means of evaluation in different spheres of life. It is also the foundation for policy suggestions.
The proposed project uses theoretical insights about market elements in economics and sociology and on the relational sociological literature on social formations. Empirical sub-projects are designed to facilitate comparison, to establish validated conclusions and to promote theory development. This project opens up a new avenue of research of coordination based on valuation and evaluation. It will lead to the establishment a high quality research group located at the frontiers of social science.
Max ERC Funding
1 476 251 €
Duration
Start date: 2011-03-01, End date: 2016-02-29
Project acronym collectiveQCD
Project Collectivity in small, srongly interacting systems
Researcher (PI) Korinna ZAPP
Host Institution (HI) LUNDS UNIVERSITET
Country Sweden
Call Details Starting Grant (StG), PE2, ERC-2018-STG
Summary In collisions of heavy nuclei at collider energies, for instance at the Large Hadron Collider (LHC) at CERN, the energy density is so high that an equilibrated Quark-Gluon Plasma (QGP), an exotic state of matter consisting of deconfined quarks and gluons, is formed. In proton-proton (p+p) collisions, on the other hand, the density of produced particles is low. The traditional view on such reactions is that final state particles are free and do not rescatter. This picture is challenged by recent LHC data, which found features in p+p collisions that are indicative of collective behaviour and/or the formation of a hot and dense system. These findings have been taken as signs of QGP formation in p+p reactions. Such an interpretation is complicated by the fact that jets, which are the manifestation of very energetic quarks and gluons, are quenched in heavy ion collisions, but appear to be unmodified in p+p reactions. This is puzzling because collectivity and jet quenching are caused by the same processes. So far there is no consensus about the interpretation of these results, which is also due to a lack of suitable tools.
It is the objective of this proposal to address the question whether there are collective effects in p+p collisions. To this end two models capable of describing all relevant aspects of p+p and heavy ion collisions will be developed. They will be obtained by extending a successful description of p+p to heavy ion reactions and vice versa.
The answer to these questions will either clarify the long-standing problem how collectivity emerges from fundamental interactions, or it will necessitate qualitative changes to our interpretation of collective phenomena in p+p and/or heavy ion collisions.
The PI is in a unique position to accomplish this goal, as she has spent her entire career working on different aspects of p+p and heavy ion collisions. The group in Lund is the ideal host, as it is very active in developing alternative interpretations of the data.
Summary
In collisions of heavy nuclei at collider energies, for instance at the Large Hadron Collider (LHC) at CERN, the energy density is so high that an equilibrated Quark-Gluon Plasma (QGP), an exotic state of matter consisting of deconfined quarks and gluons, is formed. In proton-proton (p+p) collisions, on the other hand, the density of produced particles is low. The traditional view on such reactions is that final state particles are free and do not rescatter. This picture is challenged by recent LHC data, which found features in p+p collisions that are indicative of collective behaviour and/or the formation of a hot and dense system. These findings have been taken as signs of QGP formation in p+p reactions. Such an interpretation is complicated by the fact that jets, which are the manifestation of very energetic quarks and gluons, are quenched in heavy ion collisions, but appear to be unmodified in p+p reactions. This is puzzling because collectivity and jet quenching are caused by the same processes. So far there is no consensus about the interpretation of these results, which is also due to a lack of suitable tools.
It is the objective of this proposal to address the question whether there are collective effects in p+p collisions. To this end two models capable of describing all relevant aspects of p+p and heavy ion collisions will be developed. They will be obtained by extending a successful description of p+p to heavy ion reactions and vice versa.
The answer to these questions will either clarify the long-standing problem how collectivity emerges from fundamental interactions, or it will necessitate qualitative changes to our interpretation of collective phenomena in p+p and/or heavy ion collisions.
The PI is in a unique position to accomplish this goal, as she has spent her entire career working on different aspects of p+p and heavy ion collisions. The group in Lund is the ideal host, as it is very active in developing alternative interpretations of the data.
Max ERC Funding
1 500 000 €
Duration
Start date: 2019-02-01, End date: 2024-01-31
Project acronym COOPNET
Project Cooperative Situational Awareness for Wireless Networks
Researcher (PI) Henk Wymeersch
Host Institution (HI) CHALMERS TEKNISKA HOEGSKOLA AB
Country Sweden
Call Details Starting Grant (StG), PE7, ERC-2010-StG_20091028
Summary Devices in wireless networks are no longer used only for communicating binary information, but also for navigation and to sense their surroundings. We are currently approaching fundamental limitations in terms of communication throughput, position information availability and accuracy, and decision making based on sensory data. The goal of this proposal is to understand how the cooperative nature of future wireless networks can be leveraged to perform timekeeping, positioning, communication, and decision making, so as to obtain orders of magnitude performance improvements compared to current architectures.
Our research will have implications in many fields and will comprise fundamental theoretical contributions as well as a cooperative wireless testbed. The fundamental contributions will lead to a deep understanding of cooperative wireless networks and will enable new pervasive applications which currently cannot be supported. The testbed will be used to validate the research, and will serve as a kernel for other researchers worldwide to advance knowledge on cooperative networks. Our work will build on and consolidate knowledge currently dispersed in different scientific disciplines and communities (such as communication theory, sensor networks, distributed estimation and detection, environmental monitoring, control theory, positioning and timekeeping, distributed optimization). It will give a new thrust to research within those communities and forge relations between them.
Summary
Devices in wireless networks are no longer used only for communicating binary information, but also for navigation and to sense their surroundings. We are currently approaching fundamental limitations in terms of communication throughput, position information availability and accuracy, and decision making based on sensory data. The goal of this proposal is to understand how the cooperative nature of future wireless networks can be leveraged to perform timekeeping, positioning, communication, and decision making, so as to obtain orders of magnitude performance improvements compared to current architectures.
Our research will have implications in many fields and will comprise fundamental theoretical contributions as well as a cooperative wireless testbed. The fundamental contributions will lead to a deep understanding of cooperative wireless networks and will enable new pervasive applications which currently cannot be supported. The testbed will be used to validate the research, and will serve as a kernel for other researchers worldwide to advance knowledge on cooperative networks. Our work will build on and consolidate knowledge currently dispersed in different scientific disciplines and communities (such as communication theory, sensor networks, distributed estimation and detection, environmental monitoring, control theory, positioning and timekeeping, distributed optimization). It will give a new thrust to research within those communities and forge relations between them.
Max ERC Funding
1 500 000 €
Duration
Start date: 2011-05-01, End date: 2016-04-30
Project acronym CUSTOMER
Project Customizable Embedded Real-Time Systems: Challenges and Key Techniques
Researcher (PI) Yi WANG
Host Institution (HI) UPPSALA UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), PE6, ERC-2018-ADG
Summary Today, many industrial products are defined by software and therefore customizable: their functionalities implemented by software can be modified and extended by dynamic software updates on demand. This trend towards customizable products is rapidly expanding into all domains of IT, including Embedded Real-Time Systems (ERTS) deployed in Cyber-Physical Systems such as cars, medical devices etc. However, the current state-of-practice in safety-critical systems allows hardly any modifications once they are put in operation. The lack of techniques to preserve crucial safety conditions for customizable systems severely restricts the benefits of advances in software-defined systems engineering.
CUSTOMER is to provide the missing paradigm and technology for building and updating ERTS after deployment – subject to stringent timing constraints, dynamic workloads, and limited resources on complex platforms. CUSTOMER explores research areas crossing two fields: Real-Time Computing and Formal Verification to develop the key techniques enabling (1) dynamic updates of ERTS in the field, (2) incremental updates over the products life time and (3) safe updates by verification to avoid updates that may compromise system safety.
CUSTOMER will develop a unified model-based framework supported with tools for the design, modelling, verification, deployment and update of ERTS, aiming at advancing the research fields by establishing the missing scientific foundation for multiprocessor real-time computing and providing the next generation of design tools with significantly enhanced capability and scalability increased by orders of magnitude compared with state-of-the-art tools e.g. UPPAAL.
Summary
Today, many industrial products are defined by software and therefore customizable: their functionalities implemented by software can be modified and extended by dynamic software updates on demand. This trend towards customizable products is rapidly expanding into all domains of IT, including Embedded Real-Time Systems (ERTS) deployed in Cyber-Physical Systems such as cars, medical devices etc. However, the current state-of-practice in safety-critical systems allows hardly any modifications once they are put in operation. The lack of techniques to preserve crucial safety conditions for customizable systems severely restricts the benefits of advances in software-defined systems engineering.
CUSTOMER is to provide the missing paradigm and technology for building and updating ERTS after deployment – subject to stringent timing constraints, dynamic workloads, and limited resources on complex platforms. CUSTOMER explores research areas crossing two fields: Real-Time Computing and Formal Verification to develop the key techniques enabling (1) dynamic updates of ERTS in the field, (2) incremental updates over the products life time and (3) safe updates by verification to avoid updates that may compromise system safety.
CUSTOMER will develop a unified model-based framework supported with tools for the design, modelling, verification, deployment and update of ERTS, aiming at advancing the research fields by establishing the missing scientific foundation for multiprocessor real-time computing and providing the next generation of design tools with significantly enhanced capability and scalability increased by orders of magnitude compared with state-of-the-art tools e.g. UPPAAL.
Max ERC Funding
2 499 894 €
Duration
Start date: 2019-10-01, End date: 2024-09-30
Project acronym D-SynMA
Project Distributed Synthesis: from Single to Multiple Agents
Researcher (PI) Nir PITERMAN
Host Institution (HI) GOETEBORGS UNIVERSITET
Country Sweden
Call Details Consolidator Grant (CoG), PE6, ERC-2017-COG
Summary Computing is changing from living on our desktops and in dedicated devices to being everywhere. In phones, sensors, appliances, and robots – computers (from now on devices) are everywhere and affecting all aspects of our lives. The techniques to make them safe and reliable are investigated and are starting to emerge and consolidate. However, these techniques enable devices to work in isolation or co-exist. We currently do not have techniques that enable development of real autonomous collaboration between devices. Such techniques will revolutionize all usage of devices and, as consequence, our lives. Manufacturing, supply chain, transportation, infrastructures, and earth- and space exploration would all transform using techniques that enable development of collaborating devices.
When considering isolated (and co-existing) devices, reactive synthesis – automatic production of plans from high level specification – is emerging as a viable tool for the development of robots and reactive software. This is especially important in the context of safety-critical systems, where assurances are required and systems need to have guarantees on performance. The techniques that are developed today to support robust, assured, reliable, and adaptive devices rely on a major change in focus of reactive synthesis. The revolution of correct-by-construction systems from specifications is occurring and is being pushed forward.
However, to take this approach forward to work also for real collaboration between devices the theoretical frameworks that will enable distributed synthesis are required. Such foundations will enable the correct-by-construction revolution to unleash its potential and allow a multiplicative increase of utility by cooperative computation.
d-SynMA will take distributed synthesis to this new frontier by considering novel interaction and communication concepts that would create an adaptable framework of correct-by-construction application of collaborating devices.
Summary
Computing is changing from living on our desktops and in dedicated devices to being everywhere. In phones, sensors, appliances, and robots – computers (from now on devices) are everywhere and affecting all aspects of our lives. The techniques to make them safe and reliable are investigated and are starting to emerge and consolidate. However, these techniques enable devices to work in isolation or co-exist. We currently do not have techniques that enable development of real autonomous collaboration between devices. Such techniques will revolutionize all usage of devices and, as consequence, our lives. Manufacturing, supply chain, transportation, infrastructures, and earth- and space exploration would all transform using techniques that enable development of collaborating devices.
When considering isolated (and co-existing) devices, reactive synthesis – automatic production of plans from high level specification – is emerging as a viable tool for the development of robots and reactive software. This is especially important in the context of safety-critical systems, where assurances are required and systems need to have guarantees on performance. The techniques that are developed today to support robust, assured, reliable, and adaptive devices rely on a major change in focus of reactive synthesis. The revolution of correct-by-construction systems from specifications is occurring and is being pushed forward.
However, to take this approach forward to work also for real collaboration between devices the theoretical frameworks that will enable distributed synthesis are required. Such foundations will enable the correct-by-construction revolution to unleash its potential and allow a multiplicative increase of utility by cooperative computation.
d-SynMA will take distributed synthesis to this new frontier by considering novel interaction and communication concepts that would create an adaptable framework of correct-by-construction application of collaborating devices.
Max ERC Funding
1 871 272 €
Duration
Start date: 2018-05-01, End date: 2023-04-30
