Agency: Cordis | Branch: FP7 | Program: CP | Phase: ICT-2011.1.2 | Award Amount: 3.59M | Year: 2012
OSSMETER aims to extend the state-of-the-art in the field of automated analysis and measurement of open-source software (OSS), and develop a platform that will support decision makers in the process of discovering, comparing, assessing and monitoring the health, quality, impact and activity of open-source software. To achieve this OSSMETER will compute trustworthy quality indicators by performing advanced analysis and integration of information from diverse sources including the project metadata, source code repositories, communication channels, bug tracking systems of OSS projects. OSSMETER does not aim at building another OSS forge but instead at providing a metaplatform for analysing existing OSS projects that are developed in existing OSS forges and foundations such as SourceForge, Google Code, GitHub, Eclipse, Mozilla and Apache.
Agency: Cordis | Branch: FP7 | Program: CP | Phase: ICT-2011.1.2 | Award Amount: 9.00M | Year: 2012
Current Clouds offer is becoming day by day wider providing a vibrant technical environment, where SMEs can create innovative solutions and evolve their services. Cloud promises cheap and flexible services to end-users at a much larger scale than before. However, Cloud business models and technologies are still in their initial hype and characterized by critical early stage issues, which pose specific challenges and require advanced software engineering methods.\nThe main goal of MODAClouds is to provide methods, a decision support system, an open source IDE and run-time environment for the high-level design, early prototyping, semi-automatic code generation, and automatic deployment of applications on multi-Clouds with guaranteed QoS.\nModel-driven development combined with novel model-driven risk analysis and quality prediction will enable developers to specify Cloud-provider independent models enriched with quality parameters, implement these, perform quality prediction, monitor applications at run-time and optimize them based on the feedback, thus filling the gap between design and run-time. Additionally, MODAClouds provides techniques for data mapping and synchronization among multiple Clouds.\nMODAClouds innovations thus are: (i)simplify Cloud provider selection favoring the emergence of European Clouds, (ii) avoid vendor lock-in problems supporting the development of Cloud enabled Future Internet applications, (iii) provide quality assurance during the application life-cycle and support migration from Cloud to Cloud when needed.\nThe research is multi-disciplinary and will be grounded on expertise from several research areas. MODAClouds consortium consists of highly recognized Universities and research institutions that will assure a sound scientific progress, SME partners providing expertise on modelling tools, and large companies that assure industry relevance. The MODAClouds approach and tools will be applied on four industrial cases from different domains.
Agency: Cordis | Branch: H2020 | Program: RIA | Phase: ICT-01-2014 | Award Amount: 7.96M | Year: 2015
The aim of the INTO-CPS project is to create an integrated tool chain for comprehensive model-based design of Cyber-Physical Systems (CPSs). The tool chain will support the multidisciplinary, collaborative modelling of CPSs from requirements, through design, down to realisation in hardware and software. This will enable traceability at all stages of the development. INTO-CPS will support the holistic modelling of CPSs, allowing system models to be built and analysed that would otherwise not be possible using standalone tools. We will integrate existing industry-strength tools with high Technology Readiness Levels (TRL 69) in their application domains. The solution will be based centrally around Functional Mockup Interface (FMI)-compatible co-simulation. The project focuses on the pragmatic integration of these tools, making extensions in areas where a need has been recognised. The tool chain will be underpinned by a well-founded semantic foundations that ensures the results of analysis can be trusted. The tool chain will provide powerful analysis techniques for CPSs, including connection to SysML; generation and static checking of FMI interfaces; model checking; Hardware-in-the-Loop (HiL) and Software-in-the-Loop (SiL) simulation, supported by code generation. The tool chain will allow for both Test Automation (TA) and Design Space Exploration (DSE) of CPSs. The INTO-CPS technologies will be accompanied by a comprehensive set of method guidelines that describe how to adopt the INTO-CPS approach, lowering entry barriers for CPS development. The tool chain will be tested with case studies in railways, agriculture, building and automotive. The consortium has 4 academic and 7 industrial partners. The industrial partners comprise both tool vendors and case study owners. The INTO-CPS technology will enable experimenting with design alternatives enabling radical innovation where the overall concept is right first time, even when hardware prototypes does not yet exists.
Agency: Cordis | Branch: FP7 | Program: CP | Phase: ICT-2009.3.4 | Award Amount: 3.62M | Year: 2010
MADES aims to develop the elements of a full-fledged model-driven approach for the design, validation, simulation, and code generation of complex embedded systems to improve the current practice in the field.\nThe proposal covers all the phases of the development process: from design to code generation, validation and deployment. Design activities will exploit a dedicated language developed on top of the OMG standard MARTE (Modeling and Analysis of Real-time and Embedded systems), and foster the reuse of components by annotating them with properties and constraints to ease their selection and enforce overall consistency. Validation activities will comprise the verification of key properties of designed artifacts and of the transformations used throughout the development process, and also the closed-loop simulation of the entire system. Code generation will address both conventional programming languages (e.g., C) and hardware description languages (e.g., VHDL), and will adopt compile-time virtualization techniques to smooth the impact of the diverse elements of modern hardware architectures and cope with their increasing complexity.\nAll these aspects will be fully supported by prototype tools integrated in a single framework, and will be thoroughly validated on real-life case studies in the surveillance and avionic domains. The project also aims to develop a handbook to provide detailed guidelines on how to use MADES tools in the development of embedded systems and promote their adoption.
Agency: Cordis | Branch: FP7 | Program: CP | Phase: ICT-2009.3.4 | Award Amount: 3.97M | Year: 2010
The main objectives of the ENOSYS project are to shorten time to market and reduce design costs in the development of new electronic products. This is of prime importance to European companies seeking to increase their share of the competitive consumer electronics market, where the flexibility to move quickly to add distinguishing features, such as faster operation, lower power consumption or miniaturization, is paramount. ENOSYS intends to achieve this by allowing designers to work at a high level of abstraction and removing the need to concentrate on the time-consuming details of the design.\nENOSYS proposes a seamless tool flow for embedded systems modeling and synthesis and addresses the integration and enhancement of existing tools from European SME vendors (SOFTEAM and Axilica) to build a common extendable design environment. This will be delivered through: (a) the development of approaches for embedded system specification on different abstraction layers; (b) the development of efficient techniques for the exploration of the hardware/software design space and (c) the automatic synthesis of efficient descriptions for both hardware (synthesizable HDL) and embedded software (C/C\\) components of the targeted system from models based on UML MARTE profile. To evaluate and to bring the proposed concepts to industrial application ENOSYS performs two complementary case studies (INTRACOM Telecom and THALES) covering wireless and/or multimedia application representing the future system complexity. Loughborough University and University of Peloponnese will deliver important new enhancements to improve performance and general applicability.\nThrough active participation in the OMG standardization activities, results will be exploited both during the project and will persist long after completion. The partners will have the opportunity to transfer their actual design needs, stemming from real world cases studies in highly demanding application areas to emerging standards.