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 条
  • [1] A course on safety-related real-time computing systems
    Halang, WA
    Zalewski, J
    [J]. REAL-TIME SYSTEMS EDUCATION, 1996, : 98 - 107
  • [2] Reliability and Real-Time Analysis of Safety-Related Messages in VANET
    Sun, Wei
    Zhang, Hesheng
    Pan, Cheng
    [J]. ADVANCES IN WIRELESS SENSOR NETWORKS, 2015, 501 : 585 - 592
  • [3] Nearly real-time, safety-related, remotely accessible marine GIS
    Stepnowski, A
    Lubniewski, Z
    Partyka, A
    Bikonis, K
    Moszyfiski, M
    Demkowicz, J
    [J]. Oceans 2005 - Europe, Vols 1 and 2, 2005, : 1138 - 1140
  • [4] TripSafe: Retrieving Safety-related Abnormal Trips in Real-time with Trajectory Data
    Su, Yueyang
    Yao, Di
    Zhou, Xiaolei
    Zhang, Yuxuan
    Fan, Yunxia
    Bai, Lu
    Bi, Jingping
    [J]. PROCEEDINGS OF THE 46TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL, SIGIR 2023, 2023, : 2446 - 2450
  • [5] Integrating Online Safety-related Memory Tests in Multicore Real-Time Systems
    Donnarumma, Ciro
    Biondi, Alessandro
    De Rosa, Francesco
    Di Carlo, Stefano
    [J]. 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2020, : 296 - 307
  • [6] Time-Triggered Architecture for safety-related distributed real-time systems in transportation systems
    Heiner, G
    Thurner, T
    [J]. TWENTY-EIGHTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST PAPERS, 1998, : 402 - 407
  • [7] A safety-related PES for task-oriented real-time execution without asynchronous interrupts
    Skambraks, M
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 261 - 274
  • [8] Soft Error Vulnerability Assessment of the Real-Time Safety-Related ARM Cortex-R5 CPU
    Iturbe, Xabier
    Venu, Balaji
    Ozer, Emre
    [J]. 2016 IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI AND NANOTECHNOLOGY SYSTEMS (DFT), 2016, : 91 - 96
  • [9] The use of real-time ready whole-vehicle models for the functional design of safety-related driver assistance systems
    Schmitt, J
    Schorn, M
    Stählin, U
    Isermann, R
    [J]. OPEN-LOOP AND CLOSED-LOOP CONTROL OF VEHICLES AND ENGINES - AUTOREG 2004, 2004, 1828 : 667 - 676
  • [10] The value of life: Real risks and safety-related productivity in the Himalaya
    Goucher, Jeremy
    Horrace, William C.
    [J]. LABOUR ECONOMICS, 2012, 19 (01) : 27 - 32
12345