The advances in industrial edge artificial intelligence (AI) are transforming the way industrial equipment and machines interact with the real world, with other machines and humans during manufacturing processes. These advances allow Industrial Internet of Things (IIoT) and edge devices to make decisions during the manufacturing processes using sensors and actuators data. Digital transformation is reshaping the manufacturing industry, and industrial edge AI aims to combine the potential advantages of edge computing (low latency times, reduced bandwidth, distributed architecture, improved trustworthiness, etc.) with the benefits of AI (intelligent processing, predictive solutions, classification, reasoning, etc.). The industrial environments allow the deployment of highly distributed intelligent industrial applications in remote sites that require reliable connectivity over wireless and cellular connections. Intelligent connectivity combines IIoT, wireless/cellular and AI technologies to support new autonomous industrial applications by enabling AI capabilities at the edge and allowing manufacturing companies to improve operational efficiency and reduce risks and costs for industrial applications. There are several critical issues to consider when bringing AI to industrial IoT applications considering training AI models at the edge, the deployment of the AI-trained inferencing models on the target reliable edge hardware platforms and the benchmarking of the solution compared with other implementations. The next-generation trustworthy industrial AI systems offer dependability by design, transparency, explainability, verifiability, and standardised industrial solutions to be implemented into various applications across different industrial sectors. New AI techniques like embedded machine learning (ML) and deep learning (DL) capture edge data, employ AI models and deploy them to hardware target edge devices from ultra-low-power microcontrollers to embedded devices, gateways, and on-premises servers for industrial applications. These techniques reduce latency, increase scalability, reliability, and resilience, and optimise wireless connectivity, greatly expanding IIoT capabilities. This book overviews the latest research results and activities in industrial artificial intelligence technologies and applications based on the innovative research, developments and ideas generated by the ECSEL JU AI4DI, ANDANTE and TEMPO projects. The authors describe industrial AI's challenges, the approaches adopted, and the main industrial systems and applications to give the reader a good insight into the technical essence of the field. The articles provide insightful material on industrial AI technologies and applications.

This book constitutes the proceedings of the 15th International Conference on Tests and Proofs, TAP 2021, which was held as part of Software Technologies: Applications and Foundations, STAF 2021, and took place online during June 12-25, 2021.The 6 full papers included in this volume were carefully reviewed and selected from 10 submissions. They were organized in topical sections on learning, test resource allocation and benchmarks and on testing.

This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016. The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in testing, practical applications, and short contributions.

This book constitutes the refereed proceedings of the 39th Annual German Conference on Artificial Intelligence, KI 2016, in conjunction with the OEsterreichische Gesellschaft fur Artificial Intelligence, OEGAI, held in Klagenfurt, Austria, in September 2016. The 8 revised full technical papers presented together with 12 technical communications, and 16 extended abstracts were carefully reviewed and selected from 44 submissions. The conference provides the opportunity to present a wider range of results and ideas that are of interest to the KI audience, including reports about recent own publications, position papers, and previews of ongoing work.