Concretization and Formalization of Requirements for Automotive Embedded Software Systems Development

Within Requirements Engineering it is a difficult task to systematically increase the quality of individual requirements and the whole specification. In this position paper we present our current research effort on a requirement engineering process for automotive software, which is an intermediate result of the mobilSoft project. In order to improve the requirements specification we propose the integration of conceptual dimensions of quality – namely concretization and formalization – into the Requirements Engineering Process (REP) and we illustrate how a process using these dimensions will guide and support achieving completeness of the specification.