Keynote Speakers of ICSCA 2019
Prof. Luigi Benedicenti, Software Systems Engineering, University of Regina, Canada
Biography: Dr. Luigi Benedicenti received his Laurea in
Electrical Engineering and Ph.D. in Electrical and Computer
Engineering from the University of Genoa, Italy. A full professor in
the Faculty of Engineering and Applied Science, Benedicenti has
served as Associate Dean in charge of Special Projects and as
Associate Vice-President (Academic). He is a Professional Engineer
licensed in Saskatchewan and a licensed Italian Engineer. He created
the Software Systems Engineering Program at the University of Regina
and became its founding Program Chair. He led the accreditation
process for the new program and was subsequently entrusted with the
supervision of data collection and computation for all Engineering
Benedicenti has more than 120 international peer-reviewed publications and has supervised more than 50 graduate students. He is familiar with the Tri-council grant system, the European Union system and the United States National Science Foundation system, having participated in the process as an applicant, a mentor and a reviewer.
Benedicenti’s current research is in three areas: Software Agents, Software Metrics, and New Media Technology. Research in Software Agents involves the characterization of software agents and the best applications for the agent model. Research in Software Metrics aims at characterizing agile development methods with a corresponding lightweight metrics program. Research in New Media Technology is directed towards enhancing the understanding of digital communications. A supporter of interdisciplinary work, Benedicenti has developed and supported numerous academic partnerships within the University and with international partners. Benedicenti believes in collaborative environments, clear responsibilities and a strong motivation for success.
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. Eugene Malakhov, Odessa I. Mechnikov National University, Ukraine
Eugene (Yevgenii) Malakhov received a qualification "System engineer" in Computer Science & Systems Engineering from Odessa Polytechnic Institute (now Odessa National Polytechnic University – ONPU), USSR, in 1989. In 1993 he received a PhD in Computer Systems and Networks from National Technic University "Kiev Polytechnic Institute", Ukraine, and next a ScD degree in Information Technologies from National Technic University "Kharkov Polytechnic Institute", Ukraine. In 2000-2012 he was a Full Professor, Head of Department of Economic Cybernetics and Information Technologies at ONPU. From 2013 up to the present time he is a Full Professor, Head of Department of Mathematical Support of Computer Systems at Odessa "I.I. Mechnikov" National University, Ukraine. Prof. Eugene Malakhov participated and supervised the multiple national scientific and industrial projects devoted to the design and development of information systems (IS) based on databases and data warehouses, modelling and metamodeling the IS subject domains, and others. His current research interests include metamodeling, the methods of data mining and other data structuring and data processing methods.
Speech Title: The Model of Subject Domains for Monitoring and Managing Their States
Abstract: In the information systems, when considering a subject domain (SD) there is a task arose of achieving a certain goal. It can be demonstrated by the example of a production SD, where the goals are output quantity increasing, output quality improving, profit generation, etc.
From the point of view of the systems theory, a goal achievement is the bringing an SD into a specific state by solving a subset of the mass problems. A transition of an SD into such a state take place through a series of intermediate states, which form the SD’ trace.
In order to analyze the SD' states and to specify to specify SD’ trace to achieve a specific goal, we proposed a model of an SD, which describes its states and the state transitions.
Changes in a SD lead to a change in its structure and the information, circulating in it. I.e. there is a change of the set and structure of this SD's objects, relationships between these objects and their instances, and also changing the mass problems being solved. As an information and structural model di of an SD, the extension of the classical information model in the form of is proposed, where Ei is the set of SD' objects, Vi is the set of relationships between objects, Pi is the set of mass problems solved on it.
Accordingly, in proposed model the state of an SD is determined by the elements of these three sets, as well as by the changes that occur at a transition to a new state during solving corresponding mass problems.
First two sets (objects and relationships) of the proposed model and their properties, and has already been presented in a number of publications and will be introduced in this speech. The main attention will be paid to the classification and properties of mass problems, which are included in the description of the states of a domain, and also contribute to the transition of a SD to a new state on its trace of movement to the goal achievement.
Prof. Dr. Kamal Zuhairi Zamli, Universiti Malaysia Pahang, Malaysia
DEAN OF THE FACULTY OF COMPUTER SYSTEMS & SOFTWARE ENGINEERING (FSKKP)
Biography: Kamal Z Zamli obtained his degree in the field of Electrical Engineering from Worcester Polytechnic Institute, USA in 1992. He then pursued his MSc (Real-Time Software Engineering) from Universiti Teknologi Malaysia in 2000 and PhD from Software Engineering from University of Newcastle upon Tyne, UK in 2003. He has written nearly 350 papers in journals and conferences worldwide mainly in the area of (combinatorial t-way) Software Testing as well as Search based Software Engineering. He is the runner up for the Q-Merit Award conferred by the Malaysian Software Testing Board (MSTB, 2011) based on his contribution to the field of Software Testing in Malaysia.
Prof. Dr. Vitaliy Mezhuyev, Universiti Malaysia Pahang, Malaysia
Biography: Vitaliy Mezhuyev received BS
and MS degrees in physics and informatics from Berdyansk State
Pedagogical University (BSPU), Ukraine, in 1997. In 2002, he
received a PhD in Physics Instruction from Kiev National Pedagogical
University and, in 2012, a ScD in Information Technologies from
Odessa National Technical University, Ukraine. From 2004 until 2014,
he was Head of the Department of Informatics and Software
Engineering at BSPU, Ukraine. Now he is Professor at Faculty of
Computer Systems and Software Engineering in University Malaysia
Pahang, Head of the Software Engineering Research Group.
During his carrier, Vitaliy Mezhuyev participated in the multiple international scientific and industrial projects, devoted to formal modelling, design and development of advanced software systems as network-centric real-time operating system; IDE for the automation of development of parallel real-time applications; tools for specification, verification and validation of software products; visual environment for metamaterials modelling and others.
His current research interests include formal methods, metamodeling, safety modelling and verification of hybrid software systems, and the design of cyber-physical systems.