足球竞彩网_365bet体育在线投注-【中国科学院】

图片

图片

Cyber Security

Project overview

Here you will find a number of projects we have realized in the fields of Cyber Security. Use the ‘+’-sign to see additional information.

?

Start date: 01.10.2020

?

End date: 30.09.2022

?

Funded by: Zentrale Innovationsprogramm Mittelstand (ZIM) des Bundesministerium für Wirtschaft und Energie (BMWi)

?

Local head of project::?

Prof. Dr. Bernhard Bauer

?

Local scientists:

No?l Hagemann

?

?

Abstract

Within the scope of CBMD, the University of Augsburg has investigated, among other things, how contracts between different components can be validated during their composition. Furthermore, it was investigated how contracts as interface state machines fit together with the specification of the behavior (state machine) of the component. In the course of the project, it became apparent that contracts also make a significant contribution in the context of security. For example, a check of the contracts at runtime can rule out the possibility of a component being operated "incorrectly". Due to dependencies, however, it can also happen that a function of one component calls a function of another component without the call being made via the interface secured with a contract. Therefore, in this project, a static analysis of the dependencies in the code with integration into the Contracts is to ensure that, firstly, security-relevant functions and data of a component and, secondly, side effects between components can be identified and subsequently checked and analyzed in more detail by tests on the real system.

Start date: 01.07.2019

?

End date: 30.06.2022

?

Funded by: Horizon 2020 (H2020) - ??? ECSEL?

?

Local head of project:

Prof. Dr. Bernhard Bauer

?

Local scientists:

No?l Hagemann

Julia Rauscher

?

Abstract

In recent years, Cyber Physical Systems (CPS) technologies have become a game changer in strategic sectors such as Automotive, Energy and Industry Automation, where Europe is a world leader. In fact, CPS is a key driver for the innovation capacity of European industries, large and small, generating economic growth and supporting meaningful jobs for citizens.

?

CPS4EU proposes to address technical issues and organizational issues in an integrated way. Hence, CPS4EU promotes a high level of sharing, so that an operational ecosystem, with adequate skills and expertise all along the value chain can enable, at the end of the project, the European industry to lead strategic markets based on CPS technologies.

?

The ultimate objective of CPS4EU is to strengthen the CPS value chain by creating world class European SMEs and by providing CPS technologies that in turn will sustain the leadership of the large European groups in key economy sectors and, in this way will stimulate innovative products to support the massive digitization increasingly integrated into our everyday environment.

?

To achieve these goals CPS4EU will:

  • Develop 4 key enabling technologies (computing, connectivity, sensing, cooperative systems)
  • Incorporate these CPS modules through pre-integrated architectures and design tools
  • Instantiate these architectures in dedicated use cases from strategic application: automotive, smart grid and industry automation
  • Improve CPS awareness and usage for all industrial sectors

Start date: 15.04.2019

?

Funded by: Universit?t Augsburg

?

Local head of project:

No?l Hagemann

?

Abstract

Current SAST tools often suffer from high numbers of false positives. This project deals with the reduction of these false positives by elimination.

Search