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 条
  • [31] Automatic verification of safety and liveness for pipelined machines using WEB refinement
    Manolios, Panagiotis
    Srinivasan, Sudarshan K.
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2008, 13 (03) : 1 - 19
  • [32] Pregnancy and multiple sclerosis from a neurologist's point of view
    Hradilek, P.
    Meluzinova, E.
    Kovarova, I.
    CESKA A SLOVENSKA NEUROLOGIE A NEUROCHIRURGIE, 2018, 81 (06) : 647 - 651
  • [33] TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems
    Yu, Yinbo
    Liu, Jiajia
    IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2022, 17 : 3773 - 3788
  • [34] A safety-driven point of view on the use of industrial technologies: trade-off on the implementation
    DAuria, Domenico
    Chinellato, Simonetta
    Eredia, Christian
    Sordo, Rosanna
    Giro, Enrico
    De Caprio, Vincenzo
    Cianniello, Vincenzo
    Cascone, Enrico
    Riva, Marco
    Ciliegi, Paolo
    MODELING, SYSTEMS ENGINEERING, AND PROJECT MANAGEMENT FOR ASTRONOMY XI, PT 1, 2024, 13099
  • [35] Chemical pleurodesis: from The point of view of pulmonary physicians and thoracic surgeons
    Comert, Sevda Sener
    Caglayan, Benan
    Parmaksiz, Elif Torun
    Fidan, Ali
    Sarac, Gulsen
    Salepci, Banu
    TURK GOGUS KALP DAMAR CERRAHISI DERGISI-TURKISH JOURNAL OF THORACIC AND CARDIOVASCULAR SURGERY, 2013, 21 (02): : 408 - 415
  • [36] Colouring our view of safety
    Spare, P
    NUCLEAR ENERGY-JOURNAL OF THE BRITISH NUCLEAR ENERGY SOCIETY, 2000, 39 (01): : 61 - 64
  • [37] Safety assessment of adjuvanted vaccines: Methodological considerations
    Da Silva, Fernanda Tavares
    Di Pasquale, Alberta
    Yarzabal, Juan P.
    Garcon, Nathalie
    HUMAN VACCINES & IMMUNOTHERAPEUTICS, 2015, 11 (07) : 1814 - 1824
  • [38] Methodological innovations expand the safety pharmacology horizon
    Pugsley, M. K.
    Curtis, M. J.
    JOURNAL OF PHARMACOLOGICAL AND TOXICOLOGICAL METHODS, 2012, 66 (02) : 59 - 62
  • [39] Lipofilling in Breast Cancer Patients: From Surgical Technique to Oncologic Point of View
    Petit, Jean Yves
    Clough, Krishna
    Sarfati, Isabelle
    Lohsiriwat, Visnu
    de Lorenzi, Francesca
    Rietjens, Mario
    PLASTIC AND RECONSTRUCTIVE SURGERY, 2010, 126 (05) : 262E - 263E
  • [40] Obstetrical care in Berlin: Possibilities for delivery from the gynaecologist's point of view
    Hintze, B
    Bergmann, RL
    Schoppa, A
    Bergmann, KE
    Dudenhausen, JW
    ZEITSCHRIFT FUR GEBURTSHILFE UND NEONATOLOGIE, 2002, 206 (06): : 211 - 218
12345