Abstract: This paper studies the safety issues of the synchronous composition of Finite State Machines (FSMs). Synchronous FSM composition is widely used when designing and analyzing various aspects in hardware implementation including so-called Trojan subcircuits. When an external input sequence is applied and component FSMs cannot agree on matched internal actions or there are different matching options, the sequence can destruct or block a corresponding device and thus, should be clearly avoided. In this paper, we propose a formal approach for analyzing which external input sequence can induce such situations (if any) and then to derive a finite automaton that represents the set of all possible safe external input sequences

• Publication Date: 11-Dec-2015
• DOI: 10.15224/978-1-63248-077-4-97
• Views: 0
• Downloads: 0

Abstract: The implications of the Internet of Things (IoT) regarding business can be observed under multiple perspectives. Some of these perspectives involve the development of new products, innovation, inter-firm collaboration or competition. However, in this research, the problem is analysed from the perspective of the IoT ecosystems in the connected home, which tries to identify the element structure in order to maximize the information value creation for the white goods sector. This document explores the evolution of the Internet of Things in the home with a business focus point in terms of information value. This is based on an extensive review of literature while analysing the phenomena incidence of industry and organizations. Likewise the challenges and opportunities that the household appliance companies represent are visualized, the business model framework is used in order to contextualize the problem, find a knowledge gap and integrate the stakeholders conceptions about the Internet o

• Publication Date: 11-Dec-2015
• DOI: 10.15224/978-1-63248-077-4-98
• Views: 0
• Downloads: 0