Asst.Prof. Apinetr Unakul
“Transforming Thailand Electronics Design Industry Through Undergraduate Design Challenge Program”
1984- Test and measurement system developer
1994- Sports science system engineer
1995- Information Processing Society Japan Software-engineering group board member
2002- Founding UML robot contest for embedded software modeling education
2003- Founding MDD consortium
2004- Realtime OS NPO (TOPPERS) board
2004- Tokyo university Software engineer and manager education study NPO board
2004- Founding ESS robot challenge contest with professor Harumi Watanabe
2005- ET robot contest technical consultant
2006- IPA award (Developing C program coding guideline as group)
2007- Creating Magical spoons for high school education with professor Mizue Kayama
2008- METI IPA embedded software engineer carrier standardization committee in chief
2009- Professor of Professional Graduate School, Embedded Technology
2009- JIS standardization of UML modeling language
2011-Top level athletes enhancement program technical chief for speed skating
2018-Toyo corporation R&D fellow
“How to incubate embedded/IoT engineers with modeling methods”
Rapidly growing country has privilege to look at already grown country. Computer and software industry started in Europe and North America last century. Japan was fortunate enough to take such technology seed and succeeded to grow the strongly electronics flavored software industry in recent decades. Washing machine, shaver, TV, car, game, train, elevator, and so on were all morphed from mechatronics products to well programmed electronics products. Japan took big efforts in different segments to achieve this morphing. Lecturer will present how Japan formed education and business echo-system with collaboration of government, industry, and academic organizations as whole. Especially software engineering-oriented education was considered important.
Assoc. Prof. Tomoya Kitani, Ph.D.
Faculty of Informatics, Shizuoka University, Japan
Tomoya Kitani is an associate professor at Department of Informatics, Shizuoka University, Japan. He has received Ph.D. in Information Science and Technology, Osaka University, 2006. His research interests include computer networks, intelligent transport systems and navigation satellite systems. He is a member of IEEE, IEICE, IPSJ and JSAE (Society of Automotive Engineers of Japan). He is a committee of IPSJ SIG-ITS, JSAE Motorcycle division.
“Intelligent Transport Systems of Motorcycles with Coming Precise Positioning System”
Recently, many Intelligent Transport Systems (ITS) have been researched and developed for driving safety and smooth traffic. Motorcycles are popularly used in the world especially in Asia. There are few ITS for motorcycles because motorcycle is low priced and it has more complex vehicle motion and dynamics. In this talk, I will introduce my ITS project for motorcycles.
An advantage of the motorcycle as a mobile sensing node is its mobility in the road. A coming precise positioning method with GNSS provide accurate position so that the mobility can be utilized for many services. I will also introduce the coming positioning system. As launching new navigation satellites by China, EU, India and Japan, Southeast Asia is becoming the most favorable condition for GNSS positioning.
Prof. Dr. Kosin Chamnongthai
Electronic and Telecommunication Engineering, King Mongkut’s University of Technology Thonburi, Thailand
Kosin Chamnongthai currently works as professor at Electronic and Telecommunication Engineering Department, Faculty of Engineering, King Mongkut’s University of Technology Thonburi (KMUTT), and also serves as president-elect of ECTI Association (2016-2017). He served as editor of ECTI e-magazine during 2011-2015, associate editor of ECTI-CIT Trans during 2011-2016, associate editor of ECTI-EEC Trans during 2003-2010, associate editor of ELEX (IEICE Trans) during 2008-2010, and chairman of IEEE COMSOC Thailand during 2004-2007.
He has received B.Eng. in Applied Electronics from the University of Electro-communications, Tokyo, Japan in 1985, M.Eng. in Electrical Engineering from Nippon Institute of Technology, Saitama, Japan in 1987, and Ph.D. in Electrical Engineering from Keio University, Tokyo, Japan in 1991. His research interests include computer vision, image processing, robot vision, and signal processing. He is a senior member of IEEE, and a member of TRS, IEICE, TESA, ECTI, AIAT, APSIPA, and EEAAT.
“Thermal-Image-Based Categorization and Measurement; Case-Study on Vehicle Categorization and Food Calorie Measurement”
Thermal signal and thermal image recently become another important and interesting information comparing with conventional signals representing brightness, sound, distance, etc. In some conditions such as nighttime, it is almost impossible to get brightness information to process and categorize object types. As a case study, thermal signal is regarded to be able to apply for vehicle-type categorization at night time and dark areas, since vehicles generally gets heat from their engines, and their heat patterns can be categorized and recognized the vehicle types. Similarly, food that is normally cooked in the warm or even hot temperature level is regarded as possible to classify and recognize food types and their ingredients by using heat pattern. In this talk, research cases of nighttime vehicle-type categorization and food calorie measurement are explained and discussed in order to understand the trend of thermal signal applications.
National Institute of Informatics, Japan
Shin Nakajima is a Professor at National Institute of Informatics. He has worked in the area of theory and practice achieving required dependability of software-intensive systems including CPS and machine learning. He is particularly interested in formal methods, automated formal verification, and software testing.
“Formal Analysis of Causal Loop Diagrams”
Cyber-Physical Systems (CPS) are a new paradigm of software modeling, in which closed feedback loops are essential to capture system’s dynamic behavior. This view, in a sense orthogonal to object-oriented modeling, is applicable to a wide variety of control-intensive software systems from embedded systems design to business dynamics. Modeling at an abstract level requires some concrete notations, and Causal Loop Diagrams (CLD) are such diagrams. Their intuitive operational semantics describe how changes are propagated along loops, and provide a basis for checking properties by means of specification animation or manual inspection. This talk introduces a formal definition of dynamic behavior of CLD, which enables automated checking of CLD descriptions against required properties. Technically the definition employs a net-based formal system, a variant of Petri-nets, to represent true concurrency.