Re: handle Fatal exception

On 1/9/20 4:39 am, Ярослав Лещинский wrote: > Can someone suggest what is a right way to program a watchdog in a > multithreading environment? For example, I have a watchdog which can reboot > the > system if a freeze flag is  detected. This flag is setted up in a general task > which is executed

Re: handle Fatal exception

Thanks, I'll take a look. And one more question, regarding watchdog, Can someone suggest what is a right way to program a watchdog in a multithreading environment? For example, I have a watchdog which can reboot the system if a freeze flag is detected. This flag is setted up in a general task

Re: handle Fatal exception

On 31/08/2020 19:06, Ярослав Лещинский wrote: sometimes I'm getting FATAL, like: *** FATAL *** fatal source: 9 (RTEMS_FATAL_SOURCE_EXCEPTION) is it possible to handle this exception, e.g. restart the whole system? Yes, some BSPs do this by default in their fatal error extension. You can

handle Fatal exception

Hello, sometimes I'm getting FATAL, like: *** FATAL *** fatal source: 9 (RTEMS_FATAL_SOURCE_EXCEPTION) is it possible to handle this exception, e.g. restart the whole system? -- -- Kind regards, Yaroslav Leshchinsky ___ users mailing list

Using model checking to do test generation for RTEMS

Dear all, I am involved the in the ESA sponsored project RTEMS-SMP, to add tools and data for software qualification. Our focus is on the use of formal techniques to assist in software verification. We have a developed a prototype for an approach that uses the SPIN model-checker