Modeling Automotive Software Requirements with Aspectual Models

Modeling software requirements is one of the grand challenges of ECU (Electronic control Unit) development. One of the main issues existing in this domain is how to organize the large amount of requirement information in a concise and manageable means to facilitate the further requirements verification and system design activities. To this end, we propose a requirement modeling framework, based on the philosophy of separation of concerns and the formal modeling techniques. The main advantages of our approach are of two folds: (1) Analyzers only need to concentrate on one aspect each time, thus the complexity of the requirements modeling is decreased, and accordingly the models’ understandability is enhanced, (2) The adoption of formal techniques allows us to simulate and verify the properties of the requirements in the early stage of development, therefore the quality of requirements can be improved.