Model based Design of Secure Cyber Physical Systems
The objective of MODESEC is to develop a design methodology that integrates security in the model-based design (MBD) process of cyber-physical systems (CPS). The research is based on the insight that security engineering is a vita...
ver más
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
PCIN-2015-262
ASEGURAMIENTO Y CERTIFICACION DIRIGIDOS POR LA ARQUITECTURA,...
142K€
Cerrado
IMMORTAL
Integrated Modelling Fault Management Verification and Rel...
4M€
Cerrado
VASSAL
Verification and Analysis for Safety and Security of Applica...
Cerrado
EURO-MILS
EURO MILS nSecure European Virtualisation for Trustworthy A...
8M€
Cerrado
SWORD
Security Without Obscurity for Reliable Devices
2M€
Cerrado
TIN2011-24932
UNA METODOLOGIA DE ANALISIS GUIADA POR EL MODELADO PARA SIST...
57K€
Cerrado
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
The objective of MODESEC is to develop a design methodology that integrates security in the model-based design (MBD) process of cyber-physical systems (CPS). The research is based on the insight that security engineering is a vital part of the system development process and cannot be treated incidental. The model-based design flow is a computer-aided design method that extensively uses models to analyse and determine functional and non-functional properties of the desired artefact during its design phase. The proposed methodology will extend current MBD approaches for security. A peculiarity is that the methodology will make use of the application-specific information contained in the functional models to implement a custom security architecture for the desired system functions of the CPS. For this purpose, relevant information is extracted from the models representing the CPS. This information is then used to configure and to adapt security mechanisms aimed at the prevention as well as the detection of attacks. The security mechanisms are installed together with the application’s system functions on an appropriate computing platform. The developed secure MBD methodology will be implemented within the scope of a state-of-the-art MBD tool chain. It will be evaluated by conducting a case study within a System-of-Systems (SoS) context (e.g., the Smart Power Grid), because this research field combines security and dependability requirements in a new, unique, and challenging way. The secure design methodology developed within MODESEC will support MBD practitioners to improve the security of their products.