Extending EAST-ADL2 to Support Aspectual Requirement Specification and Analysis for Automotive Software

Nowadays, more than 80% of the innovations in a car come from the applications of computer systems. More and more vehicular physical components are controlled by ECUs (Electronic Control Unit), software development is becoming the core issue in the development of ECUs. Automotive software is safety-critical and thus requires very high dependability. Also, it has to be integrated within physical objects and reactive to changing environment, this makes the requirements analysis challenging. In this paper, we propose an approach to specifying and analyzing requirements of automotive software, which extends EAST-ADL2 with behavioral and communication mechanisms to specify different aspects of automotive software. In particular, we discuss how to consistently integrate these different notations together to form a complete specification, and discuss how to model and verify some very basic requirement properties with the help of support tool.