SAFETY AND LIVENESS FROM A METHODOLOGICAL POINT-OF-VIEW

被引：10
|
作者：
DEDERICHS, F
WEBER, R
机构：
[1] Institut für Informatik, Technische Universität München, Arcisstr 21, D-8000 München 2
来源：
INFORMATION PROCESSING LETTERS | 1990年 / 36卷 / 01期
关键词：
distributed systems; liveness; property; Safety; specification methodology;
D O I：
10.1016/0020-0190(90)90181-V
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Methodological sound characterizations of safety and liveness properties, which are relevant for the specification of distributed systems, are given. The recent characterizations by Alpern and Schneider are reviewed and some of their shortcomings are demonstrated. It is shown why they occur and that in our approach they are avoided. Finally some features of these characterizations are proved and their methodological impacts are discussed. © 1990.
引用
收藏
页码：25 / 30
页数：6
相关论文
共 50 条
  • [21] From liveness to promptness
    Orna Kupferman
    Nir Piterman
    Moshe Y. Vardi
    Formal Methods in System Design, 2009, 34 : 83 - 103
  • [22] ANOTHER GLANCE AT THE ALPERN-SCHNEIDER CHARACTERIZATION OF SAFETY AND LIVENESS IN CONCURRENT EXECUTIONS
    GUMM, HP
    INFORMATION PROCESSING LETTERS, 1993, 47 (06) : 291 - 294
  • [23] INFERENCE SYSTEMS WITH CORULES FOR COMBINED SAFETY AND LIVENESS PROPERTIES OF BINARY SESSION TYPES
    Ciccone L.
    Padovani L.
    Logical Methods in Computer Science, 2022, 18 (03): : 27:1 - 27:29
  • [24] Assessing the Safety of Children's Playgrounds from the Parents' Point of View: A Case of the Third District of Tehran
    Doroudian, Ali Asghar
    Azadfada, Shiva
    Moosavinasab, Maliheh
    INTERNATIONAL JOURNAL OF PEDIATRICS-MASHHAD, 2022, 10 (06): : 16223 - 16232
  • [25] Safety implications of a pedestrian protection system: the driver's point of view
    Jamson, Samantha L.
    Jamson, A. Hamish
    INTERNATIONAL JOURNAL OF VEHICLE DESIGN, 2007, 45 (03) : 397 - 410
  • [26] Cardiovascular safety of NSAIDs: Additional insights after PRECISION and point of view
    Pepine, Carl J.
    Gurbel, Paul A.
    CLINICAL CARDIOLOGY, 2017, 40 (12) : 1352 - 1356
  • [27] Point of View
    Pearson, Adam M.
    SPINE, 2014, 39 (01) : 102 - 103
  • [28] Working just beside antennas:: Safety condition in the wireless worker point of view
    de Carvalho, JN
    Silva, JCE
    Neto, AG
    Júnior, WJPF
    da Silva, FJC
    Neto, SADRM
    IMOC 2001: PROCEEDINGS OF THE 2001 SBMO/IEEE MTT-S INTERNATIONAL MICROWAVE AND OPTOELECTRONICS CONFERENCE: THE CHALLENGE OF THE NEW MILLENIUM: TECHNOLOGICAL DEVELOPMENT WITH ENVIRONMENTAL CONSCIOUSNESS, 2001, : 189 - 191
  • [29] RV-SLC: A Tool for Regression Validation of Safety and Liveness Constraints on Goal Models in DevOps Environment
    Ambade, Palak
    Solanki, Diptiben
    Deb, Novarun
    29TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2021), 2021, : 452 - 453
  • [30] An MPC-Based Approach to Provable System-Wide Safety and Liveness of Autonomous Ground Traffic
    Kim, Kyoung-Dae
    Kumar, P. R.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (12) : 3341 - 3356
12345