Embedded Systems

Advanced Topics in Embedded Systems

Lec­turer Oliver Bring­mann
Head
Oliver Bring­mann

Lec­ture Mittwoch, 16-18 Uhr
Hörsaal 2, F122, Sand 6/7
In­struc­tor
Tu­to­r­ial -
Amount 3 LP
Entry in course cat­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
  • 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