High integrity safety-critical GNSS applications on the railways

2007 ◽  
Author(s):  
P. Cross
Keyword(s):  
Safety Critical ◽  
High Integrity

Safer C: Developing software for high-integrity and safety-critical systems

1996 ◽  
Vol 4 (10) ◽  
pp. 1484
Author(s):  
Charles Radley
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
High Integrity ◽  
Safety Critical Systems

High-integrity agile processes for the development of safety critical software

2011 ◽  
Vol 2 (2) ◽  
pp. 181 ◽  
Author(s):  
Richard F. Paige ◽  
Andy Galloway ◽  
Ramon Charalambous ◽  
Xiaocheng Ge ◽  
Phillip J. Brooke
Keyword(s):  
Safety Critical ◽  
Agile Processes ◽  
High Integrity

Designing Integrity into Position Estimation

2000 ◽  
Vol 53 (2) ◽  
pp. 287-292
Author(s):  
P. B. Ober
Keyword(s):  
Fault Detection ◽  
Algorithm Design ◽  
Position Estimation ◽  
New Method ◽  
Positioning Systems ◽  
Safety Critical ◽  
New Class ◽  
Physical Infrastructure ◽  
High Integrity

While position integrity is crucial when positioning systems are to be used for safety-critical operations such as in aviation applications, current positioning algorithms are generally optimised for accuracy instead. Even when they are combined with fault detection and exclusion schemes, these algorithms still give sub-optimal integrity. This paper promotes a new method of algorithm design that takes integrity rather than accuracy as the parameter to optimise. The new class of high-integrity positioning algorithms described aims to improve integrity with both current and new systems not by improving the physical infrastructure, but by using clever algorithmic optimisation in the receiver. A small simulation example shows that the integrity and availability of un-augmented GPS for non-precision approach can indeed be improved substantially.

scholarly journals The OpenMP API for High Integrity Systems

2021 ◽  
Vol 40 (2) ◽  
pp. 48-50
Author(s):  
Michael Klemm ◽  
Eduardo Quiñones ◽  
Tucker Taft ◽  
Dirk Ziegenbein ◽  
Sara Royuela
Keyword(s):  
Programming Languages ◽  
Parallel Programs ◽  
Programming Models ◽  
Runtime Systems ◽  
Safety Critical ◽  
Parallel Programming Models ◽  
High Integrity ◽  
Key Aspects ◽  
Application Developers ◽  
Different Levels

OpenMP is traditionally focused on boosting performance in HPC systems. However, other domains are showing an increasing interest in the use of OpenMP by virtue of key aspects introduced in recent versions of the specification: the tasking model, the accelerator model, and other features like the requires and the assumes directives, which allow defining certain contracts. One example is the safety-critical embedded domain, where several efforts have been initiated towards the adoption of OpenMP. However, the OpenMP specification states that "application developers are responsible for correctly using the OpenMP API to produce a conforming program", being not acceptable in high integrity systems, where aspects such as reliability and resiliency have to be ensured at different levels of criticality. In this scope, programming languages like Ada propose a different paradigm by exposing fewer features to the user, and leaving the responsibility of safely exploiting the full underlying architecture to the compiler and the runtime systems, instead. The philosophy behind this kind of model is to move the responsibility of producing correct parallel programs from users to vendors. In this panel, actors from different domains involved in the use of parallel programming models for the development of high-integrity systems share their thoughts about this topic.

Auditing source code in high-integrity and safety-critical systems

1996 ◽  
Vol 1996 (7) ◽  
pp. 10-18
Author(s):  
Les Hatton
Keyword(s):  
Source Code ◽  
Critical Systems ◽  
Safety Critical ◽  
High Integrity ◽  
Safety Critical Systems

High Integrity Multi-Sensor Navigation System For Safety Critical Applications

2021 ◽  
Author(s):  
M. Saidani ◽  
D. Gallego Maya ◽  
A. Guinamard
Keyword(s):  
Navigation System ◽  
Safety Critical ◽  
High Integrity ◽  
Sensor Navigation

A Multi-sensor Platform for High Integrity Multi-modal Positioning System

2020 ◽  
Author(s):  
Roberto Capua ◽  
Ales Filip ◽  
Alessandro Neri ◽  
Sam Pullen ◽  
Francesco Rispoli ◽  
...  
Keyword(s):  
Positioning System ◽  
Sensor Platform ◽  
High Integrity
Sign in / Sign up

Export Citation Format

Share Document