[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: Lua usage in safety-critical systems
- From: Rob Kendrick <rjek@...>
- Date: Wed, 8 Feb 2023 15:14:00 +0000
On Wed, Feb 08, 2023 at 04:08:11PM +0100, Enrico Colombini wrote:
> >Tricky, MISRA is a paid-for standard (although it's not expensive): my
> >reading of it has always forbidden any kind of dynamic memory
> >allocation, and this includes recursion.
>
> I never worked in MISRA-regulated fields, but I always wondered
> about the above.
The idea is that everything should be statically allocated so there is
no chance of heap overflow or out-of-memory conditions, or rather, that
the memory usage of the software can be statically-analysed and offered
as safety argumentation.
B.