मंजु नंदा डॉ

सुरक्षा क्रांतिक सिस्टम के अभिकल्प, विकास एवं प्रमाणीकरण के क्षेत्र में आपका 21 वर्ष का अनुभव है। आपने पहले के 5 वर्ष के सेवाकाल में चिकित्सा डोमेन में कार्य किया है और पिछले 16+ सालों से वांतरिक्ष डोमेन में काम कर रही हैं।

इन क्षेत्रों में आपका अनुभव अपार और उल्लेखनीय है: सॉफ्टवेयर इंजीनियरिंग प्रोसेस जैसे तकनीकें-विधियाँ; मॉडल-आधारित अभिकल्प एवं विकास; सत्यापन और वैधीकरण प्रोसेस; एम्बेडेड सिस्टम का अभिकल्प, विकास एवं प्रमाणीकरण; औपचारिक विधियाँ (संरक्षा एवं सुरक्षा अनुप्रयोगों केलिए); सॉफ्टवेयर सुरक्षा निर्धारण; RTCA DO-178B/178C के अनुरूप सॉफ्टवेयर का प्रमाणीकरण; कम्पाइलर का वैधीकरण; औज़ार अर्हता; RTCA DO-254 के अनुसार क्रांतिक इलेक्ट्रॉनिकी हार्डवेयर का सत्यापन एवं वैधीकरण।

RTCA DO-178B के अनुरूप सॉफ्टवेयर विकास लाइफ-साइकिल (SDLC) प्रोसेस के संस्थापन में परामर्श दिया जा रहा है। इस परामर्श के अधीन शामिल हैं: फेज-परिवर्तन के मापदंडों का निर्धारण; संगठनात्मक मानकों के अनुरूप प्रलेख टेम्पलेटों का विकास; सुरक्षा एवं कार्यात्मक नियमों के अनुसार प्रलेखों की समीक्षा; औज़ार अर्हता हेतु वर्क-फ्लो का निर्माण; कम्पाइलर वैधीकरण; तथा ऑब्जेक्ट कोड सत्यापन।

डिवाइस ड्राईवरों, RTOS, और OpenGL लाइब्ररी का सत्यापन और वैधीकरण का परामर्श।

एकीकृत विषमांग औजारों केलिए एक घरेलू फ्रेमवर्क का विकास किया गया; प्रभावी SDLC की संस्थापन तकनीकों का किया गया; और सॉफ्टवेयर की गुणवत्ता में सुधार लाने हेतु सॉफ्टवेयर और प्रोसेस मैट्रिक्स का विकास किया गया।

सॉफ्टवेयर सुरक्षा निर्धारण, औपचारिक विधियाँ; और भावी गंभीर वांतरिक्ष चुनौतियों के समाधान सुझाने की दिशा में डाटा वैश्लेषिकी आपके वर्त्तमान क्षेत्र हैं।