Company Filing History:
Years Active: 2021-2024
Title: Jochen Quante: Innovator in Embedded Software Systems
Introduction
Jochen Quante is a notable inventor based in Ludwigsburg, Germany. He has made significant contributions to the field of embedded software systems, holding 2 patents that showcase his expertise and innovative thinking.
Latest Patents
His latest patents include "Compositional verification of embedded software systems" and "Hierarchy detection for block diagrams." The first patent describes a computer-implemented method for static testing of a software system that is decomposed into software units connected by interfaces. This method involves receiving context information for an interface, which includes at least one postcondition for the output variable of a respective first software unit and/or a precondition for the input variable of a respective second software unit. The method further includes selecting a third software unit to produce a substitute decomposition of the software system and testing whether the selected postcondition can be forward-propagated by the third software unit with regard to formal verification. The second patent focuses on methods and systems for hierarchy detection in block diagrams, where an electronic processor identifies connected components, converts them into a directed acyclic graph (DAG), and generates a displayable hierarchical block diagram based on verified candidate hierarchies.
Career Highlights
Jochen Quante works at Robert Bosch GmbH, a leading global supplier of technology and services. His role at the company allows him to apply his innovative ideas and contribute to advancements in embedded systems.
Collaborations
Some of his notable coworkers include Fabio Cecchi and Naveen Ramakrishnan, who collaborate with him on various projects within the company.
Conclusion
Jochen Quante's work in embedded software systems exemplifies the spirit of innovation and dedication to advancing technology. His patents reflect his commitment to improving software verification and hierarchy detection, making a lasting impact in his field.