Charles Janac, Arteris S.A. -- Paris, France Abstract ... the data being manipulated must be inspected against both the state of the major hardware components and the flow of the software on the ...