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 条
  • [21] An analysis of forward simulation data refinement
    Deutsch, M
    Henson, MC
    ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 148 - 167
  • [22] Robust Simulation Functions with Disturbance Refinement
    Wooding, Ben
    Lavaei, Abolfazl
    Vahidinasab, Vahid
    Soudjani, Sadegh
    2023 EUROPEAN CONTROL CONFERENCE, ECC, 2023,
  • [23] SIGNS OF RETRENCHMENT
    PIECUCH, PJ
    JOURNAL WATER POLLUTION CONTROL FEDERATION, 1975, 47 (07): : 1823 - 1823
  • [24] RETRENCHMENT AT DOW
    Tullo, Alex
    CHEMICAL & ENGINEERING NEWS, 2012, 90 (51) : 24 - 24
  • [25] REFINEMENT AND SIMULATION OF NETS - A CATEGORICAL CHARACTERIZATION
    BROWN, C
    GURR, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 616 : 76 - 92
  • [26] Retrenchment tutorial
    Banach, Richard
    SEFM 2006: FOURTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2006, : 259 - 259
  • [27] POLITICS OF RETRENCHMENT
    PROVAZNIK, J
    PROBLEMS OF COMMUNISM, 1969, 18 (4-5): : 2 - 16
  • [28] RETRENCHMENT - INTRODUCTION
    SLAUGHTER, S
    JOURNAL OF HIGHER EDUCATION, 1993, 64 (03): : 247 - 249
  • [29] REFORM, NOT RETRENCHMENT
    SOLOW, RM
    SOCIETY, 1981, 19 (01) : 8 - 9
  • [30] REGULATION AND RETRENCHMENT
    FITZGERALD, K
    IEEE SPECTRUM, 1987, 24 (11) : 30 - 34