Talks and Poster Presentations (with Proceedings-Entry):
L. Musat, S. Kandl, P. Puschner, M. Hübl, A. Buzo, G. Pelz:
"Requirement Semi-formalization Methodology for SoC Design (Best Paper Award)";
Talk: 12th International SoC Design Conference (ISOCC 2015),
Gyeongju, South Korea;
- 2015-11-05; in: "Proceedings of the 12th International SoC Design Conference (IEEE)",
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.
AMS, reuse, semi-formal, SysML
Created from the Publication Database of the Vienna University of Technology.