Formell kravspecifikation Cooperative driving system GCDC 2011
Liliana Garcia Alonso · 2011
Nowadays, examples of embedded systems can be found everywhere; in our household appliances, cars and industries, to name the least. High demand for innovation and improvement of systems highlights the necessity of an effective engineering process that guarantees the correct implementation of new or upgraded systems. The aim of this master thesis was to identify the benefits that can be brought up to a project during the validation and testing phases as a result of the use of formal language representation during the requirement specification phase of the project. For such purpose, data collected during the engineering process of the Cooperative Driving System, a collaborative project between Scania CV AB and KTH for participating in the GCDC 2011 competition, was analyzed. The project was denominated SCOOP. A prospective study was carried out where a set of requirement of SCOOP were selected to be specified using formal language. The results were obtained from interactions with the team members of the project during the specification, test case definition and the first iteration of acceptance tests by analyzing the positive or negative results in the project. The examinations of the effects of using more formal language (semi-formal and formal languages), during the requirement specification stage, it resulted that a formal language improves the communication among project members, especially those formal language based on graphs such as UML, SysML and state machine, which facilitate the analysis, breaking down of the system and estimation of the change work estimation. Those formal languages facilitate the validation in terms of the completeness and correctness of the requirements, thus allowing earlier detection of errors and avoiding potential delays later on in the project. Formal languages also facilitate the implementation of simulation models that can provide an early feedback of the requirement specification.To conclude, the use of formal languages at an early stage of the engineering process, during the requirement specification, provides positive results for definition of test-cases and validation phases and for the requirements themselves. Future work can be focused on verifying if the use of simulations as complement to the formal requirement specification takes less time than defining an informal requirement along with the additional iterations needed in simulations to get the final implementation.