Lowcomote - Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms
|
The MSCA ITN 2018 project Lowcomote will train a generation of experts that
will upgrade the current trend of Low-code development platforms (LCPDs) to a
new paradigm, Lowcode Engineering Platforms (LCEPs).
|
Aggregated Quality Assurance for Systems
|
The AQUAS project investigates the challenges arising from the inter-dependence of safety, security and performance of systems and aims at efficient solutions for the entire product life-cycle within three essential capabilities of the ECSEL: Design Technologies (DT), Cyber-Physical Systems (CPS), and European Asset Protection (EAP). |
MegaModelling at Runtime - scalable model-based framework for continuous development and runtime validation of complex systems
|
MegaM@Rt will create a framework incorporating methods and tools for continuous development and validation leveraging the advantages of scalable model-based methods to provide benefits in significantly improved productivity, quality and predictability of large and complex industrial systems. |
Safe Cooperating Cyber-Physical Systems using Wireless Communication
|
SafeCOP 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.
|
Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
|
AMASS will create and consolidate the de-facto European-wide open tool platform, ecosystem, and self-sustainable community for assurance and certification of Cyber-Physical Systems (CPS) in the largest industrial vertical markets including automotive, railway, aerospace, space, energy.
|
Cross-Layer and Multi-Objective Programming Approach for Next Generation Heterogeneous Parallel Computer Systems
|
The overall objective of the PHANTOM project is to deliver an integrated cross-layer (hardware and system software/programming environment), multi-objective and cross-application approach that will enable next generation heterogeneous, parallel and low-power computing systems, while hiding the complexity of computing hardware from the programmer, thus fostering productivity in programming.
|
Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties
|
CONTREX is a project for the design of embedded mixed-criticality systems under consideration of extra-functional properties. CONTREX will enable energy efficient and cost aware design through analysis and optimisation of real-time, power, temperature and reliability with regard to application demands at different criticality levels.
|
Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems
|
CONCERTO delivered a reference multi-domain architectural framework for complex, highly concurrent, and multi-core systems, where non-functional properties (including real-time, dependability, and energy management) were established for individual components, derived for the overall system at design time, and preserved by construction and monitoring at run-time.
|
Security and Safety Modelling
|
The SESAMO project addressed the root causes of problems arising with convergence of safety and security in embedded systems at architectural level, where subtle and poorly understood interactions between functional safety and security mechanisms impede system definition, development, certification, and accreditation procedures and standards.
|
Model Based Approach Research for Verification Enhancement through the Lifecycle of a System
|
The study is aimed to improve the overall verification process of space systems, thanks to the usage of model-based methodologies. Adequate methods, processes and supporting infrastructures (networked tools and people) are defined and demonstrated.
|
Functional Requirements and Verification Techniques for the Software Reference Architecture
|
The main objective of the FoReVer study was to develop methodological, theoretical and technological support for a systematic approach to space avionics system development, across ECSS phases 0, A, B and C.
|
Open platform for evolutionary certification of safety-critical systems
|
OPENCOSS was a European large scale project dedicated to produce the first European-wide open safety certification platform: an Open Platform for EvolutioNary Certification Of Safety-critical Systems for the railway, avionics and automotive markets.
|
Safety Certification of Software-Intensive Systems with Reusable Components
|
n-SafeCer and p-SafeCer targeted increased efficiency and reduced time-to-market by composable certification of safety-relevant embedded systems.
|
Composition with guarantees for High-integrity Embedded Software components assembly
|
CHESS seeks mature industrial quality research solutions to problems of property-preserving component assembly in real-time and dependable embedded systems. |
Rationalisation of process metrics for Software Life Cycle innovation through Open Source tools
|
METRICOS was aimed at the study, design and experimentation of a tool for the collection, analysis and utilisation of metrics related to the software development process according to the procedures identified by the process defined and applied to meet the CMMI level 3 requirements. |
COnsortium Ontology knowledge based Process forEnterprise Rationalisation
|
COOPER, developed in cooperation with TRS, a partner in the “Consorzio START”, was aimed at the development of software tools to support the cooperation between enterprises as well as the activities of the consortium itself. These include in particular the management and allocation of procurement activities, from the receipt of requests for proposals to the billing, and also the production of reports to allow monitoring of activities, both within the Consortium and toward the customers.
|
Time-predictable Multi-Core Architecture for Embedded Systems
|
Safety-critical systems are important parts of our daily life. Those systems are also called dependable systems, as our lives can depend on them. Examples are controllers in an airplane, breaking controller in a car, or a train control system. Those safety-critical systems need to be certified and the maximum execution time needs to be bounded and known so that response times can be assured when critical actions are needed. Note that just using a faster processor is not a solution for time predictability.
|
Intecs The Brainware company