| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 712968 | IFAC-PapersOnLine | 2015 | 6 Pages |
Abstract
Highly safety-critical applications require designated development processes that foster verifiability by design. A constructive method to prevent introducing systematic errors into software is to use simple but expressive language elements. Therefore, this paper defines a fusion of function block diagrams and the real-time programming language PEARL in order to support the development and verification process of highly safety-critical programs.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
