With the growth of connected Internet of Things (IoT) applications, embedded developers face additional validation requirements. Device security, timing behaviour, and energy efficiency are new topics that need careful implementation and validation. This…