Staff
Prof. Dr.-Ing. Daniel Große
- Organizational unit
Cyber-Physical Systems
- Contact
Phone (Bremen): +49 421 218 63935
Daniel.Grosse@dfki.de
http://www.daniel-grosse.de
- Address (Bremen)
Mehrzweckhochhaus (MZH)
Bibliothekstraße 5
D-28359 Bremen
Publications
Profile
AUTOASSERT
Simulation-based Design Tool for Automated Checking of Analog-digital Electronic Systems
Microelectronic hardware and software systems are the key component for the majority of innovations in current and future systems. The verification, i.e. the proof of the correct functionality of the…
VerSys
A Sound Verification Platform for Early Software Development for RISC-V based Systems
The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set architecture for microprocessors which has been…
SATiSFy
Timely Validation of Safey and Security Requirements in Autonomous Vehicles
The aim of the project is to develop techniques to elicit requirements for systems to control autonomous vehicles, and validate them in a timely fashion, such that the necessary safety and security…
CONVERS
Design Automation Tool for Complex Electronic Systems
In order to design systems efficiently, the correct and safe functioning of the entire system has to be ensured as early as possible in the design phase. In addition it is necessary to consider both,…
