Formal Development and Statistical Analysis for Software in Larger Trusted Embedded Systems

Jonathan Lockhart,Carla Purdy

Formal Development and Statistical Analysis for Software in Larger Trusted Embedded Systems

2019

Jonathan Lockhart
Carla Purdy

Adding software can overcome limitations of hardware-only embedded systems. Here we expand previous results on reliability benchmarks for trusted embedded software to larger, more complex systems.

Keywords:

Embedded software
statistical analysis
Software
Embedded system
Complex system
formal development
Engineering

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations