The state identification problem for Finite State Machines (FSM)
Nina Yevtushenko received her PhD diploma in Computer Science from Saratov State University. From 2017 she joined Ivannikov Instutute for System Programming of RAS in Moscow as a leading researcher. She published five books and many research papers. Her research interests include formal methods, automata theory, distributed systems, protocol and software testing.
Abstract. The state identification problem for Finite State Machines (FSM) has a long history. State identification sequences such as distinguishing, homing and synchronizing sequences allow to identify an initial state or a final (current) of a discrete event system under investigation and are widely used for testing and verification of hardware and software systems. The knowledge of state identification sequences allows to set a system of interest into the known state or to determine such a state by observing external system responses; the latter permits to minimize testing efforts in both active and passive testing (monitoring). Nowadays, the state identification problem is efficiently studied for timed and hybrid systems. Respectively, classical FSMs have been extended with clock and continuous variables and methods for checking the existence and derivation of state identification sequences have been proposed for such systems.
In this presentation, we consider the problem of distinguishing and homing sequences in the classical FSM theory and present the existing results for various FSM classes such as non-deterministic, partial, weakly-initialized FSMs. In the second part of our presentation, the existing methods for solving the state identification problem for timed FSMs and input/output automata are presented.
Prof. Lajos Hanzo
ON THE ROAD FROM CLASSICAL TO QUANTUM COMMUNICATIONS...
Lajos Hanzo FREng, FIEEE, FIET, RS Wolfson Fellow, received his 5-year Master degree in electronics from the Technical University of Budapest in 1976, his doctorate in 1983 and his Doctor of Sciences (DSc) degree in 2004. During his career in telecommunications he has held various research and academic posts in Hungary, Germany and the UK. Since 1986 he has been with the School of ECS, University of Southampton, UK, where he holds the Chair in Telecommunications. His current research interests are featured at (http://www-mobile.ecs.soton.ac.uk)
The marriage of ever-more sophisticated signal processing and wireless communications has led to compelling ’telepresence’ solutions - at the touch of a dialling key...
However, the ’quantum’ leaps both in digital signal processing theory and in its nano-scale based implementation is set to depart from classical physics obeying the well-understood laws revealed by science. We embark on a journey into the weird & wonderful world of quantum-physics, where the traveller has to obey the sometimes strange new rules of the quantum-world.
Hence we ask the judicious question: can the marriage of applied signal processing and communications extented beyond the classical world into the quantum world?
Please join this exciting journey valued Colleague!
Prof. Vazgen Sh. Melikyan
FinFET Integrated Circuits: Thermal Issues
Vazgen Sh. Melikyan, Professor, Corresponding Member of National Academy of Science of Armenia, Doctor of Technical Sciences, Honorable Scientist of Armenia, Director of Educational Department of Synopsys Armenia CJSC, Head of “Microelectronic Circuits and Systems” (MCS) Chair of National Polytechnic University of Armenia (NPUA).
Born in 1956. He has received diploma in Computer Science in Yerevan Polytechnic Institute in 1978 graduating from Cybernetics Department. He received his PhD degree in Moscow Engineering-Physics Institute in 1984, was conferred Academic rank of Associate Professor in Computer Science Supreme Certification Board in Moscow, 1985. He was granted the degree of Doctor of Technical Sciences in SEUA, Yerevan, 2006 and Academic rank of Professor in Technical Sciences in SEUA, Yerevan, 2006. In 2010 he was selected as an Academician of Engineering Academy of RA. In 2014 he was selected as a Corresponding Member of National Academy of Sciences of RA. He has been the head of various international projects. On September 18, 2007 by decree of RA President he has been conferred the title of Honorable Scientist of the Republic of Armenia. On April 10, 2010 by decree of RA President he has been conferred “President of the Republic Prize” in “Technical Sciences and Information Technologies” area. He has received gold medal from National Polytechnic University of Armenia, Yerevan State University, Russian-Armenian Slavonic State University and European University. He is an Honorable Professor of Moscow Institute of Electronic Technology (Russia), Xidian University (China), European University, etc. He is the author of 12 monographs, more than 300 scientific and 135 methodical publications, had more than 150 reports in international conferences. 65 PhD dissertations have been realized and successfully defended under his supervision.
Abstract: It is known that in the result of transistor scaling, a number of challenges have occurred in case of MOS transistors: the electrostatic field no longer planar, worsened channel modulation effect, threshold-voltage shift, increased leakage current, etc. That’s why, starting with 14nm and smaller technology nodes, FinFET technology has been used. However in this case a series of difficulties arise, too: fin formation, variation, Vth tuning, etc. Thermal issues are especially important among those issues. In particular, as a result of thermal issues, such problems are more emphasized like the change of all parameters of a transistor in the result of self-heating, and aging as a consequence.
The report is devoted to the solutions of those issues. In particular, different compact models of transistors are observed which take thermal effects into account, different design flows, etc.
Automated Synthesis of Vulnerable Architectures
Paolo PRINETTO – Full professor of Computer Engineering at the Dip. di Automatica e Informatica of Politecnico di Torino (Turin, Italy). His research interests include: Hardware Security & Trust, Digital Systems Design & Test, System Dependability, Emerging Memories, Reconfigurable System Design. He is serving as Director of the Cybersecurity National Laboratory. From 2010 to 2014 he served as appointed member of the Scientific Committee of the French “Centre National de la Recherche Scientifique” (C.N.R.S.) and from 2000 to 2003 as elected chair of the IEEE - Computer Society TTTC: Test Technology Technical Council. He is a golden core member of the IEEE Computer Society. His work was followed with more than 150 publications on high quality international conference and journals.
Abstract:Training in hardware security more and more exploits gamification as a key asset to attract and increase students’ attention. Typical gaming-based approaches include Capture-the-Flag (CtF) challenges. As the number of required hardware-based challenges increases, the task of preparing new stimulating scenarios becomes harder and harder. To make it easier, the availability of tools and environments capable of easily synthesizing new challenges is needed.
Dr. Yervant Zorian
Lifecycle Challenges and Opportunities of Mission Critical SOCs
Dr. Yervant Zorian is a Chief Architect and Fellow at Synopsys, as well as President of Synopsys Armenia. Formerly, he was Vice President and Chief Scientist of Virage Logic, Chief Technologist at LogicVision, and a Distinguished Member of Technical Staff AT&T Bell Laboratories. He is currently the President of IEEE Test Technology Technical Council (TTTC), the founder and chair of the IEEE 1500 Standardization Working Group, the Editor-in-Chief Emeritus of the IEEE Design and Test of Computers and an Adjunct Professor at University of British Columbia. He served on the Board of Governors of Computer Society and CEDA, was the Vice President of IEEE Computer Society, and the General Chair of the 50th Design Automation Conference (DAC) and several other symposia and workshops.
Dr. Zorian holds 35 US patents, has authored four books, published over 350 refereed papers and received numerous best paper awards. A Fellow of the IEEE since 1999, Dr. Zorian was the 2005 recipient of the prestigious Industrial Pioneer Award for his contribution to BIST, and the 2006 recipient of the IEEE Hans Karlsson Award for diplomacy. He received the IEEE Distinguished Services Award for leading the TTTC, the IEEE Meritorious Award for outstanding contributions to EDA, and in 2014, the Republic of Armenia's National Medal of Science.
He received an MS degree in Computer Engineering from University of Southern California, a PhD in Electrical Engineering from McGill University, and an MBA from Wharton School of Business, University of Pennsylvania.