Requirements for the Description of Component Assembling
Abstract
This document is the deliverable L2-2.0 of the Tacos project. It details requirements on transportation systems and how they can be described and analysed in terms of component based approaches. The deliverable is divided into three parts including nine chapters. In the first part, we specify requirements and various contracts of components. The second part treats their specification in formalisms and models of components like Fractal, B+CSP, and I/O automata. Finally we illustrate our contributions by three case studies about the CyCab vehicle, the platooning and the localisation component.