Homepage Sitemap Contact

Group
Reasearch
Studies
Publications
Software
Service
Contact




Home « Research « Projects
» EffektiV: Efficient Fault Simulation using Virtual Prototypes for Qualification of Intelligent Motion-Control-Systems in Industrial Automation
Logo

Logo

The project develops high-level fault simulation techniques using virtual prototypes.

For more information see:
https://www.edacentrum.de/effektiv/


Contact: Prof. Dr. Rolf Drechsler, Hoang M. Le
 
» Development of a Modular Framework for Automatic Validation and Verification of UML/OCL Models
Logo

In the project, a modular framework shall be developed which can generically be applied to solve verification tasks in the UML/OCL-based design.

Contact: Dr. Robert Wille
 
» Synthesis of Reversible Circuits using Probabilistic Methods
Logo

This project investigtes the synthesis of reversible circuits. We are cooperating thereby with the Bengal Engineering & Science University (India).

Contact: Prof. Dr. Rolf Drechsler, Dr. Robert Wille
 
» Utilizing Reversible Logic for Low Power Design
Logo

This project investigtes the utilization of a new computing paradigm, namely reversible logic, for low power design. We are cooperating thereby with the Purdue University (USA).

Contact: Prof. Dr. Rolf Drechsler, Dr. Robert Wille
 
» Fostering Competencies in Mathematical Modeling
Logo

In the project methods to foster mathematical competencies are developed and their effectiveness is experimentally evaluated.

Contact: Dr. Cornelia Große
 
» High Quality Test Generation for Small Delay Defects
Logo

Focus of this project is the development of new methods for the generation of high-quality tests. Special attention is paid to the application of formal methods like Boolean Satisfiability (SAT) or Pseudo-Boolean Optimization.

Contact: Prof. Dr. Rolf Drechsler, Dr. Stephan Eggersglüß
 
» Development of a Continuous Verification Flow for ESL
Logo

In the Reinhart Koselleck Project new methods are developed to ensure the correctness of modern circuit and system descriptions in embedded systems.

Contact: Prof. Dr. Rolf Drechsler
 
» Debugging Embedded Systems
Logo

Junior Research Group funded by the DFG within the Emmy-Noether-Programme.

Contact: Dr. Görschwin Fey
 
» DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Logo

Logo

Logo

DIAMOND focusses on debugging support for design bugs and the analysis of physical faults.

For further deatils see the webpage of DIAMOND:
http://www.fp7-diamond.eu


Contact: Prof. Dr. Rolf Drechsler, Dr. Görschwin Fey
 
» Visualization of circuits and systems
Logo

Together with the company Concept Engineering algorithms and technologies for visualization of circuits and systems are developed.

Contact: Prof. Dr. Rolf Drechsler
 







Add to Favorites
Deutsch








Sitemap Kontakt

ISMVL2014 DUHDE