An Ounce of Prevention is Worth a Pound of Cure: Towards Physically-Correct Specifications of Embedded Real-Time Systems

Predictability — the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements - is a crucial, highly desirable property of responsive embedded systems. This paper overviews a development methodology for responsive systems, which enhances predictability by eliminating potential hazards resulting from physically-unsound specifications. The backbone of our methodology is a formalism that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Unrealistic systems — possessing properties such as clairvoyance, caprice, infinite capacity, or perfect timing — cannot even be specified. We argue that this "ounce of prevention" at the specification level is likely to spare a lot of time and energy in the development cycle of responsive systems - not to mention the elimination of potential hazards that would have gone, otherwise, unnoticed.

[Exhibition review] Keith Tyson at Tate Britain

This is a review of an exhibition of the work of the twenty-first century artist, Keith Tyson, who specializes in mathematics. He was short-listed for the Turner Prize and his work is included in the exhibition of nominated artists' work at Tate Britain. [Keith Tyson was announced as the winner of the 2002 Turner prize on 8 December 2002.]

A discussion on design exhibition "delivery to Sichuan" - interview with Tie Fan, senior architect at Foster & Partners

By the British "East Design Alliance" (West East Design Group) was launched, entitled "Sichuan Express" (Delivery to Sichuan) earthquake relief concept design exhibition in September 2008 from 1 to 5 at the Alan Baxter gallery...