V
Volker Schonknecht
Publications - 2
Citations - 35
Volker Schonknecht is an academic researcher. The author has contributed to research in topics: Avionics software & Embedded software. The author has an hindex of 2, co-authored 2 publications receiving 35 citations.
Papers
More filters
Proceedings ArticleDOI
Verification of temporal properties in automotive embedded software
Djones Lettnin,Pradeep K. Nalla,Jürgen Ruf,Thomas Kropf,Wolfgang Rosenstiel,Tobias Kirsten,Volker Schonknecht,Stephan Reitemeyer +7 more
TL;DR: A SystemC model from the original C program is derived in order to integrate directly with the SystemC temporal checker and performed a case study on an embedded software from automotive industry which is responsible for controlling read and write requests to a non-volatile memory.
Proceedings ArticleDOI
Semiformal verification of temporal properties in automotive hardware dependent software
Djones Lettnin,Pradeep K. Nalla,Jörg Behrend,Jürgen Ruf,Joachim Gerlach,Thomas Kropf,Wolfgang Rosenstiel,Volker Schonknecht,Stephan Reitemeyer +8 more
TL;DR: SofTPaDS shows to be more efficient than the software model checkers in order to trace deep state spaces and improves the state coverage relative to a simulation-based verification tool.