SPAC Lab, Stevens SSP Re-hosting System Development: Modeling of Matlab Programs - Array (vector/matrix) Ning Han, Hongbing Cheng, Jiadi Yu, Hongbin Li, Department of Electrical and Computer Engineering September 02,

SPAC Lab, Stevens Outlines 2 General modeling rule of array A matrix as an example Special definitions Element of an array Demo: Array define FIR filter Future work

SPAC Lab, Stevens General Modeling Rule of an Array 3 An array is a composite “Thing” An array contains multiple “Places”: elements, type, size The value of each element is a “Thing” interacting with each element “Place” (the action including “SET” and “GET”) The size and type information of the array are “Things” of the type and size “Places” [3,2,3] int a[10] This is a composite anonymous Thing containing 3 element Places; The first Place contains 3, The second Place contains 2, the third Place contains 3. ‘a’ is a composite Thing containing 10 element Places; Its type is int.

SPAC Lab, Stevens A Matrix as an Example 4 Multi-dimensional array Hierarchical property of the semantic model

SPAC Lab, Stevens Special Definitions 5 Several special vectors in Matlab [1:N] ones(N,1)zeros(N,1)

SPAC Lab, Stevens Element of an Array 6 One or several elements of an array may form a new “Thing”, e.g. y=a(1); a(1) is the “Thing” in the input “Place” c(1:4)=1:4; c(1:4) is the “Thing” in the output “Place” The “Thing” is obtained from the designated “Places” in the array and expressed by a(1) The thing is generated by getting the value of place ‘index number’ from thing ‘Array name’ c(1:4)

SPAC Lab, Stevens Demo 7

SPAC Lab, Stevens Demo 8 Matrix Expression a = [1,2,3;3,3,4] b = 3; c = a + b; D = a(1,2); FIR Filter

SPAC Lab, Stevens Future Work 9 Parsing the size information in XML expression Size and type inference from XML to C Array initialization in C (a = [1,2,3;2,3,4]) Multiple operators with different priorities (d = c + 2*(5-b))

SPAC Lab, Stevens Q&A 10 Thank You !