CSA2016 CSA2016

The 3rd Conference on Computing Systems and Applications

24-25 April 2018, Algiers, Algeria

 Prof. Yamine AIT AMEUR, Professor of Computer Science at Institut National Polytechnique, Toulouse, France

 Keynote I: Formal Modelling of Cyber-Physical systems: lessons learnt from refinement and proof based methods

     Cyber Physical Systems refer to the tight integration and coordination between computational and physical resources. Modelling their behaviour requires handling continuous and discrete behaviours. The definition of the associated models refers to continuous and discrete systems theories. In this talk, we address the problem of designing correct software to control cyber-physical systems. We recall the necessary basic concepts allowing a designer to model such systems. We also give an overview of the different formal approaches supporting the formal verification of these hybrid systems and we highlight the results obtained using these techniques. In particular, we focus on the use of proof and refinement based methods.

 Prof. Allel HADJALI, Professor of Computer Science at Ecole Nationale Supérieure de Mécanique et d'Aérotechnique, Poitiers, France

  Keynote II: Potentials of Computational Intelligence for Big Multi-Sensor Data Management

     Due to the important development in Hardware technologies, sensors are everywhere. So, many real-world applications in different domains (such as Defense, Industry, Transport, Energy, Surveillance, Climate and Weather, Healthcare) use multi-sensors to collect tremendous amounts of data about their states and environments. Such data are inherently uncertain, erroneous and noisy on the one hand, and voluminous, distributed and continuous on the other hand. One of the major challenges the Governments, Industry, Companies and Organizations have to face today is how to manage and make sense of Big sensor data for the purpose of decision making. Recent advancements in science and technologies (like Intelligence Computation and Machine Learning) are opening the road to more advanced analytics techniques that can allow for the sensor data characteristics and extract useful insights. This allows building solutions that provide fast time responses and less resources consuming. In this talk, we show how techniques stemming from the recent Intelligence Computational field can contribute to the above solutions to manage and handle Sensor data. Some examples from the aeronautic/space domain are used to motivate our propositions.

 Prof. Rachid GHERBI, Professor in Computer Science at Université de Paris-Sud XI Orsay, France

  Keynote III: Virtual and Augmented Reality, from Design to Evaluation

     The talk will highlight the general idea of Virtual and Augmented Reality (V&AR), from design specifications to evaluation methods. After a short introduction into the history of V&AR, we will have a look at various types and concepts of V&AR known today. We then discuss some experimental cases to highlight the need of specification of all V&AR parts, such as technical and hardware constraints but also those concerning tasks modeling and users needs. We will present some criteria we consider when evaluating a V&AR experiences success. Finally, some Algerian V&AR applications and projects will also be presented in order to show national developments in this area.

 Prof. Omar BOUSSAID, Professor in Computer Science at Université de Lyon 2, France

  Keynote IV: Data Lakes: New generation of Information Systems?

     Information systems are strongly impacted by new information technologies. New challenges emerge in the scientific and technological research caused by the craze around data and more particularly around big data. The data poses many challenges related to its exploitation. Its scope goes beyond traditional structures, such as databases or data warehouses. Furthermore, it is mostly unstructured which results in a need for new approaches to explore it. The different existing processes need to be redesigned. Their evolution poses new scientific obstacles as soon as they are projected in a big data framework. The Data Lakes represent today an emerging concept how to organize around the data to rethink innovation cycles within companies. On the other hand, this concept opens up new issues of investigation and promises real challenges, which will allow information technologies to evolve towards new perspectives in the professional world, and calls on new skills to develop and to capitalize on future users. What is it really about?

 Dr. Abdelkader BELLARBI, Centre de Développement des Technologies Avancées (CDTA), Algeria

 Tutorial I: Augmented Reality, how does it work?

     Augmented Reality (AR) is a technology that superimposes a computer-generated image on a user's view of the real world. For this purpose, it makes use of different areas such as computer vision, pose estimation, 3D programming and human-computer interaction. This tutorial will be given in two parts. In the first one, we will present the basic elements of the AR such as definitions, principles, tools and devices. The second part will be dedicated to a practical application of AR. Hence, we will implement some samples of marker-based and marker-less augmented reality using Unity 3D and ARtoolkit Library.

 M. Djalal HAROUNI, Open Devices UG, Berlin, Germany

  Tutorial II: Build and Deploy Applications on Secure Linux-IoT Devices

     In a world of connected IoT devices, building robust products should be made accessible and easy. Deploying Software on IoT, keeping the systems secure, applying constant updates are major concerns to enhance the product longevity, its security and all the services around it. In this tutorial, we will present modern deployment workflow for Linux based IoT Systems, how to build and deploy Applications, how to keep the devices secure, and finally how to quickly make your ideas a reality.

  Keywords: Linux, Embedded Linux, IoT , Internet of Things, Linux Containers, Open Source, Security. Smart World, Smart Building, Smart Agriculture, Smart cities, etc.

  Material needed: Raspberry PI (just for demonstration, students can share their devices).

 M. Hamza CHEGGOUR, Digital Artist and Photographer, Heyday Training & Consulting, Algeria

  Tutorial III: Physics simulation in Blender

     Blender offers powerful tools to facilitate the animation of complex physical phenomena, such as fluids, soft objects, rigid objects, smoke, particles and many others. In this workshop, you will discover how to:

  1. Set up the virtual physical universe
  2. Add external forces
  3. Browse the different types of simulation, going through rigid objects, flexible, fluid, gas,
  4. Operation of a particle system
  5. Interactions with the environment: collisions