Continuous Verification of Automotive Software

Abstract: As a result of the increased complexity of today’s automotive systems a model-based methodology called MoVES have been introduced for the development and architectural exploration of these systems. In this thesis to further decrease development time we propose to introduce a CI/CD pipeline to the MoVES methodology to automate already existing analyzing tools, such as Rubus ICE and a trace-based timing analysis tool. With the use of the engineering methodology we conduct the research and development in an iterative manner. Through these iterations we suggest several improvements over a traditional CI/CD pipeline such as jobs executing in parallel and the creation of a distributed pipeline where each job act as a node in the system. First we discuss the general design of the pipeline and then go on to implement it with GitHub Actions. We then go on to validate our pipeline by conducting a use case of the brake-by-wire and wiper-by-wire functionality. Finally we discuss the research challenges and future work for the improvement of the pipeline.