La validation des exigences contribue de manière significative à la réussite des projets logiciels. La validation des exigences est également essentielle pour assurer l'exactitude des systèmes embarqués dans l'industrie automobile. L'industrie automobile met beaucoup l'accent sur la vérification des conceptions et des formes de voitures. Des exigences invalides ou erronées conduisent à des conceptions inappropriées et à une dégradation de la qualité du produit. Compte tenu de l'expertise requise et du temps nécessaire à la validation des exigences, une attention significative n'est pas consacrée à la vérification et à la validation des exigences dans l'industrie. Actuellement, le taux d'échec des projets logiciels est nettement plus élevé et la principale raison semble être les exigences inappropriées et invalidées aux premiers stades des projets. À cette fin, nous proposons une approche basée sur un modèle qui utilise le modèle V&V existant. Grâce au prototypage virtuel, l'approche proposée élimine le besoin de valider les exigences après chaque étape du projet. Par conséquent, le modèle est validé après la phase de conception et les erreurs dans les exigences sont détectées au plus tôt. Dans cette recherche, nous avons réalisé deux études de cas différentes pour la validation des exigences dans l'industrie automobile en utilisant une approche basée sur la modélisation et une technique formelle utilisant des réseaux de Petri. Un avantage de l'approche basée sur la modélisation proposée est que les projets dans le domaine de l'industrie automobile peuvent être achevés en moins de temps grâce à une validation efficace des exigences. De plus, l'approche basée sur la modélisation minimise le temps de développement, les coûts et augmente la productivité car la majorité du code est générée automatiquement à l'aide de l'approche.

La validación de requisitos contribuye significativamente al éxito de los proyectos de software. La validación de los requisitos también es esencial para garantizar la corrección de los sistemas integrados en la industria automotriz. La industria automotriz enfatiza mucho en la verificación de diseños y formas de automóviles. Los requisitos no válidos o erróneos conducen a diseños inapropiados y a la degradación de la calidad del producto. Teniendo en cuenta la experiencia y el tiempo necesarios para la validación de los requisitos, no se dedica una atención significativa a la verificación y validación de los requisitos en la industria. Actualmente, la tasa de fracaso de los proyectos de software es significativamente mayor y la razón clave para ello parece ser los requisitos inapropiados e invalidados en las primeras etapas de los proyectos. Para ello, proponemos un enfoque basado en modelos que utiliza el modelo V&V existente. A través de la creación de prototipos virtuales, el enfoque propuesto elimina la necesidad de validar los requisitos después de cada etapa del proyecto. En consecuencia, el modelo se valida después de la fase de diseño y los errores en los requisitos se detectan en la etapa más temprana. En esta investigación, realizamos dos estudios de casos diferentes para la validación de requisitos en la industria automotriz mediante el uso de un enfoque basado en modelos y una técnica formal que utiliza redes de Petri. Un beneficio del enfoque basado en modelos propuesto es que los proyectos en el dominio de la industria automotriz se pueden completar en menos tiempo debido a la validación efectiva de los requisitos. Además, el enfoque basado en modelos minimiza el tiempo de desarrollo, el coste y aumenta la productividad porque la mayoría del código se genera automáticamente utilizando el enfoque.

Requirement validation contributes significantly toward the success of software projects. Validating requirements is also essential to ensure the correctness of embedded systems in the auto industry. The auto industry emphasizes a lot on the verification of car designs and shapes. Invalid or erroneous requirements lead to inappropriate designs and degraded product quality. Considering the required expertise and time for requirement validation, significant attention is not devoted to verification and validation of requirements in the industry. Currently, the failure ratio of software projects is significantly higher and the key reason for that appears to be the inappropriate and invalidated requirements at the early stages in the projects. To that end, we propose a model-based approach that uses the existing V&V model. Through virtual prototyping, the proposed approach eliminates the need to validate the requirements after each stage of the project. Consequently, the model is validated after the design phase and the errors in requirements are detected at the earliest stage. In this research, we performed two different case studies for requirement validation in the auto industry by using a modeling-based approach and formal technique using Petri nets. A benefit of the proposed modeling-based approach is that the projects in the auto industry domain can be completed in less time due to effective requirements validation. Moreover, the modeling-based approach minimizes the development time, cost and increases productivity because the majority of the code is automatically generated using the approach.

يساهم التحقق من صحة المتطلبات بشكل كبير في نجاح مشاريع البرمجيات. يعد التحقق من صحة المتطلبات أمرًا ضروريًا أيضًا لضمان صحة الأنظمة المدمجة في صناعة السيارات. تركز صناعة السيارات كثيرًا على التحقق من تصاميم السيارات وأشكالها. تؤدي المتطلبات غير الصحيحة أو الخاطئة إلى تصميمات غير مناسبة وتدهور جودة المنتج. بالنظر إلى الخبرة المطلوبة والوقت اللازم للتحقق من المتطلبات، لا يتم تكريس اهتمام كبير للتحقق من المتطلبات في الصناعة والتحقق منها. في الوقت الحالي، نسبة فشل مشاريع البرمجيات أعلى بكثير ويبدو أن السبب الرئيسي لذلك هو المتطلبات غير المناسبة والباطلة في المراحل المبكرة من المشاريع. ولتحقيق هذه الغاية، نقترح نهجًا قائمًا على النموذج يستخدم نموذج V&V الحالي. من خلال النماذج الأولية الافتراضية، يلغي النهج المقترح الحاجة إلى التحقق من صحة المتطلبات بعد كل مرحلة من مراحل المشروع. وبالتالي، يتم التحقق من صحة النموذج بعد مرحلة التصميم ويتم الكشف عن الأخطاء في المتطلبات في المرحلة المبكرة. في هذا البحث، أجرينا دراستي حالة مختلفتين للتحقق من المتطلبات في صناعة السيارات باستخدام نهج قائم على النمذجة وتقنية رسمية باستخدام شبكات بتري. تتمثل إحدى فوائد النهج المقترح القائم على النمذجة في إمكانية إكمال المشاريع في مجال صناعة السيارات في وقت أقل بسبب التحقق الفعال من صحة المتطلبات. علاوة على ذلك، يقلل النهج القائم على النمذجة من وقت التطوير والتكلفة ويزيد الإنتاجية لأن غالبية التعليمات البرمجية يتم إنشاؤها تلقائيًا باستخدام النهج.