An example of Requirements Engineering in a Model-based Methodology for Embedded Automotive Software

摘要

This paper discusses the requirements engineering in a model-based methodology for embedded automotive software. The methodology relies on two standard languages: EAST-ADL for automotive architecture description and SysML for systems modeling. The requirements engineering in the methodology describes phases of elieitation, modeling, traceability. verification and validation. It is illustrated by applying on a case study the knock controller - a part of the engine management system.