Judging from sensors and cameras I have installed at my home and wear on my body, quite often components of the Internet of Things produce situations that do not agree with the way I would like to or used to conduct my life. These include fitness trackers that are not accurate or responsive enough, warnings issues by my IoT cameras of moving trees or cars in or close to my yard and when lights are turned on or off inside my house. The many warnings I am getting from these IoT components join the unwelcome distractions issued by my cell phones and tablets. I find that these interruptions reduce the productivity of my work and the quality of my life. These distractions are in addition to the benefits I get from these devices (like warnings about the mail delivery person tossing my packages up in the air instead of placing them appropriately).
I would thus like to propose evaluating IoT components and systems using both their positive properties (“The Internet of Things”) and their negative properties (“The Internet of Nothing”). Focusing on both scores would lead to a more realistic & balanced view of the systems, pointing out directions for improvement for the benefit of the users and to help reduce the potential of an unrealistic hype. Yes, technology is not above all. People & their needs are.
Nahum Gershon focuses on social media, the Internet of Things, strategic planning, visualization, combining creative expressions with technology and real-time information delivery, presentation & interaction (including storytelling) in mobile, wearable as well as traditional devices including how they could improve both organizational environments and our personal lives. He like to play with ideas, words, and real devices. Nahum Gershon has served in many capacities at the IEEE over the years, in schmooz.org, and is a Senior Principal Scientist at the MITRE Corporation.
Nahum is a well-known community organizer, mentor, and communicator and is quite socially oriented. He has a significant international & multicultural background (citizen of the world, speaking a number of languages) and is right and left brain enabled. He enjoys life!
Stefan Mozar spent most of his career in the consumer electronics industry. He worked for companies like Grundig, Philips and NEC. He mainly worked on TV Receivers. He also spent many years in Telecommunications, especially in the area of data transmission. This included designing various data com products such as modems, multiplexers, and digital microwave radios. He is a technology consultant, and Adjunct Professor at Guangdong University of Technology, in South China. He has taught for a number of British, Australian and Asian Universities. He studied engineering at the University of New South Wales, Sydney, Australia; and at Okayama University in Japan. Dr Mozar is a Fellow of the IEEE, and Engineers Australia. His work has led to publications, patents, and has been recognised with many awards. He has worked on projects that won about 30 design awards in various countries around the world. He is the recipient of the 2017 David Robinson Award from Engineers Australia. He is the past president of the IEEE Consumer Electronics Society, and currently chairs the IEEE Life Science Initiative.
1. Extended Abstract
1.1. The technical subject and its importance
Among distributed systems, connected devices and services,
also referred to as the Internet of Things (IoT), are
gaining wider and wider adoption, in both the industry and
the everyday life. That means on one side that IoT is being
more and more popular in many security critical domains.
But also, that in domains that were not necessarily critical,
we have devices that can now collect and transmit a lot of
This raises important security challenges. As commonly
said, the “S” in IoT stands for “Security”: if it is not absent,
it is at least unnoticeable. Formal methods have been used
successfully for years in highly critical domains, now they
can help to bring security into the IoT field.
Frama-C is a source code analysis platform that aims
at conducting verification of industrial-size programs written
in ISO C99 source code. It provides its users with a
collection of plug-ins that perform static and dynamic analysis
for safety and security critical software. Collaborative
verification across cooperating plug-ins is enabled by their
integration on top of a shared kernel, and their compliance
to a common specification language: ACSL
1.2. Tutorial goals
Participants will learn how to use the different FramaC
analyzers and how to combine them. Several examples
and use cases presented during the tutorial will give them
a clear practical vision of possible usages of the underlying
static and dynamic analyses in their everyday work. The
presented code fragments are part of Contiki , a realworld
lightweight operating system for the IoT.
Each part consists of a presentation using slides and live
demonstration, and a session of exercises.
To work on the exercises, the attendees will be provided
a virtual machine image for VirtualBox containing all the
tools ready to use.
We will also provide additional exercises and we will
be available during the conference (and after) to help the
attendees who may want to go beyond the tutorial material.
Allan BLANCHARD obtained his PhD in Computer Science from the University of Orleans in 2016. He prepared his PhD at the Software Reliability Laboratory of the CEA LIST.
He is interested in the analysis of concurrent code using formal methods and more precisely deductive verification. His current work, in the EU H2020 VESSEDIA project, is to apply formal verification to the Contiki microkernel and its libraries, mostly to show the absence of runtime errors. He mostly uses FRAMA-C with the EVA and WP plugins. He is the author of an online tutorial on deductive verification with FRAMA-C and its WP plugin.
Web site: https://allan-blanchard.fr
Nikolai KOSMATOV got a PhD in Mathematics in 2001 jointly from Saint-Petersburg State University and University of Besanc¸on. Nikolai’s research interests include software verification and testing, constraint solving and combinations of various software verification techniques. Nikolai gives theoretical courses and exercise sessions on software verification and testing since 2009. He is the main author of the online testing service pathcrawler-online.com. Nikolai co-organized several successful tutorials at various international events, e.g. TAP, TAROT, ASE, QSIC, iFM, SAC, RV.
Web site: http://nikolai.kosmatov.free.fr/
Frédéric LOULERGUE obtained his PhD in Computer Science from the University of Orleans in 2000 and his Habilitation in Computer Science from Universit´e Paris Val-de-
Marne in 2004. He is currently a full professor at Northern Arizona University, Flagstaff, USA. His research interest are the practical and formal aspects of the design, implementation and application, in particular to large-scale data-intensive software, of structured parallel programming languages and libraries, as well as applied formal methods and cyber security in this broad context. Software associated to his research work include Bulk Synchronous Parallel ML (BSML) and the SYDPACC framework for the systematic development of programs for scalable computing.
The industry has started to embrace artificial intelligence (AI) as a technology to build new generations of products and services. AI enables radically new business models and has the potential to disrupt how we are building systems today. In this talk, we show how AI systems are being built today and what the enablers and hurdles are to bring this new technology into widespread use by industry. The talk offers pointers to get started in the construction of AI systems and involved as a member of the European AI community.
Samuel Fricker, Ph.D., is a professor of software engineering and deputy head of the Institute for Interactive Technologies at FHNW. Samuel leads the work in the Horizon2020 project www.bonseyes.com for building a marketplace for artificial intelligence and is a member of the Horizon2020 project www.wise-iot.eu, which aims at demonstrating how to build global Internet of Things systems.
Dr. Saraju P. Mohanty is a Professor at the Department of Computer Science and Engineering (CSE), University of North Texas (UNT). He obtained a Ph.D. in Computer Engineering from the University of South Florida (USF) in 2003, a Master’s degree in Systems Science and Automation (SSA) from the Indian Institute of Science (IISc), Bangalore, India in 1999. Prof. Mohanty was conferred the Glorious India Award in 2017 for his exemplary contributions to the discipline. He was the recipient of 2016 PROSE Award for best Textbook in Physical Sciences & Mathematics from the Association of American Publishers for his Mixed-Signal System book. He received 2016-17 UNT Toulouse Scholars Award for sustained excellent scholarly and teaching achievements. He has received 4 best paper awards. Prof. Mohanty’s research is in “Smart Electronic Systems”. Prof. Mohanty’s research has been funded by National Science Foundation (NSF), Semiconductor Research Corporation (SRC), and USA Air Force. Prof. Mohanty is an author of 250 articles and 3 books, and inventor of 4 granted patents with Google Scholar h-index of 29. He serves as the Editor-in-Chief (EiC) of the IEEE Consumer Electronics Magazine. Prof. Mohanty has been serving on the editorial board of several journals or transactions, including IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) and ACM Journal on Emerging Technologies in Computing Systems (JETC). Prof. Mohanty serves as the Chair of Technical Committee on Very Large Scale Integration (TCVLSI), IEEE Computer Society (IEEE-CS). He serves on the steering, organizing, and program committees of several international IEEE conferences including ISVLSI, iNIS, and ICCE. Prof. Mohanty is the Conference Chair of ICCE 2018, the flagship Conference of IEEE CE Society, which is co-located with International Consumer Electronics Show (CES). More about his biography, research, education, and outreach activities can be obtained from his website: http://www.smohanty.org.
In the current connected world, security of information as well as that of the consumer electronic (CE) system are equally important. Security is a broad concept that covers many aspects including information security, privacy, trustworthiness, and intellectual property protection. The information security covers the security of data, information, and multimedia which are handled all the time by consumer electronic (CE) systems. The system security may refer to the security of the system (e.g. a specific CE system) that handles the data or information. For example, how trustworthy is the CE system and how much resilient is the system against side channel attacks. Malicious design modifications and hardware Trojans can compromise security or trustworthiness of the system. Side channel attacks rely on analyzing power and timing traces of the security hardware than breaking the encryption algorithm involved. IP protection can be applicable for copyright protection of information (movie, multimedia) or IP protection of the hardware design itself in this global supply chain in the social networking era of Internet. The attacks on the CE systems as well as the security solutions can be either software or hardware based. The software based security solutions that rely on some form of encryption is not full proof as breaking them is just matter of time. The emergence of quantum computing will make things even worse. The talk will present broad perspective of the vast multifaceted forms of security attacks and solutions provided by hardware. Any form of security solutions using software or hardware increases the energy consumption overhead of a CE system. The talk will discuss the security and energy-consumption trade-offs in designing a typical CE system
Become a partner. There are plenty of opportunities for sponsorship, including several exclusive packages. In addition, if you would like to customize your partnership with ZINC, contact us. We are open and flexible, just as the spirit that we want to invoke.
The package list:
PLATINUM € 10,000
GOLD € 8,000
Patron’s keynote speaker
SILVER € 5,000
BRONZE € 3,000
VIRTUAL SPONSORS € 1,000
EXCLUSIVE PACKAGES – one sponsor per package
Lunch buffet first day – 2000
Lunch buffet second day – 2000
Gala dinner – 3000
Cocktail – 1500
Awards plenary – 1000
MEDIA PARTNERS – contact for the information
Automated driving needs a novel approach to cope with driving scenarios that are currently solved only by the driver’s control. The reasons for the driver to take over control vary from limitations of the range of ego sensors or recognition algorithms to required information, e.g. infrastructure information like traffic lights, that cannot be derived from in-vehicle sensor observations. What all have in common is that any reaction, from the driver as well as from a driver assistance feature, needs to be in time. This becomes clear when looking at the range of ego sensors (e.g. LiDAR sensors about 40m ahead). The driver may want to have the speed reduced in advance before a speed sign is reached or be warned in time to take over control if the autonomous driving road ends. It is crystal clear that it needs more than just a high quality in-vehicle sensor processing in order to obtain a wide range of HD information needed for automated driving.
To make vehicles react properly in these kinds of situations the classic embedded software development needs support by self-learning algorithms.
Our approach combines techniques well established in robotics like Simultaneous Localization And Mapping (SLAM) as well as end-to-end protection and image compression algorithms with big data technology used in a connected car context. This allows to extend the sensor range as well as the sensor availability of a single vehicle. For behavior perception another well-established technique in automatic recognition scenarios enters the game: deep neural networks (DNNs). Although DNNs rely on training data in detection situations, they perform much faster as traditional software. The more samples and the more iterations the DNN gets, the better accuracy is obtained in all classification and detection situations.
DNNs also become a good alternative to validate functional safety as well as the safety of the intended functionality.
The keynote speech will analyze the different approaches and scenarios of using SLAM and DNN algorithms in automated driving and will give an impression how embedded software development for automated driving benefits from robotics and neural networks.
Program Manager Highly Automated Driving, Innovation Management
Elektrobit Automotive GmbH
Am Wolfsmantel 46, 91058 Erlangen, GermanyPhone: +49 (9131) 7701 6226
Fax: +49 9131 7701-6333
PhD (Dr. phil.) in Phonetics
(automatic speech recognition)1993-1997
University of Stuttgart
Diploma in Computational Linguistics (Dipl. Ling.)
Elektrobit Automotive GmbH|2016-present
Program Manager Highly Automated Driving, Innovations department2015-2016
Program Manager Sensor Cloud2014-2015
cross-domain Project Manager EB Dirigo;
project lead Connected Car Infrastructure, eSecurity,
SCRUM Product Owner,
software development (speech processing),
databases (MySQL, Oracle), APEX applications
Istituto Dalle Molle di Studi sull’Intelligenza Artificiale Lugano
Postdoc Neural Networks, automatic speech recognition
Sympalog Voice Solutions GmbH
Freelancing: pronunciation lexicon French, software development for TextToSpeech French
Conti Temic microelectronic GmbH
Freelancing: pronunciation lexicon French, software development for TextToSpeech French; Technical
translation of user manuals (French)
University employee for VERBMOBIL, SmartKom; part project leads with line responsibility for
automatic segmentation, End-to-End Evaluation of the SmartKom Dialog system
Freelancing: pronunciation lexicon French, software development for TextToSpeech French