Accelerating the Development of DSL Compilers for Specialized Processors

Specialized processors programmable in domain-specific languages are increasingly used in modern computing systems. The compiler-in-the-loop approach, based on the joint development of a specialized processor and a compiler, is gaining popularity. At the same time, the traditional tools, like GCC and LLVM, are insufficient for the agile development of optimizing compilers that generate target code of an exotic, irregular architecture with static parallelism of operations. The article proposes methods from the field of program synthesis for the implementation of machine-dependent compilation phases. The phases are based on a reduction to SMT problem which allows to get rid of heuristic and approximate approaches, that requires complex software implementation of a compiler. In particular, a synthesis of machine-dependent optimization rules, instruction selection and instruction scheduling combined with register allocation are implemented with help of SMT solver. Practical applications of the developed methods and algorithms are illustrated by the example of a compiler for a specialized processor with an instruction set that accelerates the implementation of lightweight cryptography algorithms in the Internet of Things. The results of compilation and simulation of 8 cryptographic primitives for 3 variants of specialized processor (CISC-like, VLIW-like and a variant with delayed load instruction) show the vitality of the proposed approach.

Download Full-text

Human Emotion Recognition: Review of Sensors and Methods

Sensors ◽

10.3390/s20030592 ◽

2020 ◽

Vol 20 (3) ◽

pp. 592 ◽

Cited By ~ 23

Author(s):

Andrius Dzedzickis ◽

Artūras Kaklauskas ◽

Vytautas Bucinskas

Keyword(s):

Emotion Recognition ◽

Affective Computing ◽

Emotional Reactions ◽

Human Robot Interaction ◽

Technical Equipment ◽

Computing Systems ◽

Human Emotion ◽

Practical Applications ◽

The Internet Of Things

Automated emotion recognition (AEE) is an important issue in various fields of activities which use human emotional reactions as a signal for marketing, technical equipment, or human–robot interaction. This paper analyzes scientific research and technical papers for sensor use analysis, among various methods implemented or researched. This paper covers a few classes of sensors, using contactless methods as well as contact and skin-penetrating electrodes for human emotion detection and the measurement of their intensity. The results of the analysis performed in this paper present applicable methods for each type of emotion and their intensity and propose their classification. The classification of emotion sensors is presented to reveal area of application and expected outcomes from each method, as well as their limitations. This paper should be relevant for researchers using human emotion evaluation and analysis, when there is a need to choose a proper method for their purposes or to find alternative decisions. Based on the analyzed human emotion recognition sensors and methods, we developed some practical applications for humanizing the Internet of Things (IoT) and affective computing systems.

Download Full-text

Development and Application of an Atmospheric Pollutant Monitoring System Based on LoRa—Part I: Design and Reliability Tests

Sensors ◽

10.3390/s18113891 ◽

2018 ◽

Vol 18 (11) ◽

pp. 3891 ◽

Cited By ~ 2

Author(s):

Yushuang Ma ◽

Long Zhao ◽

Rongjin Yang ◽

Xiuhong Li ◽

Qiao Song ◽

...

Keyword(s):

Embedded System ◽

Communication Technology ◽

Atmospheric Pollutant ◽

Practical Applications ◽

Actual Application ◽

Pollutant Concentrations ◽

Application Data ◽

Software And Hardware ◽

The Internet Of Things ◽

Monitoring Platform

At present, as growing importance continues to be attached to atmospheric environmental problems, the demand for real-time monitoring of these problems is constantly increasing. This article describes the development and application of an embedded system for monitoring of atmospheric pollutant concentrations based on LoRa (Long Range) wireless communication technology, which is widely used in the Internet of Things (IoT). The proposed system is realized using a combination of software and hardware and is designed using the concept of modularization. Separation of each function into independent modules allows the system to be developed more quickly and to be applied more stably. In addition, by combining the requirements of the remote atmospheric pollutant concentration monitoring platform with the specific requirements for the intended application environment, the system demonstrates its significance for practical applications. In addition, the actual application data also verifies the sound application prospects of the proposed system.

Download Full-text

Large-area display textiles integrated with functional systems

10.21203/rs.3.rs-56463/v1 ◽

2020 ◽

Author(s):

Huisheng Peng ◽

Xiang Shi ◽

Yong Zuo ◽

Peng Zhai ◽

Jiahao Shen ◽

...

Keyword(s):

Building Blocks ◽

Speech Disorders ◽

Communication Tool ◽

Electronic Textiles ◽

Large Area ◽

Practical Applications ◽

Contact Points ◽

Luminescent Coating ◽

And Function ◽

The Internet Of Things

Abstract Displays are basic building blocks of modern electronics1,2. Integrating displays into textiles offers exciting opportunities for smart electronic textiles – the ultimate form of wearables poised to change the way we interact with electronic devices3-6. Display textiles serve to bridge human-machine interactions7-9, offering for instance, a real-time communication tool for individuals with voice or speech disorders. Electronic textiles capable of communicating10, sensing11,12 and supplying electricity13,14 have been reported previously. However, textiles with functional, large-area displays have not been achieved so far because obtaining small illuminating units that are both durable and easy to assemble over a wide area is challenging. Here, we report a 6 m (L) * 25 cm (W) display textile containing 500000 electroluminescent (EL) units narrowly spaced to ~800 μm. Weaving conductive weft and luminescent warp fibres forms micron-scale EL units at the weft-warp contact points. Brightness between EL units deviates by < 6.3% and remains stable even when the textile is bent, stretched or pressed. We attribute this uniform and stable lighting to the smooth luminescent coating around the warp fibres and homogenous electric field distribution at the contact points. Our display textile is flexible and breathable and withstands repeatable machine-washing, making them suitable for practical applications. We show an integrated textile system consisting of display, keyboard and power supply can serve as a communication tool, which could potentially drive the Internet of Things in various areas including healthcare. Our approach unifies the fabrication and function of electronic devices with textiles, and we expect weaving fibre materials to shape the next-generation electronics.

Download Full-text

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny

10.29007/5zjp ◽

2018 ◽

Cited By ~ 1

Author(s):

Sylvia Grewe ◽

Sebastian Erdweg ◽

Mira Mezini

Keyword(s):

Formal Methods ◽

Programming Language ◽

Type System ◽

Type Systems ◽

Domain Specific Languages ◽

Smt Solver ◽

Domain Specific ◽

Efficient Type

\noindent Developing provably sound type systems is a non-trivial task which, as of today, typically requires expert skills in formal methods and a considerable amount of time. Our Veritas~\cite{GreweErdwegWittmannMezini15} project aims at providing support for the development of soundness proofs of type systems and efficient type checker implementations from specifications of type systems. To this end, we investigate how to best automate typical steps within type soundness proofs.\noindent In this paper, we focus on progress proofs for type systems of domain-specific languages. As a running example for such a type system, we model a subset SQL and augment it with a type system. We compare two different approaches for automating proof steps of the progress proofs for this type system against each other: firstly, our own tool Veritas, which translates proof goals and specifications automatically to TPTP~\cite{Sutcliffe98} and calls Vampire~\cite{KovacsV13} on them, and secondly, the programming language Dafny~\cite{Leino2010}, which translates proof goals and specifications to the intermediate verification language Boogie 2~\cite{Leino2008} and calls the SMT solver Z3~\cite{DeMoura2008} on them. We find that Vampire and Dafny are equally well-suited for automatically proving simple steps within progress proofs.

Download Full-text

Internet of Things (IoT) Security and Privacy

Powering the Internet of Things With 5G Networks - Advances in Wireless Technologies and Telecommunication ◽

10.4018/978-1-5225-2799-2.ch010 ◽

2018 ◽

pp. 247-267

Author(s):

Muawya N. Al Dalaien ◽

Ameur Bensefia ◽

Salam A. Hoshang ◽

Abdul Rahman A. Bathaqili

Keyword(s):

Internet Of Things ◽

Security And Privacy ◽

The Internet ◽

Privacy Concern ◽

Computing Systems ◽

Iot Security ◽

Privacy Issues ◽

The Internet Of Things ◽

Security Concern ◽

The Way

In recent years the Internet of Things (IoT) has rapidly become a revolutionary technological invention causing significant changes to the way both corporate computing systems, and even household gadgets and appliances, are designed and manufactured. The aim of this chapter is to highlight the security and privacy issues that may affect the evolution of IoT technology. The privacy issues are discussed from customer perspectives: first, the IoT privacy concern where the privacy debates on IoT and the IoT privacy that reflected from users' perspective based on the examination of previous researches results. In addition, the different architectures for IoT are discussed. Finally, the chapter discusses the IoT security concern by collecting, analyzing and presenting the major IoT security concerns in the literature as well as providing some potential solutions to these concerns.

Download Full-text

Security in Context of the Internet of Things

Cryptographic Security Solutions for the Internet of Things - Advances in Information Security, Privacy, and Ethics ◽

10.4018/978-1-5225-5742-5.ch001 ◽

2019 ◽

pp. 1-40

Author(s):

Mohammad Tariq Banday

Keyword(s):

Internet Of Things ◽

The Internet ◽

Security Threats ◽

Cryptographic Primitives ◽

Security Challenges ◽

The Internet Of Things

The chapter discusses various security challenges in the design of the internet of things and their possible solutions. After presenting a precise introduction to the internet of things, its applications, and technologies enabling it, the chapter discusses its various architectures and models which follow with an introduction of development kits, boards, platforms, hardware, software, and devices used in the internet of things. A concise explanation and discussion on the internet of things standards and protocols with emphasis on their security is presented. Next, various possible security threats and attacks to the internet of things are presented. The subsequent sections of the chapter discuss identified security challenges at individual layers of various models along with their possible solutions. It further presents cryptographic and lightweight cryptographic primitives for the internet of things, existing use of cryptography in the internet of things protocols, security challenges, and its prospectus.

Download Full-text