2. A method according to claim 1 further comprising the steps: (e) providing ( 112 ) said formal description of said Bus Functional Model (BFM) in a computer readable form to a computer; (f) providing ( 114 ) templates for generation of BFM in particular target language to said computer; (g) generating ( 116 ) BFM source code in said target language by applying said formal description on said templates; wherein steps (b) to (d) are performed automatically in said computer.
2. A method according to claim 1 further comprising the steps: (e) providing ( 112 ) said formal description of said Bus Functional Model (BFM) in a computer readable form to a computer; (f) providing ( 114 ) templates for generation of BFM in particular target language to said computer; (g) generating ( 116 ) BFM source code in said target language by applying said formal description on said templates; wherein steps (b) to (d) are performed automatically in said computer. 3. A method according to claim 2 further comprising the step of debugging ( 118 ) said BFM source code.