Minimal embedded robustness requirements analysis
Matthew Jaffe · 2011 IEEE/AIAA 30th Digital Avionics Systems Conference · 2011
• There are a wide variety of analyses that can and should be performed on the information in a software requirements specification • Although there is obviously no limit to the complexity of environmental preconditions on inputs and their interaction with software outputs, some are so broadly applicable to almost any embedded system that their analysis should be routine • Annotations to the requirements specification can and should be made to highlight the need for such standard analyses not yet performed