![]() ![]() ![]() (a) Use an extended state machine to create an implementation of this actor. If instead a second true input occurs within N ticks of the first, then the actor should output a true on doubleclick. When a true input at click is followed by N absents, the actor should produce output true on singleclick, where N is a parameter of the actor. Specifically, the actor should have an input port named click, and two output ports, singleclick and doubleclick. Exercise 1 of Chapter 5 asks for a model that recognizes the difference between single and double mouse clicks. Solution: Lee & Seshia, Introduction to Embedded Systems, Solutions 53ģ 6. (c) Show the composition machine, assuming that the composition has no input and that the only output is y. Solution: The output sequence for the first 10 reactions is (2,3,1,2,3,1,2,3,1,2). (b) If it is well-formed and constructive, then find the output symbols for the first 10 reactions. Consider the following state machine in a synchronous feedback composition: (a) Is it well-formed? Is it constructive? Solution: Yes, it is well formed and constructive because in each state, even if the input is unknown, the output can be determined. Lee & Seshia, Introduction to Embedded Systems, Solutions 45Ģ 6. Which states of the composition are unreachable? Solution: All states are reachable. Consider the following synchronous composition of two state machines A and B: Construct a single state machine C representing the composition. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. Archives
January 2023
Categories |