برمجيات طيران يجب أن تكون صحيحة من المرة الأولى.

الطيران يقوم على الثقة، والثقة تُهندَس.

في الجو وعلى الأرض، تُقاس تكلفة الخلل بأكثر من المال. يجب أن تكون البرمجيات قابلة للتتبع، وقابلة للتحقق، وصامدة بحكم التصميم.

* يعكس منهجيتنا في العمل الحرج للسلامة والحرج للمهام في مجال الطيران.

1. 1

   التأطير والتتبع

   توثيق المتطلبات مع قابلية التتبع من البداية، بحيث يرتبط كل سطر رجوعاً بنية وتقدماً باختبار.

2. 2

   التصميم للضمان

   بناء المعمارية للسلامة والأمن والصمود، مع تحديد استراتيجية التحقق قبل كتابة أي شيفرة.

3. 3

   التحقق بلا هوادة

   اختبار منظم ومراجعات وتوثيق للأدلة، بحيث يفعل النظام ما يقوله التصميم ويمكنك إثباته.

4. 4

   الاستدامة والتطوير

   تحديثات موقّعة ومراقبة وخط أساس موثّق، بحيث يبقى النظام صالحاً للطيران طوال دورة حياته.

1. 1

   التأطير والتتبع

   توثيق المتطلبات مع قابلية التتبع من البداية، بحيث يرتبط كل سطر رجوعاً بنية وتقدماً باختبار.

2. 2

   التصميم للضمان

   بناء المعمارية للسلامة والأمن والصمود، مع تحديد استراتيجية التحقق قبل كتابة أي شيفرة.

3. 3

   التحقق بلا هوادة

   اختبار منظم ومراجعات وتوثيق للأدلة، بحيث يفعل النظام ما يقوله التصميم ويمكنك إثباته.

4. 4

   الاستدامة والتطوير

   تحديثات موقّعة ومراقبة وخط أساس موثّق، بحيث يبقى النظام صالحاً للطيران طوال دورة حياته.