Embedded Systems

Advanced Topics in Embedded Systems

Dozent Oliver Bring­mann
HeadOliver Bring­mann
Vor­lesung Mittwoch, 16-18 Uhr
Hörsaal A301
Übungsleitung
Übungs­gruppe -
Um­fang 3 LP
Ein­trag im Kurskat­a­log Cam­pus

Beschrei­bung

This lec­ture dis­cusses cur­rent top­ics and trends in em­bed­ded sys­tem re­search with spe­cial focus on de­sign, analy­sis and ver­i­fi­ca­tion of em­bed­ded sys­tems and Sys­tems-on-Chip. The lec­ture starts with an in­tro­duc­tion into em­bed­ded sys­tems ar­chi­tec­tures and elec­tronic sys­tem level de­sign. Then, the lat­est de­vel­op­ments in analy­sis of non-func­tional prop­er­ties like tim­ing, power dis­si­pa­tion, and en­ergy con­sump­tion are dis­cussed. The les­son on ver­i­fi­ca­tion ad­dresses for­mal, semi-for­mal and dy­namic tech­niques and give in­sights into run-time ver­i­fi­ca­tion using dif­fer­ent lan­guages for for­mal prop­erty spec­i­fi­ca­tion. The lec­ture fi­nally cov­ers ad­vanced semi­con­duc­tor tech­nolo­gies as well as re­li­a­bil­ity and func­tional safety as­pects.

  • In­tro­duc­tion
  • Em­bed­ded and re­con­fig­urable ar­chi­tec­tures
  • Elec­tronic sys­tem level de­sign (Sys­temC, TLM, TLM+, UVM)
  • Fast tim­ing analy­sis and sim­u­la­tion
  • Power, en­ergy and ther­mal analy­sis
  • Cy­ber-phys­i­cal sys­tems – sen­sors, ac­tors and en­vi­ron­ment in the loop
  • De­sign space ex­plo­ration
  • For­mal, semi-for­mal and run-time ver­i­fi­ca­tion
  • Ad­vanced semi­con­duc­tor tech­nolo­gies
  • Re­li­a­bil­ity and func­tional safety