Prof. Dr. Sergei Gorlatch, University of Muenster, Germany
Sergei Gorlatch is Full Professor of Computer Science at the University of Muenster (Germany) since 2003. Earlier he was Associate Professor at the Technical University of Berlin, Assistant Professor at the University of Passau, and Humboldt Research Fellow at the Technical University of Munich, all in Germany. Prof. Gorlatch has more than 200 peer-reviewed publications in renowned international books, journals and conferences. He was principal investigator in several international research and development projects in the field of software for parallel, distributed, Grid and Cloud systems and networking, funded by the European Community and by German national bodies
Speech Title: Distributed Applications Based on Mobile Cloud and Software-Defined Networks
Abstract: We consider an emerging class of challenging software applications called Real-Time Online Interactive Applications (ROIA). ROIA are networked applications connecting a potentially very high number of users who interact with the application and with each other in real time, i.e., a response to a user’s action happens virtually immediately. Typical representatives of ROIA are multiplayer online computer games, advanced simulation-based e-learning and serious gaming. All these applications are characterized by high performance and QoS requirements, such as: short response times to user inputs (about 0.1-1.5 s); frequent state updates (up to 100 Hz); large and frequently changing numbers of users in a single application instance (up to tens of thousands simultaneous users). This talk will address two challenging aspects of software for future Internet-based ROIA applications: a) using Mobile Cloud Computing for allowing high application performance when a ROIA application is accessed from multiple mobile devices, and b) managing dynamic QoS requirements of ROIA applications by employing the emerging technology of Software-Defined Networking (SDN).
Prof. Masahiro Fujita, The University of Tokyo, Japan
Masahiro Fujita received his Ph.D. in Information Engineering from the University of Tokyo in 1985 on his work on model checking of hardware designs by using logic programming languages. In 1985, he joined Fujitsu as a researcher and started to work on hardware automatic synthesis as well as formal verification methods and tools, including enhancements of BDD/SATbased techniques. From 1993 to 2000, he was director at Fujitsu Laboratories of America and headed a hardware formal verification group developing a formal verifier for real-life designs having more than several million gates. The developed tool has been used in production internally at Fujitsu and externally as well. Since March 2000, he has been a professor at VLSI Design and Education Center of the University of Tokyo. He has done innovative work in the areas of hardware verification, synthesis, testing, and software verification-mostly targeting embedded software and web-based programs. He has been involved in a Japanese governmental research project for dependable system designs and has developed a formal verifier for C programs that could be used for both hardware and embedded software designs. The tool is now under evaluation jointly with industry under governmental support. He has authored and co-authored 10 books, and has more than 200 publications. He has been involved as program and steering committee member in many prestigious conferences on CAD, VLSI designs, software engineering, and more. His current research interests include synthesis and verification in SoC (System on Chip), hardware/software co-designs targeting embedded systems, digital/analog co-designs, and formal analysis, verification, and synthesis of web-based programs and embedded programs.
Prof. Dr. Kamal Zuhairi Zamli, Universiti Malaysia Pahang, Malaysia
DEAN OF THE FACULTY OF COMPUTER SYSTEMS & SOFTWARE ENGINEERING (FSKKP)
Kamal Z. Zamli is the professor in the Faculty of Computing, Universiti Malaysia Pahang. His research interests are Search based Software Engineering, Combinatorial t-way Testing, Computational Intelligence and Artificial Intelligence.
Speech Title: Combinatorial Approach to Constrained Interaction Testing
Abstract: Our continuous dependencies on IoT applications can raise dependability issues. With the increase in demand for functionalities and constraints, more and more unwanted interactions amongst software systems, hardware components, and operating systems are to be expected, rendering increased possibility of faults. While traditional static and dynamic testing strategies (e.g. boundary value analysis, cause and effect analysis and equivalent partitioning) are useful for fault detection and prevention, they may not be sufficient to tackle bugs due to interaction.
This talk will discuss the sampling method based on the applications of covering arrays, termed Constraint Combinatorial Interaction Testing (CIT) applicable to support IoT testing. Additionally, this talk highlights the current progress in the area particularly in terms suitable strategies and algorithms to deal with combinatorial explosion problems when dealing with large connecting IoT devices.