伟德国际_伟德国际1946$娱乐app游戏

图片

Embedded Systems, Cyber Physical Systems & Internet of Things

Project overview

Here you will find a number of projects we have realized in the fields of Embedded Systems, Cyber Physical Systems (CPS) & Internet of Things (IoT). Use the ‘+’-sign to see additional information.

?

Start date: 01.01.2021

?

End date: 31.12.2025

?

Funded by: Bayerisches Staatsministerium für Wissenschaft und Kunst (StMWK)

?

Local head of project:?

Prof. Dr. Bernhard Bauer

?

Local scientists:

Marco W?lfel

No?l Hagemann

Adrian Pfleiderer

?

Abstract

The Augsburg AI Production Network is an association of the 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg with the Fraunhofer Institute for Foundry, Composite and Processing Technology IGCV and the Center for Lightweight Production Technology of the German Aerospace Center (DLR). The goal is joint research into AI-based production technologies at the interface between materials, manufacturing technologies and data-based modeling.

?

The vision of the AI production network is highly modular material-optimized production. In this context, AI technologies are to be addressed along the entire value chain. Artificial intelligence is to play a central role in process optimization and control, the material-appropriate design of products, and the planning of production processes. The AI production network is to research the necessary technologies and help companies quickly implement these approaches in their environment.

?

Further information about the AI Production Network Augsburg

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 伟德国际_伟德国际1946$娱乐app游戏 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: 01.04.2018

?

End date:?31.03.2020

?

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

?

Local head of project:? Prof. Dr. Bernhard Bauer

?

Local scientists:? Reinhard Pr?ll

?

?

Abstract

The aim of this research project is to automate the evaluation of existing tests ("Test the Test", T3) by means of Fault Injection as well as mutations of the test object (system under test) on the software side and on the hardware side to improve the quality of the tests. To this end, existing approaches to software and hardware tests will be supplemented by a quality analysis of test cases in order to meet the ever-increasing security requirements of embedded systems and to adapt the tests semi-automatically to the test results.

?

In addition to the classical approaches for determining test quality, T3 aims at a better way of evaluating tests. On the one hand, this is to be done by means of so-called "front-loading" of test activities, i. e. tests in early phases of development (design time) and their evaluation. On the other hand, a (semi-)automatic improvement of the test quality is to be achieved by appropriate adaptation and combination of classical code metrics. This evaluation is to be made possible in a similar way across different integration levels. To this end, the results of these developments will be integrated into specific existing software and hardware testing tools of the project partners. The results are evaluated through case studies.

Project start: 01.07.2017

?

Project end: 30.06.2019

?

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

?

Local head of project:

Prof. Dr. Bernhard Bauer

?

Local scientists:

Philipp Lohmüller

Thomas Driessen

?

?

Abstract

Nowadays software functions are not operated in isolation from each other, but usually there are a multitude of dependencies between them. For the manufacturers of individual functions, as well as for the function integrator, it is therefore very difficult to impossible to completely oversee all interactions between the inherent states. This results in complexity effects such as emergence, common mode effects, unwanted activation of operating states, hidden links and dis-functionalities. The aim of the project is therefore to define and implement a hierarchically organized, computer-based development platform for SW-intensive systems that implements the contract-based design paradigm consistently and formally. Accordingly, the platform should be structured hierarchically as well as modularly in order to be able to follow both a top-down (new development) and a bottom-up development process (existing components/subsystems) and to contain all necessary design and test modules that are necessary to carry out the development steps across all process levels in the sense of the CBD paradigm. Evaluation takes place via a case study.

Project start: 01.01.2016

?

Funded by: Universit?t Augsburg

?

Local scientists:

Reinhard Pr?ll

No?l Hagemann

?

?

Abstract

Within the Autonomous Driving Lab innovative concepts in the area autonomously driving vehicles are developed and attempted based on vehicles models on a scale of 1:8.

Thereby current challenges of the automotive industry and related research fields are adressed and solutions focusing flexibility and adaptability are emerged.

Project start: 01.10.2016

?

Project end: 30.09.2019

?

Funded by: BMBF (Federal Ministry of Education and Research)

?

Local head of project: Bernhard Bauer

?

Local scientists:

Christoph Etzel
Christian Saad

Julian Kienberger

?

?

Abstract

Development Processes, Tools and Platforms for Safety-Critical Multicore Systems.

?

?

Official Website of ARAMiS II

Project start: 01.01.2016

?

Project start: Universit?t Augsburg

?

Local scientists:

Christian Saad?

Julian Kienberger

Christoph Etzel

?

Abstract

AUTOSAR ("Automotive Open Systems Architecture") is the de facto standard for automotive ECU software and provides a consistent software architecture as well as uniform description and configurations formats. However, there is a shortage of tools which work directly on AUTOSAR models and do not use proprietary (and often simplified) intermediate models.

Together with the Continental Automotive GmbH, our professorship developed a tool named "AutoAnalyze", which conducts a data-flow analysis on the most fine-granular AUTOSAR level, visualizes the dependencies between the functional blocks, detects potential data consistency conflicts and provides support for resolving them, e.g., by imposing, modifying or removing timing constraints. Hereby, the model is being validated for an execution on single- and multi-core platforms.

Most often, an intended execution on multi-core platforms does not lead to software being re-created from scratch but rather to migrating existing legacy software. Therefore, our tool also supports the required working steps of partitioning (splitting the software into a disjoint set) and mapping (assigning the software parts to cores/execution units) with the help of a previously performed region analysis as well as derived initial solutions from it.

?

?

Description

?

? 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg

Project start: 01.01.2016

?

Funded by: Universit?t Augsburg

?

Local scientists: Thomas Driessen

?

?

Abstract

It is common knowledge in Software Engineering that the earlier in development an error of a system is found, then the lower are the costs for its correction. This is especially the case if the system under development is an embedded or safety critical one, where not only a system’s software, but also its corresponding documentation or hardware is affected by changes.

In this context, Model-Driven Development (MDD) aims to shift most aspects of a system’s software implementation into earlier phases of the development e.g., software design or system design. Therefore, we concentrate in this work on shifting the timing and inter-component communication aspects of a system’s software from the implementation phase to the system design phase of a project.

Our approach uses the Architecture Analysis and Design Language (AADL), which is specifically designed for the specification, analysis, automated integration and code generation of real-time, performance-critical distributed computer systems. AADL offers – among other things – standardized semantics for timing and inter-component communication aspects of software components. In our approach, we utilize these semantics to define a mapping between the AADL and the Real-Time Specification for Java (RTSJ). RTSJ is an extension of standard Java for hard and soft real-time applications. With an implementation of this mapping, we then generate AADL semantic-compliant RTSJ code, which preserves the timing behaviour and intercomponent communication defined in an AADL model. Thus, a system designer is capable of designing and performing analyses regarding communication and timing almost completely during design phase, while resting assured that the implementation will reflect his design choices. Simultaneously, programmers are relieved of the monotonic and repetitive task of writing communication- and timing-related code.

The application of our approach is shown via the implementation of an autopilot for quadrocopters. For this purpose the software of the quadrocopter is modelled in AADL and is then generated by our implementation. The case study shows three advantages of our approach over an implementation without code-generation:

  • The speed-up of development by letting the programmer focus on application logic instead of writing recurring code concerned with timing and communication.
  • A less error-prone transition from the design of a system to its implementation.
  • The possibility of an earlier detection of timing- or communication-related errors in the system.

Our further research is aimed at integrating safety-related aspects e.g., error-propagation, into our existing approach by exploiting Java’s exception mechanisms and RTSJ’s asynchronoustransfer- of-control (ATC) mechanisms.

Further information:? MBE for Autonomous Vehicles with Real-Time Java and AADL