Modelling of System Configuration and Reconfiguration for IMS
The operation of Discrete Event Systems is represented as a chronological sequence of events. Each event occurs at an instant in time and marks a change of state in the system. A system configuration (SC) of Discrete Event (DE) in linear model has been considered, a formal feature of closed loop structure. To prevent data from getting lost due to noise in the wireless channel, an error-coding scheme is applied. Turbo code is a powerful error coding technique employed nowadays in communication systems. In this paper the image is retained in the receiving end by proper design of the error coding scheme. The images obtained after decoding are found to be suitable for recognition and diagnosis by the doctors. This novel technology will enhance the health care in rural area where the opinion of a specialized doctor is not available. The analyses of system performances for the configured and reconfigured system are done for pre and post layout simulation as per the design methodology. The design methodology used in implementation of 180nm technology, the system instances power, instances and area of the reconfigured system are compared with the configured system. We also infer that the reconfigured system obtain better performance during the run time of the system.
KeywordsInteger Programming Discrete Event Institutional Management System System Configuration
Unable to display preview. Download preview PDF.
- 1.Giua, A., DiCesare, F., Silva, M.: Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: Proc. IEEE Int. Conf. Syst. Man, Cybern., pp. 974–979 (1992)Google Scholar
- 2.Lucas, M.R., Endsley, E.W., Tilbury, D.M.: Coordinated logic control for reconfigurable machine tools. In: Proc. Amer. Control Conf., pp. 2107–2113 (1999)Google Scholar
- 3.Badouel, E., Oliver, J.: Reconfigurable nets: A class of high level Petri nets supporting dynamic changes within workflow systems. INRIA Research, Tech. Rep. PI-1163 (1998)Google Scholar
- 4.Vyatkin, V., Hanisch, H.-M.: Formal modeling and verification in the software engineering framework of IEC61499: A way to self verifying systems. In: Proc. IEEE Symp. Emerging Technol. Factory Autom., pp. 113–118 (2001)Google Scholar
- 6.Murata, T.: Petri nets: Properties, analysis and applications. Proc. IEEE, 541–580 (1989)Google Scholar
- 8.Cai, X., Vyatkin, V., Hanisch, H.-M.: Design and implementation of a prototype control system according to IEC 61499. In: Proc. IEEE Conf. Emerging Technol. Factory Autom., pp. 269–276 (2003)Google Scholar
- 9.Boucher, T.O.: Computer Automation in Manufacturing: An Introduction. Chapman & Hall, London (1996)Google Scholar
- 13.Zhou, M., DiCesare, F., Desrochers, A.A.: A top-down approach to systematic synthesis of Petri net models for manufacturing systems. In: Proc. IEEE Int. Conf. Robot. Autom., pp. 534–539 (1989)Google Scholar