. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
CRUAVCooperative Trajectory Planning for Real-Time Surveillance in UAV-assisted Intelligent Transportation Systems
VALU3SVerification and Validation of Automated Systems’ Safety and SecurityManufacturers of automated systems and the manufacturers of the components used in these systems have been allocating an enormous amount of time and effort in the past years developing and conducting research on automated systems. The effort spent has resulted in the availability of prototypes demonstrating new capabilities as well as the introduction of such systems to the market within different domains. Manufacturers of these systems need to make sure that the systems function in the intended way and according to specifications which is not a trivial task as system complexity rises dramatically the more integrated and interconnected these systems become with the addition of automated functionality and features to them. With rising complexity, unknown emerging properties of the system may come to the surface making it necessary to conduct thorough verification and validation (V&V) of these systems. VALU3S aims to design, implement and evaluate state-of-theart V&V methods and tools in order to reduce the time and cost needed to verify and validate automated systems with respect to safety, cybersecurity and privacy (SCP) requirements. This will ensure that European manufacturers of automated systems remain competitive and that they remain world leaders. To this end, a multi-domain framework is designed and evaluated with the aim to create a clear structure around the components and elements needed to conduct V&V process through identification and classification of evaluation methods, tools, environments and concepts that are needed to verify and validate automated systems with respect to SCP requirements. The implemented V&V methods as well as improved process workflows and tools will also be evaluated in the project using a comprehensive set of demonstrators built from 13 use cases with specific SCP requirements from 6 domains of automotive, industrial robotics, agriculture, Aerospace, railway and health.
ADACORSAAirborne data collection on resilient system architectures
H2020-ECSEL-2019-2-RIA, Grant Nr 876019ADACORSA targets to strengthen the European drone industry and increase public and regulatory acceptance of BVLOS (beyond visual line-of-sight) drones, by demonstrating technologies for safe, reliable and secure drone operation in all situations and flight phases. The project will drive research and development of components and systems for sensing, telecommunication and data processing along the electronics value-chain. Additionally, drone lead smart industries with high visibility and place for improvement will be developed which will pave the way for a higher public / industry acceptance of the drone technologies. In particular, ADACORSA will deliver: a) On the component level, functionally redundant and fail-operational radar and LiDAR sensors as well as 3D cameras. In order to reduce risk, time and costs, the project aims to adapt technologies from the automotive sector to the drone market for these components. b) On the system level, hardware and software for reliable sensor fusion and data analytics as well as technologies for secure and reliable drone communication using multipath TCP and registration and identification by developing platforms based on eUICCs/eSIM. c) On an architecture level, fail-operational drone control and investigation a pre-operational Flight Information Management System (FIMS) the integration with CoTS components for Unmanned Air Vehicle Traffic Management System (UTM). Within the project, 35 physical as well as virtual demonstrators of BLVOS, long-range drone flight shall pave the way toward certifiable systems for future integration of drone operations. ADACORSA's innovations will leverage the expertise of a very strong consortium, comprising world renowned industrial (OEMs, Tier-1, Tier-2 and technology providers) and research partners along the complete aviation, semiconductor and also automotive value chains, providing Europe with a competitive edge in a growing drone and drone technologies market.
InSecTTIntelligent Secure Trustable Things
H2020-ECSEL-2019-1-IA, Grant nr 876038Artificial Intelligence of Things (AIoT) is the natural evolution for both Artificial Intelligence (AI) and Internet of Things (IoT) because they are mutually beneficial. AI increases the value of the IoT through machine learning by transforming the data into useful information, while the IoT increases the value of AI through connectivity and data exchange. Therefore, InSecTT – Intelligent Secure Trustable Things, a pan-European effort with 54 key partners from 12 countries (EU and Turkey), will provide intelligent, secure and trustworthy systems for industrial applications to provide comprehensive cost-efficient solutions of intelligent, end-to-end secure, trustworthy connectivity and interoperability to bring the Internet of Things and Artificial Intelligence together. InSecTT aims at creating trust in AI-based intelligent systems and solutions as a major part of the AIoT, i.e. moving AI to the edge and making AI and ML based systems trustable, explainable and not just a black box. InSecTT will foster cooperation between big industrial players from various domains, a number of highly innovative SMEs distributed all over Europa and cutting-edge research organisations and university. The project features a big variety of industry-driven use cases embedded into various application domains, i.e. smart infrastructure, building, manufacturing, automotive, aeronautics, railway, urban public transport, maritime as well as health. The demonstration of InSecTT solutions in well-known real-world environments like trains, ports, airports and the health sector will generate huge impact on both high and broad level, going from citizens up to European stakeholders. It will establish the EU as a center of intelligent, secure and trustworthy systems for industrial applications enabled by a strong industry with a strong reputation and an informed society, in order to enable products and services based on AI compliant to European values and “Made in Europe".
AMPEREA Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimisation
ICT-01-2019-RIA | grant nr. 871669Complex, dependable and physically-entangled systems of systems must be supported by innovations to allow a significant reduction of the cost and complexity of system design targeting computing platforms composed of parallel heterogeneous architectures. Software development is one key challenge, as current programming tools do not fully support emerging processor architectures. Parallel and heterogeneous platforms are difficult to program and even more to optimise for the multiple conflicting criteria imposed by applications, such as performance, energy efficiency, real-time response, resiliency and fault tolerance. AMPERE addresses this challenge by incorporating model-driven engineering (MDE) as the key element for the construction of complex software architectures. MDE enables to efficiently capture system's functional and non-functional requirements, including multiple conflicting requirements, as well as enabling the use of domain specific model-driven languages (DSML) to further refine the description of cyber/physical interactions. The vision of AMPERE is that there is a clear necessity of developing a new generation of code synthesis methods and tools capable to implement correct-by-construction systems, in which the constraints captured by the system model are efficiently transformed to the parallel programming models supported by the underlying parallel heterogeneous platform, whilst providing the level of performance required. Moreover, AMPERE will provide computing software composed of a set of advanced run-time methods implementing monitoring and dynamic reconfiguration techniques, that will support the parallel execution to improve the overall system's efficiency, and guarantee that the non-functional requirements capture by the DSML are fulfilled. AMPERE advances will be integrated in a set of ready-touse tools and libraries, and validated through demonstration in two reference applications, from automotive and railway domains.
PANORAMABoosting Design Efficiency for Heterogeneous Systems
POCI-01-0247-FEDER-040194 | grant nr. 40194The goal of Panorama is to research into model-based methods and tools to master design and development of heterogeneous systems by heterogeneous parties, and provide best practice and guidance for development. To that end, the main line of action is extending the scope of current system level approaches by enhancing existing abstract performance meta-models to be suitable for heterogeneous hardware, and heterogeneous function domains. We will stand on the shoulder of giants by building on the meta-model developed in the AMALTHEA and AMALTHEA4public projects, taking results from projects such as TIMMO, Timmo2USE, ARAMiS I & II into account. Thereby, the enhanced meta-model must be a common and open standard to support develop-ment by diverse parties across organizations.
THERMACThermal-aware Resource Management for Modern Computing Platforms in the Next Generation of Aircraft
Clean Sky 2 H2020-CS2-CFP08-2018-01 nr. 832011The main goal of the THERMAC project for the next generation of small aircraft transportation (SAT) systems is twofold: (i) to reduce the operational temperature and; (ii) to increase the guaranteed performance of the targeted computing platform, by means of software-based resource management.
ELASTICA Software Architecture for Extreme-ScaLe Big-Data AnalyticS in Fog CompuTIng ECosystems
H2020-ICT-2018-2020 | Grant nr 825473The main goal of the THERMAC project for the next generation of small aircraft transportation (SAT) systems is twofold: (i) to reduce the operational temperature and; (ii) to increase the guaranteed performance of the targeted computing platform, by means of software-based resource management.
ARNETAirborne Relaying Networks for Reliable and Secure Mobile Communications
POCI-01-0145-FEDER-029074ARNET aims to design wireless communication protocols to enhance network reliability and security in Airborne Relaying NETworks (ARNET) for Long-Term Evolution (LTE) users on the ground. ARNET will integrate advanced multi-hop wireless communication for relaying heterogeneous data of LTE users while ensuring service area coverage. Consequently, this project is a significant step towards realising the vision of an airborne relaying network.
PReFECTPredictable Multiprocessor Platforms for Embedded Safety Critical Systems
POCI-01-0145-FEDER-029119The PReFECT project will address the following challenges with respect to the introduction of multicore processors in safety-critical systems: - model and analyze the timing interference generated by the hardware resources shared between cores (e.g., caches, interconnect and I/O devices); - propose runtime mechanisms and scheduling solutions to mitigate the unpredictability of COTS multicore processors by controlling the interference between cores; - develop tools for the automatic system configuration before deployment.
FLEXIGYEnergy Flexibility Services Platform
Projeto nº 034067 (AAC nº 03/SI/2017)Flexigy project will tackle the problem of providing flexibility for producers and consumers of energy allowing the implementation of Smart Energy Networks and innovative mechanisms of automated demand response and control, which offer significant potential to balance energy networks but still face major economic, legal and social barriers that hinders its full market adoption.
REASSURESecure Runtime Verification for Reliable Real-Time Embedded Software
NORTE-01-0145-FEDER-028550The goal of REASSURE is to improve over the state-of-the-art Runtime Verification (RV) approaches for RTES by developing a new framework. The framework developed in REASSURE will be validated within an industrial context. EDISOFT, a company active in critical systems, will provide a relevant case study, based on the RTEMS space-qualified operating system, and will follow the research in the project, advising the project team.
5GSDNMAC-PHY cross-layer design and multi-objective optimisation of 5G Software defined networks
POCI-01-0145-FEDER-032218The 5GSDN project addresses the cross-layer design of 5G (fifth generation) industrial cyber-physical wireless networks. This will enable a set of remotely controlled embedded applications in industrial IoT (Internet-of-Things) with high criticality requirements. New industrial services will be offered over wider geographical areas at lower costs and with more flexible infrastructure.
SCOTTSecure COnnected Trustable Things
Grant nr. 737422SCOTT will focus on wireless sensor and actuator networks and communication in the areas of mobility, building & home / smart infrastructure, production / industrial automation as well as health. SCOTT will enable efficient, trustworthy connectivity and facilitate ubiquity of intelligent embedded systems and systems of systems, thus essentially contributing to burning issues in Automated Vehicles, Industry 4.0, etc.
Productive4.0Electronics and ICT as enabler for digital industry and optimized supply chain management covering the entire product lifecycle
Grant nr. 737459The main objective is to achieve improvement of digitizing the European industry by electronics and ICT. Ultimately, the project aims at suitability for everyday application across all industrial sectors – up to TRL8. What makes the project unique is the holistic system approach of consistently focusing on the three main pillars: digital automation, supply chain networks and product lifecycle management, all of which interact and influence each other.
DSGridDigital Systems Technology for Next Generation Grid Automation
POCI-01-0247-FEDER-011122 subcontractDSGrid is a multidisciplinary project that brings together areas of knowledge of (i) power, (ii) automation and protection, (iii) communications, (iv) real-time systems, (v) embedded systems, (vi) cybersecurity and (vii) information and software technologies. This fully digital architecture will transform substation to an advanced integrated automation, control, protection, monitoring and information platform.
ENABLE-S3European Initiative to Enable Validation for Highly Automated Safe and Secure Systems
ECSEL JU Grant nr. 692455-2ENABLE-S³ will pave the way for accelerated application of highly automated and autonomous systems in the mobility domains automotive, aerospace, rail and maritime as well as in the health care domain. The resulting validation framework will ensure Europeans Industry competitiveness in the global race of automated systems with an expected market potential of 60B€ in 2025.
SafeCOPSafe Cooperating Cyber-Physical Systems using Wireless Communication
ECSEL JU Grant nr. 692529-2SafeCOP targets safety-related Cooperating Cyber-Physical Systems (CO-CPS) characterised by use of wireless communication, multiple stakeholders, dynamic system definitions (openness), and unpredictable operating environments. SafeCOP will provide an approach to the safety assurance of CO-CPS, enabling thus their certification and development.