Graded Refinement, Retrenchment, and Simulation

被引:1
|
作者
Banach, Richard [1 ]
机构
[1] Univ Manchester, Dept Comp Sci, Oxford Rd, Manchester M13 9PL, Lancs, England
关键词
Refinement; retrenchment; simulation; VERIFIED SOFTWARE; PURSE;
D O I
10.1145/3534116
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Refinement of formal system models towards implementation has been a mainstay of system development since the inception of formal and Correct by Construction approaches to system development. However, pure refinement approaches do not always deal fluently with all desirable system requirements. This prompted the development of alternatives and generalizations, such as retrenchment. The crucial concept of simulation is key to judging the quality of the conformance between abstract and more concrete system models. Reformulations of these theoretical approaches are reprised and are embedded in a graded framework. The added flexibility this offers is intended to deal more effectively with the needs of applications in which the relationship between different levels of abstraction is not straightforward, and in which behavior can oscillate between conforming quite closely to an idealized abstraction and deviating quite far from it. The framework developed is confronted with an intentionally demanding case study: a model active control system for the protection of buildings during earthquakes. This offers many challenges: it is hybrid/cyber-physical; it has to respond to rather unpredictable inputs; and it has to straddle the gap between continuous behavior and discretized/quantized/numerical implementation.
引用
收藏
页数:69
相关论文
共 50 条
  • [31] Russian retrenchment
    Crow, P
    OIL & GAS JOURNAL, 1998, 96 (47) : 39 - 39
  • [32] Design and Simulation Analysis of the Graded LCX
    Yang, Fei
    Zhang, Xiaogang
    Fan, Xuefeng
    2017 2ND IEEE INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, SIGNAL PROCESSING AND NETWORKING (WISPNET), 2017, : 675 - 678
  • [33] MATHEMATICAL SIMULATION OF EROSION ON GRADED TERRACES
    AKAN, SO
    EZEN, SC
    HYDROLOGICAL SCIENCES JOURNAL-JOURNAL DES SCIENCES HYDROLOGIQUES, 1982, 27 (02): : 241 - 241
  • [34] Numerical simulation of graded sediment transport
    Mikos, M
    Pender, G
    Hoey, T
    Shvidchenko, A
    Petkovsek, G
    PROCEEDINGS OF THE INSTITUTION OF CIVIL ENGINEERS-WATER AND MARITIME ENGINEERING, 2003, 156 (01): : 47 - 51
  • [35] LEADERSHIP IN AN ERA OF RETRENCHMENT
    BEHN, RD
    PUBLIC ADMINISTRATION REVIEW, 1980, 40 (06) : 603 - 604
  • [36] AHEAD - RETRENCHMENT ERA
    BATES, AD
    JOURNAL OF RETAILING, 1977, 53 (03) : 29 - 46
  • [37] HIDDEN HAZARDS OF RETRENCHMENT
    LEVINE, CH
    BUREAUCRAT, 1981, 10 (03): : 4 - 5
  • [38] MANAGEMENT OF PERSONNEL RETRENCHMENT
    HOFFMAN, FO
    PERSONNEL, 1971, 48 (06) : 44 - &
  • [39] Numerical simulation of front graded and fully graded AlGaAs/GaAs solar cell
    Messei, Nadia
    Aida, M. S.
    OPTIK, 2015, 126 (23): : 4432 - 4435
  • [40] Visual smoke simulation with adaptive octree refinement
    Shi, L
    Yu, YZ
    PROCEEDINGS OF THE SEVENTH IASTED INTERNATIONAL CONFERENCE ON COMPUTER GRAPHICS AND IMAGING, 2004, : 13 - 19