The Safety-Related Real-Time Language SafePEARL

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.