Green It Engineering Concepts Models Complex Systems Architectures

This volume provides a comprehensive state of the art overview of a series of advanced trends and concepts that have recently been proposed in the area of green information technologies engineering as well as of design and development methodologies for models and complex systems architectures and their intelligent components. The contributions included in the volume have their roots in the authors’ presentations, and vivid discussions that have followed the presentations, at a series of workshop and seminars held within the international TEMPUS-project GreenCo project in United Kingdom, Italy, Portugal, Sweden and the Ukraine, during 2013-2015 and at the 1st - 5th Workshops on Green and Safe Computing (GreenSCom) held in Russia, Slovakia and the Ukraine. The book presents a systematic exposition of research on principles, models, components and complex systems and a description of industry- and society-oriented aspects of the green IT engineering. A chapter-oriented structure has been adopted for this book following a “vertical view” of the green IT, from hardware (CPU and FPGA) and software components to complex industrial systems. The 15 chapters of the book are grouped into five sections: (1) Methodology and Principles of Green IT Engineering for Complex Systems, (2) Green Components and Programmable Systems, (3) Green Internet Computing, Cloud and Communication Systems, (4) Modeling and Assessment of Green Computer Systems and Infrastructures, and (5) Green PLC-Based Systems for Industry Applications. The chapters provide an easy to follow, comprehensive introduction to the topics that are addressed, including the most relevant references, so that anyone interested in them can start the study by being able to easily find an introduction to the topic through these references. At the same time, all of them correspond to different aspects of the work in progress being carried out by various research groups throughout the world and, therefore, provide information on the state of the art of some of these topics, challenges and perspectives.

This book presents modern approaches to improving the energy efficiency, safety and environmental performance of industrial processes and products, based on the application of advanced trends in Green Information Technologies (IT) Engineering to components, networks and complex systems (software, programmable and hardware components, communications, Cloud and IoT-based systems, as well as IT infrastructures). The book’s 16 chapters, prepared by authors from Greece, Malaysia, Russia, Slovakia, Ukraine and the United Kingdom, are grouped into four sections: (1) The Green Internet of Things, Cloud Computing and Data Mining, (2) Green Mobile and Embedded Control Systems, (3) Green Logic and FPGA Design, and (4) Green IT for Industry and Smart Grids. The book will motivate researchers and engineers from different IT domains to develop, implement and propagate green values in complex systems. Further, it will benefit all scientists and graduate students pursuing research in computer science with a focus on green IT engineering.

This book describes the implementation of green IT in various human and industrial domains. Consisting of four sections: “Development and Optimization of Green IT”, “Modelling and Experiments with Green IT Systems”, “Industry and Transport Green IT Systems”, “Social, Educational and Business Aspects of Green IT”, it presents results in two areas – the green components, networks, cloud and IoT systems and infrastructures; and the industry, business, social and education domains. It discusses hot topics such as programmable embedded and mobile systems, sustainable software and data centers, Internet servicing and cyber social computing, assurance cases and lightweight cryptography in context of green IT. Intended for university students, lecturers and researchers who are interested in power saving and sustainable computing, the book also appeals to engineers and managers of companies that develop and implement energy efficient IT applications.

The primary purpose of this book is to present the state-of-the-art of mobile cloud computing and applications with an emphasis on energy-efficiency. The future research directions are also highlighted in this book to enrich the global market-place of mobile cloud computing services facilitating the scientific, industrial, business, and consumer applications. We expect that the book will serve as a reference to a large number of readers including researchers, system architects, practitioners, and graduate-level students. This book focuses on an emerging area that has considerable research interest, momentum, and interest of commercial developers. The target reader of this book are professional developers, under-graduate and post-graduate students, and researchers. As mobile cloud computing, as well as green computing, will have a major impact on the quality of science and society over the next few years, its knowledge will enrich our readers to be at the forefront of the field. This book reports the latest research advances in the area of green mobile cloud computing. The book covers the architecture, services, methods, applications, and future research directions of green mobile cloud computing.

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications.

There are numerous publications which introduce and discuss the Internet of Things (IoT). In the midst of these, this work has several unique characteristics which should change the reader's perspective, and in particular, provide a more profound understanding of the impact of the IoT on society. Dependable IoT for Human and Industry covers the main aspects of Internet of Things and IoT based systems such as global issues of applications, modeling, development and implementation of dependable IoT for different human and industry domains. Technical topics discussed in the book include: Introduction in Internet of vital and trust ThingsModelling and assessment techniques for dependable and secure IoT systemsArchitecting and development of IoT systemsImplementation of IoT for smart cities and drone fleets; business and blockchain, transport and industryTraining courses and education experience on Internet and Web of Thing

Safety and security are crucial to the operations of nuclear power plants, but cyber threats to these facilities are increasing significantly. Instrumentation and control systems, which play a vital role in the prevention of these incidents, have seen major design modifications with the implementation of digital technologies. Advanced computing systems are assisting in the protection and safety of nuclear power plants; however, significant research on these computational methods is deficient. Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems is a pivotal reference source that provides vital research on the digital developments of instrumentation and control systems for assuring the safety and security of nuclear power plants. While highlighting topics such as accident monitoring systems, classification measures, and UAV fleets, this publication explores individual cases of security breaches as well as future methods of practice. This book is ideally designed for engineers, industry specialists, researchers, policymakers, scientists, academicians, practitioners, and students involved in the development and operation of instrumentation and control systems for nuclear power plants, chemical and petrochemical industries, transport, and medical equipment.

This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023. The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and Design; Model Based Testing; and AI and Smart Contracts Testing.