सुरक्षा-गंभीर, एम्बेडेड सिस्टम में सॉफ़्टवेयर आवश्यकताओं की त्रुटियों का विश्लेषण | Synapse