The Safety-Related Real-Time Language SafePEARL

被引：0
|
作者：
Halang, Wolfgang A. [1 ]
机构：
[1] Fernuniv, D-58084 Hagen, Germany
来源：
ADVANCES IN REAL-TIME AND AUTONOMOUS SYSTEMS, 2023 | 2024年 / 1009卷
关键词：
Safety; real-time systems; programming language; SafePEARL;
D O I：
10.1007/978-3-031-61418-7_3
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The programming language PEARL has by far the most distinctive real-time properties, which is why it has excellently proven itself in industrial automation applications. The main features of the language and its support for distributed systems are presented. As the first universally applicable textual programming language, PEARL offers safety-related subsets suitable for each of the four internationally standardised safety integrity levels, as well as special language constructs to formulate safe sequence controls. Parts of PEARL can already be used for specification purposes due to their inherent clarity, unambiguity and direct comprehensibility.
引用
收藏
页码：43 / 79
页数：37
相关论文
共 50 条
  • [41] A Real-time Vehicle Safety System
    Chen, Yongquan
    Sun, Yuandong
    Ding, Ning
    Chung, Wing Kwong
    Qian, Huihuan
    Xu, Guoqing
    Xu, Yangsheng
    [J]. 2012 IEEE/SICE INTERNATIONAL SYMPOSIUM ON SYSTEM INTEGRATION (SII), 2012, : 957 - 962
  • [42] Real-time Proactive Safety in Construction
    Green, Larry
    Tominack, Gary
    [J]. POWER, 2012, 156 (01) : 62 - 65
  • [43] REAL-TIME CONCURRENT-C - A LANGUAGE FOR PROGRAMMING DYNAMIC REAL-TIME SYSTEMS
    GEHANI, N
    RAMAMRITHAM, K
    [J]. REAL-TIME SYSTEMS, 1991, 3 (04) : 377 - 405
  • [44] Embedded, real-time, safety-critical control is nothing new to the Ada language
    Anon
    [J]. Control Solutions, 2001, 74 (05):
  • [45] Embedded, real-time safety-critical control is nothing new to the Ada language
    Tokar, J
    [J]. CONTROL SOLUTIONS, 2001, 74 (05): : 75 - 76
  • [46] Importance of safety-related parameters for practice
    Bedeutung sicherheitstechnischer Kenngrößen für die Praxis
    [J]. Dyrba, Berthold, 1600, VDI Fachmedien GmBH & Co. KG (03):
  • [47] Guidelines for safety-related system practitioners
    不详
    [J]. INDUSTRIAL MANAGEMENT & DATA SYSTEMS, 1999, 99 (7-8) : 324 - 324
  • [48] Motivational profiles and safety-related traits
    Furnham, Adrian
    [J]. INTERNATIONAL JOURNAL OF OCCUPATIONAL SAFETY AND ERGONOMICS, 2022, 28 (02) : 1198 - 1203
  • [49] INSTRUMENTATION OF HTRS AND SAFETY-RELATED REQUIREMENTS
    KAISER, GE
    [J]. TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1975, 20 (APR21): : 116 - 119
  • [50] Functional Safety-Related Standards in IEEE
    Au, Edward
    [J]. IEEE VEHICULAR TECHNOLOGY MAGAZINE, 2022, 17 (01): : 108 - +
12345