论文信息 - Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions

Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions

The overall specification of a cyber-physical system can be given in terms of the desired behaviour of its physical components operating within the real world. The specification of its control software can then be derived from the overall specification and the properties of the real-world phenomena, including their relationship to the computer system’s sensors and actuators. The control software specification then becomes a combination of the guarantee it makes about the system behaviour and the real-world assumptions it relies upon.

Ian J. Hayes | I. Hayes

[1] Cliff B. Jones,et al. Structure for dependability - computer-based systems from an interdisciplinary perspective , 2005 .

[2] Alan Burns,et al. Time bands in systems structure , 2006 .

[3] Cliff B. Jones,et al. Determining the Specification of a Control System from That of Its Environment , 2003, FME.

[4] Alan Burns,et al. A timeband framework for modelling real-time systems , 2010, Real-Time Systems.

[5] Jim Woodcock,et al. Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007 , 2007, Formal Methods and Hybrid Real-Time Systems.

[6] Cliff B. Jones,et al. Deriving Specifications for Systems That Are Connected to the Physical World , 2007, Formal Methods and Hybrid Real-Time Systems.