Toolset for development of high performance and energy-efficient software, realising the potential of ubiquitous computing and the Internet of Things