Stephen Michell

Learn More
State Based Key Hop (SBKH) protocol provides a strong, lightweight encryption scheme for battery operated devices, such as the sensors in a wireless sensor network, as well as small office home office (SOHO) users. Although SBKH can be applied to many underlying protocols, in this paper, we focus on integrating SBKH with 802.11. Hence we compare SBKH with(More)
Integrating concurrent and object-oriented programming has been an active research topic since the late 1980's. There is a now a plethora of methods for achieving this integration. The majority of approaches have taken a sequential object-oriented language and made it concurrent. A few approaches have taken a concurrent language and made it object-oriented.(More)
2 Background The requirements of High Integrity (safety-critical, secure and mission-critical) Software force developers to use spe-cialised development techniques. Often the choice of computer language and the constructs used are based upon static and dynamic analysis requirements, as well as regulatory requirements and project-specific requirements. To(More)
Integrating concurrent and object-oriented programming has been an active research topic since the late 1980s. The majority of approaches have taken a sequential object-oriented language and made it concurrent. A few approaches have taken a concurrent language and made it object-oriented. The most important of this latter class is the Ada 95 language which(More)
The increased presence of parallel computing platforms brings concerns to the general purpose domain that were previously prevalent only in the specific niche of high-performance computing. As parallel programming technologies become more prevalent in the form of new emerging programming languages and extensions of existing languages, additional safety(More)
Multi-core platforms are challenging the way software is developed, in all application domains. For the particular case of real-time systems, models for the development of parallel software must be able to be shown correct in both functional and non-functional properties at design-time. In particular, issues such as concurrency, timing behaviour and(More)
  • 1