Search for European Projects

9 European Projects Found

Searched on 125080 European Projects

 FINISHED 

VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS (VESSEDIA)

Start date: Jan 1, 2017, End date: Dec 31, 2019,

The VESSEDIA project will bring safety and security to many new software applications and devices. In the fast evolving world we live in, the Internet has brought many benefits to individuals, organisations and industries. With the capabilities offered now (such as IPv6) to connect billions of devices and therefore humans together, the Internet brings new threats to the software developers and VES ...
Read Project

 13

 FINISHED 

CPSwarm

Start date: Jan 1, 2017, End date: Dec 31, 2019,

Cyber-Physical Systems (CPS) find applications in a number of large-scale, safety-critical domains e.g. transportation, smart cities, etc. While the increased CPS adoption has resulted in the maturation of solutions for CPS development, a single consistent science of system integration for CPS has not yet been consolidated. Therefore CPS development remains a complex and error-prone task, often re ...
Read Project

 9

 FINISHED 

A Novel, Comprehensible, Ultra-Fast, Security-Aware CPS Simulator (COSSIM)

Start date: Feb 1, 2015, End date: Jan 31, 2018,

One of the main problems the CPS designers face is “the lack of simulation tools and models for system design and analysis”. This is mainly because the majority of the existing simulation tools for complex CPS handle efficiently only parts of a system while they mainly focus on the performance. Moreover, they require extreme amounts of processing resources and computation time to accurately simula ...
Read Project

 8

 FINISHED 

A Source code analysis Toolbox for software security AssuraNCE (STANCE)

Start date: Oct 1, 2012, End date: Sep 30, 2015,

The immunity of a system to malicious third parties trying to modify its behaviour (e.g. to perform unauthorized actions) is called security. Ensuring this feature in information and communication technologies is a requirement for establishing a trustworthy Information Society. Several strategies can be explored to deal with this problem. One of them, called program analysis, relies on formal tech ...
Read Project

 10

 FINISHED 

New embedded Systems arcHItecturE for multi-Layer Dependable solutions (nSHIELD)

Start date: Sep 1, 2011, End date: Dec 31, 2014,

The nSHIELD project is, at the same time, a complement and an improvement of “pSHIELD”, a pilot project funded in ARTEMIS Call 2009 as the first investigation to build the SHIELD Architectural Framework for SPD. The roadmap proposed in this pilot project aims at addressing Security, Privacy and Dependability (SPD) in the context of Embedded Systems (ESs) as “built in” rather than as “add-on” funct ...
Read Project

 24

 FINISHED 

Secure and Trustworthy Composite Services (ANIKETOS)

Start date: Aug 1, 2010, End date: May 31, 2014,

The Future Internet will provide an environment in which a diverse range of services are offered by a diverse range of suppliers, and users are likely to unknowingly invoke underlying services in a dynamic and ad hoc manner. Moving from today's static services, we will see service consumers that transparently mix and match service components depending on service availability, quality, price and se ...
Read Project

 21

 FINISHED 

Usable TRUST in the Internet of Things (uTRUSTit)

Start date: Sep 1, 2010, End date: Dec 31, 2013,

The Internet of Things (IoT) will connect a large number of communication and information systems. These systems will be part of everyday life in the same way mobile phones have become part of our lives. The information security properties of the IoT are often difficult to understand for its users, because they are hidden in pervasive systems and small devices manufactured by a large number of ven ...
Read Project

 6

 FINISHED 

Design of Secure and energy-efficient embedded systems for Future internet applications (SecFutur)

Start date: May 1, 2010, End date: Apr 30, 2013,

Security has always been a stepchild to the developers of embeddedsystems. In the past they were able to rely on physicalprotection. Due to the connectivity and ubiquity of today's embeddedsystems this is no longer possible. The aim of SecFutur is to developand establish a security engineering process for embedded systems. Inorder to achieve this overall goal SecFutur will provide a set ofimplem ...
Read Project

 11

 FINISHED 

Detecting known security vulnerabilities from within design and development tools (SHIELDS)

Start date: Jan 1, 2008, End date: Jun 30, 2010,

Software systems continue to be crippled by security vulnerabilities. One of the reasons for this is that information on known vulnerabilities is not easily available to software developers, or integrated into the tools they use. The main objective of SHIELDS is to increase software security by bridging the gap between security experts and software practitioners and by providing the software dev ...
Read Project

 8