Requirement Validation for Embedded Systems in Automotive Industry Through Modeling

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 erroneo...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE access 2020, Vol.8, p.8697-8719
Hauptverfasser:	Iqbal, Danish, Abbas, Assad, Ali, Mazhar, Khan, Muhammad Usman Shahid, Nawaz, Raheel
Format:	Artikel
Sprache:	eng
Schlagworte:	Automobile industry automotive industry embedded system Embedded systems formal verification Modelling Petri nets Requirement engineering requirement modeling requirement validation Software Verification Virtual prototyping
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!