This book introduces the concept of software architecture as one of the cornerstones of software in modern cars. Following a historical overview of the evolution of software in modern cars and a discussion of the main challenges driving that evolution, Chapter 2 describes the main architectural styles of automotive software and their use in cars' software. In Chapter 3, readers will find a description of the software development processes used to develop software on the car manufacturers' side. Chapter 4 then introduces AUTOSAR - an important standard in automotive software. Chapter 5 goes beyond simple architecture and describes the detailed design process for automotive software using Simulink, helping readers to understand how detailed design links to high-level design. Next, Chapter 6 presents a method for assessing the quality of the architecture - ATAM (Architecture Trade-off Analysis Method) - and provides a sample assessment, while Chapter 7 presents an alternative way of assessing the architecture, namely by using quantitative measures and indicators. Subsequently Chapter 8 dives deeper into one of the specific properties discussed in Chapter 6 - safety - and details an important standard in that area, the ISO/IEC 26262 norm. Lastly, Chapter 9 presents a set of future trends that are currently emerging and have the potential to shape automotive software engineering in the coming years. This book explores the concept of software architecture for modern cars and is intended for both beginning and advanced software designers. It mainly aims at two different groups of audience - professionals working with automotive software who need to understand concepts related to automotive architectures, and students of software engineering or related fields who need to understand the specifics of automotive software to be able to construct cars or their components. Accordingly, the book also contains a wealth of real-world examples illustrating the concepts discussed and requires no prior background in the automotive domain.

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on e-Infrastructure and e-Services for Developing Countries, AFRICOMM 2016, held in Ouagadougou, Burkina Faso, in December 2016. The 44 papers were carefully selected from 57 submissions and cover topics such as: mobile and social networks; cloud, VPN and overlays; IoT, water, land, agriculture; networks, TVWS; learning; crypto and services.

At the centre of the methodology used in this book is STEM learning variability space that includes STEM pedagogical variability, learners' social variability, technological variability, CS content variability and interaction variability. To design smart components, firstly, the STEM learning variability space is defined for each component separately, and then model-driven approaches are applied. The theoretical basis includes feature-based modelling and model transformations at the top specification level and heterogeneous meta-programming techniques at the implementation level. Practice includes multiple case studies oriented for solving the task prototypes, taken from the real world, by educational robots. These case studies illustrate the process of gaining interdisciplinary knowledge pieces identified as S-knowledge, T-knowledge, E-knowledge, M-knowledge or integrated STEM knowledge and evaluate smart components from the pedagogical and technological perspectives based on data gathered from one real teaching setting. Smart STEM-Driven Computer Science Education: Theory, Methodology and Robot-based Practices outlines the overall capabilities of the proposed approach and also points out the drawbacks from the viewpoint of different actors, i.e. researchers, designers, teachers and learners.

This book constitutes the proceedings of the Second International Conference on Cloud, Networking for IoT Systems, CN4IoT 2017, and the Second EAI International Conference on ICT Infrastructures and Services for Smart Cities, IISSC 2017, held in Brindisi, Italy, in April 2017. The 26 full papers of both conferences were selected from 39 submissions. CN4IoT presents research activities on the uniform management and operation related to software defined infrastructures, in particular by analyzing limits or advantages in solutions for Cloud Networking and IoT. IISSC papers focus on ICT infrastructures (technologies, models, frameworks) and services in cities and smart communities.

The main target of this book is to raise the awareness about social networking systems design, implementation, security requirements, and approaches. The book entails related issues including computing, engineering, security, management, and organization policy. It interprets the design, implementation and security threats in the social networks and offers some solutions in this concern. It clarifies the authentication concept between servers to identity users. Most of the models that focus on protecting users' information are also included. This book introduces the Human-Interactive Security Protocols (HISPs) efficiently. Presenting different types of the social networking systems including the internet and mobile devices is one of the main targets of this book. This book includes the social network performance evaluation metrics. It compares various models and approaches used in the design of the social networks. This book includes various applications for the use of the social networks in the healthcare, e-commerce, crisis management, and academic applications. The book provides an extensive background for the development of social network science and its challenges. This book discusses the social networks integration to offer online services, such as instant messaging, email, file sharing, transferring patients' medical reports/images, location-based recommendations and many other functions. This book provides users, designers, engineers and managers with the valuable knowledge to build a better secured information transfer over the social networks. The book gathers remarkable materials from an international experts' panel to guide the readers during the analysis, design, implementation and security achievement for the social network systems. In this book, theories, practical guidance, and challenges are included to inspire designers and researchers. The book guides the engineers, designers, and researchers to exploit the intrinsic design of the social network systems.

This book constitutes the refereed proceedings of the 10th SIGSAND/PLAIS EuroSymposium 2017 titled Information Systems: Research, Development, Applications, and Education, held in Gdansk and Sopot, Poland, on September 27, 2017. The objective of the EuroSymposium on Systems Analysis and Design is to promote and develop high quality research on all issues related to analysis and design (SAND). It provides a forum for SAND researchers and practitioners in Europe and beyond to interact, collaborate, and develop their field. The 10 papers presented in this volume were carefully reviewed and selected from 45 submissions.They are organized in topical sections on data analytics, Web-based information systems, and information systems development.

The three-volume set CCIS 761, CCIS 762, and CCIS 763 constitutes the thoroughly refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2017, and of the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, held in Nanjing, China, in September 2017. The 208 revised full papers presented were carefully reviewed and selected from over 625 submissions. The papers of this volume are organized in topical sections on: Biomedical Signal Processing; Computational Methods in Organism Modeling; Medical Apparatus and Clinical Applications; Bionics Control Methods, Algorithms and Apparatus; Modeling and Simulation of Life Systems; Data Driven Analysis; Image and Video Processing; Advanced Fuzzy and Neural Network Theory and Algorithms; Advanced Evolutionary Methods and Applications; Advanced Machine Learning Methods and Applications; Intelligent Modeling, Monitoring, and Control of Complex Nonlinear Systems; Advanced Methods for Networked Systems; Control and Analysis of Transportation Systems; Advanced Sliding Mode Control and Applications; Advanced Analysis of New Materials and Devices; Computational Intelligence in Utilization of Clean and Renewable Energy Resources; Intelligent Methods for Energy Saving and Pollution Reduction; Intelligent Methods in Developing Electric Vehicles, Engines and Equipment; Intelligent Computing and Control in Power Systems; Modeling, Simulation and Control in Smart Grid and Microgrid; Optimization Methods; Computational Methods for Sustainable Environment.

This book constitutes the post-conference proceedings of the Second EAI International Conference on Smart Grid Inspired Future Technologies, SmartGIFT 2017, held in London, UK, in March 2017. The revised full papers are presented in four tracks: Track 1 - Communications, Networks and Architectures; Track 2 - Smart Control and Operation; Track 3 - Grid and Components; and Track 4 - Data Management and Grid Analytics. Aside from the technical paper presentations, the book also contains five invited talks and two technical workshops. The two workshops organized were: the Improving the Robustness of Urban Electricity Network (IRENE) and Wireless Communications and Networking Technologies for Connected Smart Grids (WCSG). The IRENE workshop aimed to address the new dimension of threats in the critical infrastructures through demonstration of IRENE methodologies and approaches. The WCSG workshop aimed to gain insights into key challenges, understanding and design criteria of employing wireless technologies to develop and implement future smart grids related services and applications.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Industrial IoT Technologies and Applications, IoT 2017, held in Wuhu, China, in March 2017. The volume contains 25 papers carefully reviewed and selected from 41 submissions focusing on topics such as big data, cloud computing, Internet of things, areas of control, mobile computing, and security.

Build clustered and scalable Java-based, real-time applications using Spring Framework, Boot, WebSocket, Cassandra, Redis and RabbitMQ. In this book, you'll tie all this together with a dive-in case study, a real-time scalable chat application under differing scenarios. Pro Java Clustering and Scalability also discusses how to horizontally scale the WebSocket chat application using a full STOMP broker such as RabbitMQ. Although this is a programming book, it also discusses many interesting infrastructure topics and tips about continuous delivery, Docker, NoSQL (Cassandra and Redis) and other related technologies. What You Will Learn Handle clustering and scalability using various open source Java, microservices, and web services tools and technologies Use Spring Framework, Boot, and other Spring technologies Integrate with Redis, RabbitMQ, Cassandra, NoSQL, and much more Test the case study code under various scenarios and stresses Who This Book Is For Experienced Java developers with at least some prior experience with Java, especially Spring Framework, Boot and other tools, and some web services.

This book constitutes the refereed conference proceedings of the 12th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2016, held in Seoul, South Korea, in July 2016. The 27 full papers, 5 short papers and 18 workshop papers were selected from 85 submissions. The papers are organized thematically in tracks, starting with network security, followed by QoS, reliability and modeling, wireless and mobile networks. In addition the papers of two workshops are included: International Workshop on 5G Communication Architecture and Technology (5G-CAT 2016), and the 2nd International Workshop on Sensor Networks and Cloud Computing (SNCC 2016).

This book is a timely collection of chapters that present the state of the art within the analysis and application of big data. Working within the broader context of big data, this text focuses on the hot topics of social network modelling and analysis such as online dating recommendations, hiring practices, and subscription-type prediction in mobile phone services. Manuscripts are expanded versions of the best papers presented at the IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM'2016), which was held in August 2016. The papers were among the best featured at the meeting and were then improved and extended substantially. Social Network Based Big Data Analysis and Applications will appeal to students and researchers in the field.

This book proposes a general methodology to introduce Global Navigation Satellite System (GNSS) integrity, starting from a rigorous mathematical description of the problem. It highlights the major issues that designers need to resolve during the development of GNSS-based systems requiring a certain level of confidence on the position estimates. Although it follows a general approach, the final chapters focus on the application of GNSS integrity to rail transportation, as an example. By describing the main requirements in the context of train position function, one of which is the safe function of any train control system, it shows the critical issues associated with the concept of safe position integrity. In particular, one case study clarifies the key differences between the avionic domain and the railway domain related to the application of GNSS technologies, and identifies a number of railway-signaling hazards linked with the use of such technology. Furthermore, it describes various railway-signaling techniques to mitigate such hazards to prepare readers for the future evolution of train control systems, also based on the GNSS technology. This unique book offers a valuable reference guide for engineers and researchers in the fields of satellite navigation and rail transportation.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th EAI International Conference on Sensor Systems and Software, S-Cube 2016, held in Sophia Antipolis, Nice, France, in December 2016. The 15 revised full papers and 5 invited papers cover technologies for wireless sensor networks, smart city and industry 4.0 applications, and smart sensing.

This book constitutes the proceedings of the second International Conference on Smart Cities, Smart-CT 2017, held in Malaga, Spain, in June 2017. The 16 papers presented in this volume were carefully reviewed and selected from 21 submissions. The topics covered include studies and tools to improve road traffic, energy consumption, logistics, frameworks to provide new services and take decisions in a holistic way, driving assistance, electric vehicles, public transport, and surveys on smart city concepts.

The two-volume set CCIS 713 and CCIS 714 contains the extended abstracts of the posters presented during the 19th International Conference on Human-Computer Interaction, HCI International 2017, held in Vancouver, BC, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The 177 papers presented in these two volumes were organized in topical sections as follows: Part I: Design and evaluation methods, tools and practices; novel interaction techniques and devices; psychophisiological measuring and monitoring; perception, cognition and emotion in HCI; data analysis and data mining in social media and communication; ergonomics and models in work and training support. Part II: Interaction in virtual and augmented reality; learning, games and gamification; health, well-being and comfort; smart environments; mobile interaction; visual design and visualization; social issues and security in HCI.

The three-volume set LNCS 10277-10279 constitutes the refereed proceedings of the11th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions. The papers included in the three UAHCI 2017 volumes address the following major topics: Design for All Methods and Practice; Accessibility and Usability Guidelines and Evaluation; User and Context Modelling and Monitoring and Interaction Adaptation; Design for Children; Sign Language Processing; Universal Access to Virtual and Augmented Reality; Non Visual and Tactile Interaction; Gesture and Gaze-Based Interaction; Universal Access to Health and Rehabilitation; Universal Access to Education and Learning; Universal Access to Mobility; Universal Access to Information and Media; and Design for Quality of Life Technologies.

The two-volume set CCIS 713 and CCIS 714 contains the extended abstracts of the posters presented during the 19th International Conference on Human-Computer Interaction, HCI International 2017, held in Vancouver, BC, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The 177 papers presented in these two volumes were organized in topical sections as follows: Part I: Design and evaluation methods, tools and practices; novel interaction techniques and devices; psychophisiological measuring and monitoring; perception, cognition and emotion in HCI; data analysis and data mining in social media and communication; ergonomics and models in work and training support. Part II: Interaction in virtual and augmented reality; learning, games and gamification; health, well-being and comfort; smart environments; mobile interaction; visual design and visualization; social issues and security in HCI.

This book explores recent perspectives on type-2 fuzzy sets. Written as a tribute to Professor Jerry Mendel for his pioneering works on type-2 fuzzy sets and systems, it covers a wide range of topics, including applications to the Go game, machine learning and pattern recognition, as well as type-2 fuzzy control and intelligent systems. The book is intended as a reference guide for the type-2 fuzzy logic community, yet it aims also at other communities dealing with similar methods and applications.

This book constitutes the refereed post-conference proceedings of the 6th International Conference on Mobile Communication and Healthcare, MobiHealth 2016, held in Milan, Italy, in November 2016. The 50 revised full papers were reviewed and selected from numerous submissions and are organized in topical sections covering: Technological development for m-health application user engagement.- IoT - Internet of Things.- Advances in soft wearable technology for mobile-health.- Emerging experiences into receiving and delivering healthcare through mobile and embedded solutions.- Advances in personalized healthcare services.- Mobile monitoring, and social media pervasive technologies.

The two-volume set LNCS 10286 + 10287 constitutes the refereed proceedings of the 8th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2017, held as part of HCI International 2017 in Vancouver, BC, Canada. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The 75 papers presented in these volumes were organized in topical sections as follows: Part I: anthropometry, ergonomics, design and comfort; human body and motion modelling; smart human-centered service system design; and human-robot interaction. Part II: clinical and health information systems; health and aging; health data analytics and visualization; and design for safety.

This book gathers a selection of the best papers presented during the 14th International Conference on Location Based Services, which was held in Zurich (Switzerland) between the 15th and 17th January 2018. It presents a general overview of recent research activities related to location based services. Such activities have grown in importance over the past several years, especially those concerning outdoor/indoor positioning, smart environments, spatial modeling, personalization and context-awareness, cartographic communication, novel user interfaces, crowdsourcing, social media, big data analysis, usability and privacy.

This book constitutes the refereed post-conference proceedings of the International Conference on Safety and Security in Internet of Things , SaSeIoT 2016, which was collocated with InterIoT and took place in Paris, France, in October 2016. The 14 revised full papers were carefully reviewed and selected from 22 submissions and cover all aspects of the latest research findings in the area of Internet of Things (IoT).

This book constitutes the refereed post-conference proceedings of the International Conference on Machine Learning and Intelligent Communications, MLICOM 2016, held in Shanghai, China in August 2016. The 41 revised full papers were carefully reviewed and selected from 47 submissions. The papers are organized thematically: data mining in heterogeneous networks, decentralized learning for wireless communication systems, intelligent cooperative/distributed coding, intelligent cooperative networks, Intelligent massive MIMO, time coded multi-user MIMO System based on three dimensional complementary codes, intelligent positioning and navigation systems, intelligent spectrum allocation schemes, machine learning algorithm & cognitive radio networks, machine learning for multimedia.

This book constitutes the proceedings of the Third International Conference on Internet of Things (IoT) Technologies for HealthCare, HealthyIoT 2016, held in Vasteras, Sweden, October 18-19, 2016. The conference also included the First Workshop on Emerging eHealth through Internet of Things (EHIoT 2016). IoT as a set of existing and emerging technologies, notions and services provides many solutions to delivery of electronic healthcare, patient care, and medical data management. The 31 revised full papers presented along with 9 short papers were carefully reviewed and selected from 43 submissions in total. The papers cover topics such as healthcare support for the elderly, real-time monitoring systems, security, safety and communication, smart homes and smart caring environments, intelligent data processing and predictive algorithms in e-Health, emerging eHealth IoT applications, signal processing and analysis, and smartphones as a healthy thing.