Fraunhofer-Publica
The Fraunhofer-Publica has been successfully documenting the research results of the Fraunhofer-Gesellschaft for over 30 years. The platform enables the collaborative linking of research-relevant objects and disseminates within the international scientific community.
The Fraunhofer-Publica thus fulfils its responsibility to promote the transfer of knowledge and know-how to industry and society.
Categories
Research outputs
As an application-oriented research organisation, Fraunhofer aims to conduct highly innovative and solution-oriented research - for the benefit of society and to strengthen the German and European economy.
Projects
Fraunhofer is tackling the current challenges facing industry head on. By pooling their expertise and involving industrial partners at an early stage, the Fraunhofer Institutes involved in the projects aim to turn original scientific ideas into marketable products as quickly as possible.
Researchers
Scientific achievement and practical relevance are not opposites - at Fraunhofer they are mutually dependent. Thanks to the close organisational links between Fraunhofer Institutes and universities, science at Fraunhofer is conducted at an internationally first-class level.
Institutes
The Fraunhofer-Gesellschaft is the leading organisation for applied research in Europe. Institutes and research facilities work under its umbrella at various locations throughout Germany.
Recent Additions
-
PublicationIn-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures( 2024)Formal verification of programmable memristive architectures utilizing emerging nonvolatile memory technologies such as Resistive Random-Access Memory (RRAM) has only been recently addressed by a few works at the software level. In this paper we propose an in-memory SAT solver utilizing inherent analog features of RRAM that enables formal verification of arbitrary designs within resistive crossbars. More importantly, this allows self-verification of in-memory implementations as the correctness of designs can be dynamically checked. Additionally, the required architecture is presented, along with a complexity analysis for latency and hardware overheads
-
Mainwork37th International Conference on VLSI Design, VLSID 2024. Proceedings(IEEE Computer Society Conference Publishing Services (CPS), 2024)
-
-
Most viewed
-
-
PublicationTailoring the MontiArcAutomaton Component & Connector ADL for Generative Development( 2015)Component & connector (C&C) architecture description languages (ADLs) combine component-based software engineering and model-driven engineering to increase reuse and to abstract from implementation details. Applied to robotics application development, current C&C ADLs often require domain experts to provide component behavior descriptions as programming language artifacts or as models of a-priori fixed behavior modeling languages. They are limited to specific target platforms or require extensive handcrafting to transform platform-independent software architecture models into platform-specific implementations. We have developed the MontiArcAutomaton framework that combines structural extension of C&C concepts with integration of application-specific component behavior modeling languages, seamless transformation from logical into platform-specific software architectures, and a-posteriori black-box composition of code generators for different robotics platforms. This paper describes the roles and activities for tailoring MontiArcAutomaton to application-specific demands.
-
-