This paper proposes a formal model of IEC 61499 function blocks and systems. The model is intended to be used in description of formal semantic model of function blocks, execution. The paper outlines a number of challenges for function blocks that are supposed to be answered by the proposed model.