The usage of computer networks has increased enormously recently due to many benefits; it facilitates data distribution speed, long distance communication and industrial system control. Due to these reasons, industry systems have started to use computer networks for system control and data transmission. Meanwhile, the limitations of network devices also raise many challenges for network system configuration. To have the best optimized network system, we need to study the network system by performing experiments. However, experiments on the real systems could be expensive and dangerous. Therefore, we need a model to represent the behaviours of the system. This thesis work uses object-oriented acasual modelling language Modelica to model a local area network system, and the development is performed in OpenModelica, an open source Modelica-based modelling and simulation environment. The simulation results are analysed and verified by using a separate requirement verification model.

The main objective of this thesis is to introduce a four perspectives structure in order to provide one solution for traceability and dependability in the system design phase. The traceability between different perspectives help engineers have a clear picture of the whole system before goes to the real implementation.  Fuel Level Display system from Scania Truck is used to undertake as a case study to offer insights of the approach. A four perspectives structure is made in the first place in order to analysis traceability between different viewpoints. After implementing the Fuel Level Display system in Modelica, a verification scenario is specified to perform a complete requirement verification process for system design against requirements.