International Conference on Distributed Computing and Internet Technology
10th – 13th January 2019
Kalinga Institute of Industrial Technology, Bhubaneswar, Odisha, India

Invited Speakers


Prof. Dr. Meenakshi D’Souza
International Institute of Information Technology Bangalore, India

Talk Title:
Avionics Self-adaptive Software: Towards Formal Verification and Validation

Prof. Dr. Christian Erfurth 
University of Applied Sciences Jena, Germany

Talk Title:
The Digital Turn: On the Quest for Holistic Approaches

Prof. Dr. Hacène Fouchal
Université de Reims Champagne-Ardenne, France

Talk Title:
Challenges of Intelligent Vehicles

Prof. Dr. Ulrike Lechner
Bundeswehr University Munich, Germany

Talk Title:
IT-Security in Critical Infrastructures: Experiences, Results and Research Directions

Prof. Dr. Hrushikesha Mohanty
Kalinga Institute of Industrial Technology Bhubaneswar, India

Talk Title:
Digital Society: A Computing Science Prospective

Prof. Dr. Pierre Zalloua
Lebanese American University Byblos, Lebanon

Talk Title:
TBA


Prof. Dr. Meenakshi D’Souza
International Institute of Information Technology Bangalore, India

Talk Title:
Avionics Self-adaptive Software: Towards Formal Verification and Validation


Abstract:

One of the future trends in aerospace industry for ground and air operations is to make air crafts self-adaptive, enabling them to take decisions without relying on any control authority. We propose a Belief, Desire, Intention (BDI) based multi-agent system for modelling avionics Self-Adaptive Software (SAS). Our BDI models are formally specified using Z notation and include a library of learning algorithms to cater to adaptibility. Apart from satisfying various self-* properties that define adaptibility features, avionics SAS, being safety critical systems, also have to satisfy safety and provide deterministic response meeting real-time constraints. We propose a validation framework to check for self-* properties. We also highlight a formal verification framework based on abstractions and model checking for verifying safety properties. The framework is illustrated through two avionics case studies.

Biography:

Meenakshi D’Souza is an Associate Professor and Warden (Women’s hostel) at IIIT-Bangalore. Meenakshi is also a member of ACM India Council. Prior to joining IIIT-Bangalore, Meenakshi worked in the R&D division of Honeywell Technology Solutions, Bangalore for seven years. Her research interests are in the areas of Formal Methods, Software Testing and Verification and Architectures and Design of embedded software. She teaches courses in Design and Analysis of Algorithms, Discrete Mathematics, Software Testing, Theory of Computation and Formal Verification at IIIT-Bangalore. Meenakshi also teaches a NPTEL course in Software Testing.


Prof. Dr. Christian Erfurth 

University of Applied Sciences Jena, Germany 

Talk Title:
The Digital Turn: On the Quest for Holistic Approaches


Abstract:

Companies, especially SMEs, are struggling with the digital turn. Technologies are ready for use. IIoT is not new anymore.  Apparently the change is not straightforward. For a better digital future, a bigger perspective and greater responsibility for decisions around digital technologies seems to be necessary. Digitization has now become a social issue. A look at the basics and principles of digitalization will lead us to some theses. With the help of some insights into companies, we embark on a search for successful practices and challenges in digital change.

Web: https://www.eah-jena.de/de-de/stabstellen/cio


Prof. Dr. Hacène Fouchal
Université de Reims Champagne-Ardenne, France

Talk Title:
Challenges of Intelligent Vehicles


Abstract:

Transportation Electric vehicles, autonomous vehicles, connected vehicles become the core of transportation systems. The goal of this talk is to present the latest results about intelligent vehicles and some of the trending topics in both academia and industry. From the research point of view, various issues attract many teams as cooperation with cloud computing/edge computing, security and privacy, wide coverage, hybrid communications (cellular networks and Wifi). From the industry point of view, serious challenges are still open: the actual communication protocol standards do not ensure interoperability among all actors (car manufacturers, road operators, telecom operators, …).

Biography:

Prof. Hacene Fouchal obtained habilitation degree from Université de Reims Champagne-Ardenne, in Computer Science, in 2001; a PhD from the Universite de Paris 7 in 1995 and M.S. in Computer Science, from the Universite de Paris Sud (Orsay) in 1989. Currently he is a full Professor at Université de Reims Champagne-Ardenne, adjunct-head of Computer Science and Mathematics Department. Professor’s research interests are Sensor Networks, Distributed Systems, eHealth Systems, Networking, Testing, Verification, and Intelligent Transport Systems. He has multiple publications in international sources. He has supervised more than ten PhD students. He was program chair for many conferences. He has been guest editor of many volumes (Concurrency and Computation: Practice and Experience-Wiley, Journal of Computational Science-Elseiver). He is a chair of the technical committee « Communication Software » of the IEEE Comunnication Society since January 2017. He is involved in several european projects on Intelligent Transport Systems (C2A, [email protected], InterCor, C-Roads).


Prof. Dr. Ulrike Lechner
Bundeswehr University Munich, Germany

Talk Title:
IT-Security in Critical Infrastructures: Experiences, Results and Research Directions


Abstract:

Security and safety of critical infrastructures, in particular IT security in critical infrastructures is one of today´s major challenge in informatics. Critical infrastructures (CI) are organizational and physical structures and facilities of such vital importance to a nation’s society and economy that their failure or degradation would result in sustained supply shortages, significant disruption of public safety and security, or other dramatic consequences. The increasing use of information and communication technology creates new areas of vulnerability and dependencies and current geopolitical developments heighten the levels of risk. Accordingly, critical infrastructure providers need to increase the level of security. This is a challenge for the Critical Infrastructure providers, IT security experts and society as a whole.
The analysis begins with a review of global and local Cybersecurity phenomena and an overview of national Cybersecurity strategies and their impact on Critical Infrastructures and their Cybersecurity efforts. The talk highlights selected research results on risk perception and on IT security strategies and measures to increase Cybersecurity awareness. The findings from the CASE|KRITS case study series illustrates success factors of Cybersecurity technologies and projects. The talk concludes with a review of experiences from Cybersecurity research and future research directions.

Biography:

Ulrike Lechner holds the Chair for Information Systems at the Bundeswehr University Munich. She leads project VeSiKi – the coordinating project „Networked Security for Critical Infrastructures“ of the research programme IT-Security for Critical Infrastructures of the German Federal Ministry of Education and Research. Ulrike Lechner studied Computer Science at the University of Passau and did her PhD at the University of Passau. She held positions as professor, lecturer and project manager at the University of St. Gallen. She had a professorship position at the University of Bremen. Her research interests are IT-Security for Critical Infrastructures, Enterprise Architectures and Crisis Management.


Prof. Dr. Hrushikesha Mohanty
Kalinga Institue of Industrial Technology Bhubaneswar, India

Talk Title:
Digital Society: A Computing Science Prospective


Abstract:

Internet has brought changes to every walk of life in contemporary world. It has provided different digital platforms and so connectivity bringing people of far distance digitally close defying geographical separations. The emerging digital society is predominantly technology driven for human needs and better social life. It also brings in different aspects of digital society that needs to redefine existing social theory and inventing new. Now Computer Science being an enabler of new technology has greater challenge to face and provide specific solutions to the challenges the new world facing.

I will touch upon some issues like an abstract model of a person in digital society, modelling migration, social communication, pressure group making and unmaking, social behaviour particular genesis of corruption, elections and law makings and forecasting the society of cyber humanoids working on the behest of people in digital society.

In all these my focus is on developments in computing science and challenges ahead.


Prof. Dr. Pierre Zalloua
Lebanese American University Byblos, Lebanon

Talk Title:
TBA