Statische Hardware-/Softwareanalysen im Kontext skalierbarer Edge-Computing- Plattformen