anticache

Entwickeln von Funktional Sicherer Software in Eingebetteten Systemen

26.08.2014

Martin Becker


28.08.2014, 15:00--17:00, room 3945 (seats are limited!)


Together with researcher from our partner Tongji University China, we discuss the current state-of-the-art of developing software for embedded systems which operate in safety-critical environments.

Topics covered:

  • the difference between defect, infection, failure and bug
  • timing analysis techniques (forms of WCET analysis, measurements)
  • code configurations (identifying invalid configurations)
  • compiler trust (when your compiler introduces bugs)
  • blue-sky bugfinding (architecture analysis, static analysis, dynamic analysis)
  • design approaches (source code, model, problems with mainstream languages)
  • testing/debugging (unit-, smoke-, delta-)
  • verification (model checking, SAT solver)
  • specification of properties (ACSL, LTL, CTL, dynamic inference)