Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving (DeCoDe) (T01#)

• Subject Area: Theoretical Computer Science
• Term: from 2014 to 2016
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5485999

Das Transferprojekt zielt auf effiziente und präzise Erkennung nichterreichbarer Programmteile in reaktiver und regelungstechnischer eingebetteter Software mit hohem Anteil an Fließkommaarithmetik. Es betrachtet dabei sowohl aus Simulink und Stateflow generierte eingebettete C-Programme als auch nach den einschlägigen Regeln handkodierte eingebettete Software.

• DFG Programme: CRC/Transregios (Transfer Project)
• Subproject of: TRR 14: Automatic Verification and Analysis of Complex Systems
• Applicant Institution: Carl von Ossietzky Universität Oldenburg
• Co-Applicant Institution: Albert-Ludwigs-Universität Freiburg
• Project Heads: Professor Dr. Bernd Becker; Professor Dr. Martin Fränzle