Central to future Next Wave, flexible, ambient intelligent environments are the wireless devices from which they are formed, and the protocols that determine how they communicate. But the exciting scenarios for ubiquitous computing cannot truly be realised unless the technologies are trusted. Project FORWARD is pursuing research objectives designed to enable the development of trustworthy wireless ad-hoc networks for future pervasive computing environments, delivering a methodology based on rigorous tools and techniques. By applying such rigorous methodologies at the design stages of a product development lifecycle, more costly errors can be removed prior to prototype and testing. This can frequently offer a significant reduction in development costs in addition to higher integrity technologies.