Smart, Safe and Secure Software Development and Execution Platform for the Internet of Things