This paper addresses the fundamental requirement that real-time control systems must meet their t... more This paper addresses the fundamental requirement that real-time control systems must meet their timing constraints. This paper concentrates on using the functional specification language PAISLey to specify and analyse timing constraints in parallel systems. The PAISLey approach is introduced and specification of Milner's jobshop is given using this language. This is then transformed in a structured way into an occam
The vision of pervasive computing is that objects, buildings and environments may be endowed with... more The vision of pervasive computing is that objects, buildings and environments may be endowed with software intelligence to improve human interactions both with the individual objects and with the system as a whole. Realising this dream is posing significant challenges for designers-allowing individual applications to co-exist in a common space without interfering, making the capabilities of new sensors and services available to other applications as they appear and providing the necessary decentralised control to obtain ...
As small wearable computing devices become more prolific it seems astute to fully capitalise on t... more As small wearable computing devices become more prolific it seems astute to fully capitalise on their potential to assume responsibility for a range of trivial tasks. The mobile phone which many people now own will undoubtedly evolve from the simple two-way communication purpose it fulfils today, into an integrated communications and organisation companion. We are interested in the integration of such smart devices into an intelligent building framework. Sensors and door activators are useful in their own right but to fully ...
The design of a fault tolerant system would be enhanced if a rapid prototyping approach could be ... more The design of a fault tolerant system would be enhanced if a rapid prototyping approach could be conceived which allows fault tolerance to be modelled quickly, and faults simulated to analyse the behaviour of the system. This paper concentrates on how a functional specification language, and its environment, can be used to describe and investigate the properties of parallel fault
This paper addresses the fundamental requirement that real-time control systems must meet their t... more This paper addresses the fundamental requirement that real-time control systems must meet their timing constraints. This paper concentrates on using the functional specification language PAISLey to specify and analyse timing constraints in parallel systems. The PAISLey approach is introduced and specification of Milner's jobshop is given using this language. This is then transformed in a structured way into an occam
The vision of pervasive computing is that objects, buildings and environments may be endowed with... more The vision of pervasive computing is that objects, buildings and environments may be endowed with software intelligence to improve human interactions both with the individual objects and with the system as a whole. Realising this dream is posing significant challenges for designers-allowing individual applications to co-exist in a common space without interfering, making the capabilities of new sensors and services available to other applications as they appear and providing the necessary decentralised control to obtain ...
As small wearable computing devices become more prolific it seems astute to fully capitalise on t... more As small wearable computing devices become more prolific it seems astute to fully capitalise on their potential to assume responsibility for a range of trivial tasks. The mobile phone which many people now own will undoubtedly evolve from the simple two-way communication purpose it fulfils today, into an integrated communications and organisation companion. We are interested in the integration of such smart devices into an intelligent building framework. Sensors and door activators are useful in their own right but to fully ...
The design of a fault tolerant system would be enhanced if a rapid prototyping approach could be ... more The design of a fault tolerant system would be enhanced if a rapid prototyping approach could be conceived which allows fault tolerance to be modelled quickly, and faults simulated to analyse the behaviour of the system. This paper concentrates on how a functional specification language, and its environment, can be used to describe and investigate the properties of parallel fault
Uploads
Papers by Paddy Nixon