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 条
  • [41] Adaptive Multilevel Subset Simulation with Selective Refinement
    Elfverson, D.
    Scheichl, R.
    Weissmann, S.
    de la O, F. A. Diaz
    SIAM-ASA JOURNAL ON UNCERTAINTY QUANTIFICATION, 2024, 12 (03): : 932 - 963
  • [42] Fast transport simulation with an adaptive grid refinement
    Haefner, F
    Boy, S
    GROUND WATER, 2003, 41 (02) : 273 - 279
  • [43] Mesh refinement and modeling errors in flow simulation
    Jameson, A
    Martinelli, L
    AIAA JOURNAL, 1998, 36 (05) : 676 - 686
  • [44] Refinement of methodology for simulation of nucleic acid hydration
    González, E
    Cedeño, FI
    Teplukhin, AV
    Malenkov, GG
    Poltev, VI
    REVISTA MEXICANA DE FISICA, 2000, 46 : 142 - 147
  • [45] SELECTIVE REFINEMENT - A NEW STRATEGY FOR AUTOMATIC NODE PLACEMENT IN GRADED TRIANGULAR MESHES
    FREY, WH
    INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 1987, 24 (11) : 2183 - 2200
  • [46] RETRENCHMENT COMES TO WASHINGTON
    NATHAN, RP
    SOCIETY, 1983, 20 (02) : 45 - 48
  • [47] EDUCATION - RETRENCHMENT IS REFORM
    BURGESS, T
    NEW SOCIETY, 1975, 31 (644): : 310 - 312
  • [48] Procedural Retrenchment and the States
    Clopton, Zachary D.
    CALIFORNIA LAW REVIEW, 2018, 106 (02) : 411 - 480
  • [49] RETRENCHMENT AT CITY HALL
    ARMSTRONG, JL
    CANADIAN PUBLIC ADMINISTRATION-ADMINISTRATION PUBLIQUE DU CANADA, 1986, 29 (04): : 542 - 544
  • [50] Combined refinement criteria for anisotropic grid refinement in free-surface flow simulation
    Wackers, Jeroen
    Deng, Ganbo
    Guilmineau, Emmanuel
    Leroyer, Alban
    Queutey, Patrick
    Visonneau, Michel
    COMPUTERS & FLUIDS, 2014, 92 : 209 - 222