Title :
Minimal embedded robustness requirements analysis
Author_Institution :
Embry-Riddle Aeronautical University
Abstract :
• 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
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2011 IEEE/AIAA 30th
Conference_Location :
Seattle, WA, USA
Print_ISBN :
978-1-61284-797-9
DOI :
10.1109/DASC.2011.6096290