Questions tagged [safety-critical]

Software is [safety-critical] when an incorrect response or an incorrectly timed response can result in significant loss to its users; in the most extreme case, loss of life may result from such failures.

A software is when an incorrect response or an incorrectly timed response can result in significant loss to its users; in the most extreme case, loss of life may result from such failures.

Safety-critical applications require an exceedingly rigorous validation and certification process.

46 questions
1
vote
2 answers

Differences Between R and HR in SIL# Norms

SIL norms define different rules that must be applied to code (i.e. : cyclomatic complexity, etc.) These rules are defined by "NA - Non Applicable", "R - Recommended" and "HR - Higly Recommended". I understand this appreciation is up to the people…
user3894541
1
vote
3 answers

Never use pre-defined real types?

I am starting to learn the Ada language by reading ADA Distilled. In chapter 3.8 It says: The Ada programmer never uses pre-defined real types for safety-critical, production quality software. I was wondering what this really implies and what…
gccinac
  • 103
  • 2
  • 11
1
vote
2 answers

Limit resource utilization of JNA calls without changing dll

How can you prevent a JNA method-call from exceeding thresholds for CPU utilization, thread-counts, and memory limits? Background: I'm working on a safety critical application and one of the non-safety-critical features requires the use of a…
HardcoreBro
  • 425
  • 4
  • 17
0
votes
0 answers

How to fix the High Risk Remote Code Execution (RCE) vulnerability in System.Data.Common 4.3.0 package referenced by Telerik.UI.for.Blazor

In Visual Studio 2022, I created a library project using .NET Core 6.0 runtime, I am using Telerik.UI.for.Blazor 3.7.0 nuget package. After recent vera code scan I found that there is a security vulnerability in the System.Data.Common 4.3.0 package…
0
votes
5 answers

Include .c instead of header(.h) - MISRA C

Is using #include "component.c" considered bad practice or is there any misra standard rule violation? (potentially rule 3-3-1) So far, I understand that it is a commonly categorized as bad practice but can be used in certain scenarios, would it be…
arturo_drt
  • 23
  • 1
0
votes
0 answers

How to understand the meaning of high level requirement and low level requirement in DO-178C?

DO-178C or DO-178B requires two level software requirements, that is, high-level requirements and low-level requirements. But generally except the very small software, the hierarchy structure of most embedded software is: (the whole) embedded…
0
votes
0 answers

Need help finding the best time performing lines of code to replace existing-working code

The question is very straight forward. Content here is information collected during the run of an interconnected system. I simplified functions to emphasise the bottlenecks from line_profiler into three dependend functions objectively similar to…
0
votes
2 answers

MISRA-2012 Rule 20.12 violation: misra_c_2012_rule_20_12_violation: macro parameter "val" is used in both expanded and raw forms

I've been facing this MISRA violation: Definitions: #define A (1UL << 10) #define INIT_A ((A) | (1UL << 15)) #define INIT_A_MASK (0xFFFFUL << 15) #define IS_STATE_IFSET(state, val) ((((state) & (val##_MASK)) ==…
Amit Sharma
  • 1,987
  • 2
  • 18
  • 29
0
votes
0 answers

VX works simulator with Opengl SC

Is there any VXworks simulator available where i can build my Opengl ES or SC application and run it? I'm new to opengl plateform, My project involves Development of display for safety critical system. I want to simulate a basic opengl sc code on…
0
votes
4 answers

Rules for SIL allocation for tasks in Safety-critical applications and partition sharing

Considering a safety-critical application, composed of several tasks, I have the following question: Is it possible to have tasks of different SILs in an application, or are all tasks the same SIL? I know that in HW it is possible to have a system…
Domi
  • 168
  • 5
  • 13
0
votes
2 answers

Safety critical app - Database row validation

This is perhaps a little bit vague, but I'm hoping that in amongst all the people on SO there will be some who have ran into this type of issue before. Background Our application is a C# / .NET service that controls train orders. We use LINQ-to-SQL…
Coxy
  • 8,844
  • 4
  • 39
  • 62
0
votes
1 answer

Difference of safety-critical SW development

When developing safety-critical software using some quality standards (like e.g. IEC 61508 or DO 178-C) developers have to care about many things. I know that the verification in each development step is quite time consuming and expensive. Moreover,…
knacker123
  • 79
  • 9
0
votes
2 answers

Linux CAN bus transmission timeout

Scenario There is a Linux-powered device connected to a CAN bus. The device periodically transmits the CAN message. The nature of the data carried by this message is like measurement rather than command, i.e. only the most recent one is actually…
Pavel Kirienko
  • 1,162
  • 1
  • 15
  • 31
0
votes
3 answers

Whats a Strong Argument against Variable Redundancy in c code

I work in safety critical application development. Recently as a code reviewer I complained against coding style shown below, but couldn't make a strong case against it. So what would be a good argument against such Variable redundancy/duplication,…
ACoder
  • 1
-1
votes
1 answer

set default value for all uninitialized variables

I have a legacy code where there are like a zillion uninitialized warning C4100: : unreferenced formal parameter or potentially uninitialized: warning C4701: potentially uninitialized local variable used variables, which can cause undefined…
Foad S. Farimani
  • 12,396
  • 15
  • 78
  • 193