सेवा के बारे में
अनुवादितमैं एक एडा और स्पार्क डेवलपर हूँ और ऐसे सॉफ़्टवेयर में विशेषज्ञता रखता हूँ जो असफल नहीं हो सकता। पिछले दस वर्षों से मैंने नियंत्रण लॉजिक, रेलवे इंटरलॉकिंग, और एम्बेडेड एवियोनिक्स लिखा है जहाँ एक एकल छिपा हुआ बग अस्वीकार्य है, इसलिए मेरे लिए सहीता कोई अंतिम जांच नहीं है बल्कि किसी भी डिज़ाइन विकल्प का प्रारंभिक बिंदु है। मैं विनियमित उद्योगों की अपेक्षाओं के अनुसार काम करता हूँ: पहले आवश्यकताएँ, फिर आर्किटेक्चर, फिर कोड जो स्पष्ट रूप से उन आवश्यकताओं को ट्रेस करता है, और समीक्षा और परीक्षण सामग्री सॉफ़्टवेयर के साथ-साथ बनाई जाती है, अंत में नहीं जोड़ी जाती।
मेरा प्राथमिक उपकरण स्पार्क है, जहाँ मैं औपचारिक प्रमाण लागू करता हूँ ताकि रनटाइम त्रुटियों की अनुपस्थिति की गारंटी दी जा सके और यह दिखाया जा सके कि प्रमुख कार्यात्मक अनुबंध हमेशा लागू होते हैं। हर किनारे के मामले को पकड़ने की उम्मीद करने के बजाय, मैं गुण साबित करता हूँ जैसे कोई ओवरफ्लो नहीं, कोई बफर ओवररन नहीं, शून्य से विभाजन नहीं, और अनियोजित डेटा का कोई पठन नहीं। इसके लिए मैं वास्तविक समय और बेयर मेटल के साथ आत्मविश्वास से हाथों का अनुभव जोड़ता हूँ: निर्धारक शेड्यूलिंग, सख्त मेमोरी और समय बजट, प्रमाणित रनटाइम के साथ एकीकरण। मैं मानकों DO-178C, EN 50128, और इसी तरह के अनुसार काम करता हूँ, और टीमों को पुराने C या प्रारंभिक एडा को एक प्रमाणित और बनाए रखने योग्य आधार पर लाने में मदद करता हूँ।
यदि आपके पास एक नियंत्रक, प्रोटोकॉल स्टैक, या उप-प्रणाली है जिसे पहली बार सही तरीके से करना है, तो मैं इसे डिज़ाइन करूंगा, प्रमाणित करूंगा, और आपके ऑडिटर को देखने के लिए दस्तावेज़ों के साथ इसे वितरित करूंगा। मैं मौजूदा एडा परियोजनाओं की समीक्षा और मजबूत भी करता हूँ, प्रमाण पाइपलाइनों और CI को सेट अप करता हूँ, और टीमों को उनके पहले स्पार्क अनुभव के माध्यम से कोच करता हूँ।
— आवश्यकताओं से प्रमाणित निर्माण तक एडा 2012/2022 और स्पार्क विकास
— औपचारिक सत्यापन: रनटाइम त्रुटियों की अनुपस्थिति, अनुबंध, अपरिवर्तनीय प्रमाण
— वास्तविक समय, बेयर मेटल, और RTOS के साथ कड़े समय और मेमोरी बजट
— सुरक्षा मानकों का समर्थन: DO-178C, EN 50128, IEC 61508 के लिए ट्रेसबिलिटी और साक्ष्य
— C और प्रारंभिक एडा से माइग्रेशन, स्थैतिक विश्लेषण, कोड समीक्षा, CI पाइपलाइनों, और प्रमाण
मेरा प्राथमिक उपकरण स्पार्क है, जहाँ मैं औपचारिक प्रमाण लागू करता हूँ ताकि रनटाइम त्रुटियों की अनुपस्थिति की गारंटी दी जा सके और यह दिखाया जा सके कि प्रमुख कार्यात्मक अनुबंध हमेशा लागू होते हैं। हर किनारे के मामले को पकड़ने की उम्मीद करने के बजाय, मैं गुण साबित करता हूँ जैसे कोई ओवरफ्लो नहीं, कोई बफर ओवररन नहीं, शून्य से विभाजन नहीं, और अनियोजित डेटा का कोई पठन नहीं। इसके लिए मैं वास्तविक समय और बेयर मेटल के साथ आत्मविश्वास से हाथों का अनुभव जोड़ता हूँ: निर्धारक शेड्यूलिंग, सख्त मेमोरी और समय बजट, प्रमाणित रनटाइम के साथ एकीकरण। मैं मानकों DO-178C, EN 50128, और इसी तरह के अनुसार काम करता हूँ, और टीमों को पुराने C या प्रारंभिक एडा को एक प्रमाणित और बनाए रखने योग्य आधार पर लाने में मदद करता हूँ।
यदि आपके पास एक नियंत्रक, प्रोटोकॉल स्टैक, या उप-प्रणाली है जिसे पहली बार सही तरीके से करना है, तो मैं इसे डिज़ाइन करूंगा, प्रमाणित करूंगा, और आपके ऑडिटर को देखने के लिए दस्तावेज़ों के साथ इसे वितरित करूंगा। मैं मौजूदा एडा परियोजनाओं की समीक्षा और मजबूत भी करता हूँ, प्रमाण पाइपलाइनों और CI को सेट अप करता हूँ, और टीमों को उनके पहले स्पार्क अनुभव के माध्यम से कोच करता हूँ।
— आवश्यकताओं से प्रमाणित निर्माण तक एडा 2012/2022 और स्पार्क विकास
— औपचारिक सत्यापन: रनटाइम त्रुटियों की अनुपस्थिति, अनुबंध, अपरिवर्तनीय प्रमाण
— वास्तविक समय, बेयर मेटल, और RTOS के साथ कड़े समय और मेमोरी बजट
— सुरक्षा मानकों का समर्थन: DO-178C, EN 50128, IEC 61508 के लिए ट्रेसबिलिटी और साक्ष्य
— C और प्रारंभिक एडा से माइग्रेशन, स्थैतिक विश्लेषण, कोड समीक्षा, CI पाइपलाइनों, और प्रमाण
