A child’s toy is battery operated and has four large illuminated…

Question Answered step-by-step A child’s toy is battery operated and has four large illuminated… A child’s toy is battery operated and has four large illuminated push buttons, a number of smaller buttons and a loudspeaker that is used to play tunes. Production will be 50 000 units per month for at least six months. (a) Give a block diagram of the product, showing the principal partition decisions. Describe the function of each block, explaining why it exists and how it should be made. [6 marks] (b) You may (or may not) have used a microprocessor – explain why your design strategy is a good idea and discuss the alternative approach. [6 marks] (c) How would you test the product concept before production? [4 marks] (d) How would you test the product in production before shipping? [4 marks]  In a large-scale distributed system, what advantages might be gained by using role-based access control (RBAC)? [2 marks] A server which is an object manager implements RBAC by issuing principals with persistent capabilities which include the fields “role” and “object-name”. Describe how a signature field in the capability can be used to ensure its integrity. Define the protection the signature does and does not enforce. [6 marks] How can such a persistent capability be made principal-specific? To what extent does this improve protection? [4 marks] Discuss the desirability or otherwise of the persistence of capabilities and the use of persistent principal names. [4 marks] Discuss revocation for the capability schemes suggested above. [4 marksDescribe how Floyd-Hoare logic can be used to define the semantics of programming languages (axiomatic semantics). Give advantages and disadvantages of this approach. [5 marks] Describe the general idea of how program verification may be mechanised using verification conditions. Discuss what can be done completely automatically and what requires manual assistance. [5 marks] Describe the difference between deep and shallow semantic embeddings of one language in another and compare and contrast the benefits of each. What is the point of embedding Floyd-Hoare logic in higher order logic? [5 marks] Discuss possible commercial uses of formal software verification. How would you justify its use? [5 marks] 3 Digital Communication II What information does a host require to transmit an IP datagram to a given destination IP address? [3 marks] Describe how the host determines this information. How does this change in the presence of subnets? [3 marks] Routing protocols can be classified as either link-state or vector distance. (a) Briefly describe the operation of each of these schemes. [4 marks] (b) In which case does the overall state converge more rapidly after a change? Justify your answer. [2 marks] (c) Which scheme is more scalable? Justify your answer. [2 marks] Sketch a design for a transport protocol providing reliable data transmission over IP multicast. What are the main issues here? Which changes within the network could lead to a more efficient implementation?Image transcription text4. Consider the neural architectureshown below: b21 W 21 Z3 b12 Z 1 WILX 1 W 22 W 12 Z2 21 = W11… Show more… Show moreImage transcription textConsider a multilayer ‘feed forwardneural network model with three inputnodes, one hidden layer of… Show more… Show more  Engineering & Technology Computer Science COMPUTER S 101 Share QuestionEmailCopy link Comments (0)