Requirement semi-formalization methodology for SoC design

Internet of Things represents a challenge in the automotive industry development, as it demands for innovation, integration, safety and security. These lead to highly sophisticated requirements set for the design process. The difficulty of managing natural language requirements may lead to inherent errors such as incompleteness, ambiguousness, etc. Adding formality to the requirements is recognized by the community to overcome these drawbacks. In this paper, we present a methodology for SoC design support by introducing semi-formalization to the requirements. The methodology allows the reuse by defining requirements patterns for the most frequently used components or mechanisms. The reuse of the requirement patterns drastically decreases the semi-formalization time and covers 60% of reusable components requirements. The methodology is applied on sophisticated automotive application: Airbag System.