Download or read book IEEE Std 45 1 2017 written by and published by . This book was released on with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Development of Safety Critical Systems written by Gopinath Karmakar and published by Springer Nature. This book was released on 2023-10-09 with total page 373 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems. It covers important aspects ranging from complying with standards and guidelines to the necessary software development process and tools, and also techniques pertaining to model-based application development platforms as well as qualified programmable controllers. After a general introduction to the book’s topic in chapter 1, chapter 2 discusses dependability aspects of safety systems and how architectural design at the system level helps deal with failures and yet achieves the targeted dependability attributes. Chapter 3 presents the software development process which includes verification and validation at every stage, essential to the development of software for systems performing safety functions. It also explains how the process helps in developing a safety case that can be independently verified and validated. The subsequent chapter 4 presents some important standards and guidelines, which apply to different industries and in different countries. Chapter 5 then discusses the steps towards complying with the standards at every phase of development. It offers a guided tour traversing the path of software qualification by exploring the necessary steps towards achieving the goal with the help of case studies. Chapter 6 highlights the application of formal methods for the development of safety systems software and introduces some available notations and tools which assist the process. Finally, chapter 7 presents a detailed discussion on the importance and the advantages of qualified platforms for safety systems application development, including programmable controller (PLC) and formal model-based development platforms. Each chapter includes case studies illustrating the subject matter. The book is aimed at both practitioners and students interested in the art and science of developing computer-based systems for safety-critical applications. Both audiences will get insights into the tools and techniques along with the latest developments in the design, analysis and qualification, which are constrained by the regulatory and compliance requirements mandated by the applicable guides and standards. It also addresses the needs of professionals and young graduates who specialize in the development of necessary tools and qualified platforms.

Download or read book Planning and Operation of Active Distribution Networks written by Antonio Carlos Zambroni de Souza and published by Springer Nature. This book was released on 2022-01-31 with total page 523 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book offers a broad and detailed view about how traditional distribution systems are evolving smart/active systems. The reader will be able to share the view of a number of researchers directly involved in this field. For this sake, philosophical discussions are enriched by the presentation of theoretical and computational tools. A senior reader may incorporate some concepts not available during his/her graduation process, whereas new Engineers may have contact with some material that may be essential to his/her practice as professionals.

Download or read book Next Generation Wireless Terahertz Communication Networks written by Saim Ghafoor and published by CRC Press. This book was released on 2021-08-10 with total page 531 pages. Available in PDF, EPUB and Kindle. Book excerpt: The rapid growth of the data traffic demands new ways to achieve high-speed wireless links. The backbone networks, data centers, mission-critical applications, as well as end-users sitting in office or home, all require ultra-high throughput and ultra-low latency wireless links. Sophisticated technological advancement and huge bandwidth are required to reduce the latency. Terahertz band, in this regard, has a huge potential to provide these high-capacity links where a user can download the file in a few seconds. To realize the high-capacity wireless links for future applications, in this book, different aspects of the Terahertz band wireless communication network are presented. This book highlights the Terahertz channel characteristics and modeling, antenna design and beamforming, device characterization, applications, and protocols. It also provides state-of-the-art knowledge on different communication aspects of Terahertz communication and techniques to realize the true potential of the Terahertz band for wireless communication.

Download or read book Millimeter Wave Circuits for 5G and Radar written by Gernot Hueber and published by Cambridge University Press. This book was released on 2019-06-20 with total page 455 pages. Available in PDF, EPUB and Kindle. Book excerpt: Discover the concepts, architectures, components, tools, and techniques needed to design millimeter-wave circuits for current and emerging wireless system applications. Focusing on applications in 5G, connectivity, radar, and more, leading experts in radio frequency integrated circuit (RFIC) design provide a comprehensive treatment of cutting-edge physical-layer technologies for radio frequency (RF) transceivers - specifically RF, analog, mixed-signal, and digital circuits and architectures. The full design chain is covered, from system design requirements through to building blocks, transceivers, and process technology. Gain insight into the key novelties of 5G through authoritative chapters on massive MIMO and phased arrays, and learn about the very latest technology developments, such as FinFET logic process technology for RF and millimeter-wave applications. This is an essential reading and an excellent reference for high-frequency circuit designers in both academia and industry.

Download or read book Accurate and Robust Spectral Testing with Relaxed Instrumentation Requirements written by Yuming Zhuang and published by Springer. This book was released on 2018-04-03 with total page 176 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book introduces a family of new methods for accurate and robust spectral testing and fills an information gap, as the requirements in standard test have grown increasingly challenging in recent high precision testing, especially as the device performance has continued to improve. Test engineers will be enabled to accurately set their devices & systems at much simpler test setup, much reduced complexity and much lower cost.

Download or read book Reuse in Intelligent Systems written by Stuart H Rubin and published by CRC Press. This book was released on 2020-03-24 with total page 253 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book is based on the best papers of IEEE IRI 2018 and IEEE FMI 2018, Salt Lake City, July, 2018. They have been enhanced and modified suitably for publication. The book comprises recent works covering several aspects of reuse in intelligent systems – including Scientific Theory and Technology-Based Applications. New data analytic algorithms, technologies, and tools are sought to be able to manage, integrate, and utilize large amounts of data despite hardware, software, and/or bandwidth constraints; to construct models yielding important data insights, and to create visualizations to aid in presenting and understanding the data. Furthermore, it addresses the representation, cleansing, generalization, validation, and reasoning strategies for the scientifically-sound and cost-effective advancement of all kinds of intelligent systems – including all software and hardware aspects. The book addresses problems such as, how to optimally select the information/data sets for reuse and how to optimize the integration of existing information/knowledge with new, developing information/knowledge sources!

Download or read book The Future of Intelligent Transport Systems written by George J. Dimitrakopoulos and published by Elsevier. This book was released on 2020-03-27 with total page 272 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Future of Intelligent Transport Systems considers ITS from three perspectives: users, business models and regulation/policy. Topics cover in-vehicle applications, such as autonomous driving, vehicle-to-vehicle/vehicle-to-infrastructure communication, and related applications, such as personalized mobility. The book also examines ITS technology enablers, such as sensing technologies, wireless communication, computational technology, user behavior as part of the transportation chain, financial models that influence ITS, regulations, policies and standards affecting ITS, and the future of ITS applications. Users will find a holistic approach to the most recent technological advances and the future spectrum of mobility. Systematically presents the whole spectrum of next generation Intelligent Transport Systems (ITS) technologies Integrates coverage of personalized mobility and digital assistants, big data analytics and autonomous driving Includes end-of-chapter, open-ended questions that trigger thinking on the technological, managerial and regulatory aspects of ITS

Download or read book Advanced Technologies for Solar Photovoltaics Energy Systems written by Saad Motahhir and published by Springer Nature. This book was released on 2021-04-26 with total page 600 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a detailed description, analysis, comparison of the latest research and developments in photovoltaic energy. Discussing everything from semiconductors to system integration, and applying various advanced technologies to stand alone and electric utility interfaced in normal and abnormal operating conditions of PV systems, this book provides a thorough introduction to the topic. This book brings together research from around the world, covering the use of technologies such as embedded systems, the Internet of things and blockchain technologies for PV systems for different applications including controllers, solar trackers and cooling systems. The book is of interest to electronic and mechanical engineers, researchers and students in the field of photovoltaics.

Download or read book Handbook of Research on New Solutions and Technologies in Electrical Distribution Networks written by Khan, Baseem and published by IGI Global. This book was released on 2019-12-06 with total page 439 pages. Available in PDF, EPUB and Kindle. Book excerpt: As the electrical industry continues to develop, one sector that still faces a range of concerns is the electrical distribution system. Excessive industrialization and inadequate billing are just a few issues that have plagued this electrical sector as it advances into the smart grid environment. Research is necessary to explore the possible solutions in fixing these problems and developing the distribution sector into an active and smart system. The Handbook of Research on New Solutions and Technologies in Electrical Distribution Networks is a collection of innovative research on the methods and applications of solving major issues within the electrical distribution system. Some issues covered within the publication include distribution losses, improper monitoring of system, renewable energy integration with micro-grid and distributed energy sources, and smart home energy management system modelling. This book is ideally designed for power engineers, electrical engineers, energy professionals, developers, technologists, policymakers, researchers, academicians, industry professionals, and students seeking current research on improving this key sector of the electrical industry.

Download or read book Digital Twin Technologies and Smart Cities written by Maryam Farsi and published by Springer. This book was released on 2019-07-22 with total page 212 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a holistic perspective on Digital Twin (DT) technologies, and presents cutting-edge research in the field. It assesses the opportunities that DT can offer for smart cities, and covers the requirements for ensuring secure, safe and sustainable smart cities. Further, the book demonstrates that DT and its benefits with regard to: data visualisation, real-time data analytics, and learning leading to improved confidence in decision making; reasoning, monitoring and warning to support accurate diagnostics and prognostics; acting using edge control and what-if analysis; and connection with back-end business applications hold significant potential for applications in smart cities, by employing a wide range of sensory and data-acquisition systems in various parts of the urban infrastructure. The contributing authors reveal how and why DT technologies that are used for monitoring, visualising, diagnosing and predicting in real-time are vital to cities’ sustainability and efficiency. The concepts outlined in the book represents a city together with all of its infrastructure elements, which communicate with each other in a complex manner. Moreover, securing Internet of Things (IoT) which is one of the key enablers of DT’s is discussed in details and from various perspectives. The book offers an outstanding reference guide for practitioners and researchers in manufacturing, operations research and communications, who are considering digitising some of their assets and related services. It is also a valuable asset for graduate students and academics who are looking to identify research gaps and develop their own proposals for further research.

Download or read book Swarm Intelligence written by Marco Dorigo and published by Springer Nature. This book was released on 2020-10-22 with total page 362 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 12th International Conference on Swarm Intelligence, ANTS 2020, held online -due to COVID-19- in Barcelona Spain, in October 2020. The 20 full papers presented , together with 8 short papers and 5 extended abstracts were carefully reviewed and selected from 50 submissions. ANTS 2020 contributions are dealing with any aspect of swarm intelligence.

Download or read book Middleware Solutions for Wireless Internet of Things written by Paolo Bellavista and published by MDPI. This book was released on 2019-07-15 with total page 262 pages. Available in PDF, EPUB and Kindle. Book excerpt: The proliferation of powerful but cheap devices, together with the availability of a plethora of wireless technologies, has pushed for the spread of the Wireless Internet of Things (WIoT), which is typically much more heterogeneous, dynamic, and general-purpose if compared with the traditional IoT. The WIoT is characterized by the dynamic interaction of traditional infrastructure-side devices, e.g., sensors and actuators, provided by municipalities in Smart City infrastructures, and other portable and more opportunistic ones, such as mobile smartphones, opportunistically integrated to dynamically extend and enhance the WIoT environment. A key enabler of this vision is the advancement of software and middleware technologies in various mobile-related sectors, ranging from the effective synergic management of wireless communications to mobility/adaptivity support in operating systems and differentiated integration and management of devices with heterogeneous capabilities in middleware, from horizontal support to crowdsourcing in different application domains to dynamic offloading to cloud resources, only to mention a few. The book presents state-of-the-art contributions in the articulated WIoT area by providing novel insights about the development and adoption of middleware solutions to enable the WIoT vision in a wide spectrum of heterogeneous scenarios, ranging from industrial environments to educational devices. The presented solutions provide readers with differentiated point of views, by demonstrating how the WIoT vision can be applied to several aspects of our daily life in a pervasive manner.

Download or read book Next Generation High Speed Satellite Interconnect written by Pietro Nannipieri and published by Springer Nature. This book was released on 2021-07-23 with total page 183 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book introduces the space community to the novel SpaceFibre protocol, developed under the guidance of the European Space Agency (ESA) as the forthcoming, high speed (Gbps) communication protocol for satellite on-board communication. Since SpaceFibre is expected to follow the success of its predecessor SpaceWire protocol (Mbps), the authors provide a system-level perspective for the end-user willing to adopt this latest technology for future space missions. The authors provide a complete view of the SpaceFibre protocol, together with an analysis of all the necessary hardware and software components to integrate this technology onboard a satellite. The text guides potential system adopters toward understanding the protocol, analyzing strengths, weaknesses and performances. Practical design examples and prototype performance measurements in reference scenarios are also included.

Download or read book The Present and Future of Indoor Navigation written by Laura Ruotsalainen and published by Artech House. This book was released on 2023-11-30 with total page 213 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Present and Future of Indoor Navigation provides a complete overview of the latest indoor navigation technologies, algorithms, and systems. It begins by discussing various types of sensors that can be used for indoor navigation, such as accelerometers, gyroscopes, barometers, magnetometers, and cameras. It covers the numerous algorithms that can be used to compute the navigation solution, including Kalman filtering, particle filtering, and machine learning. Also, it discusses the system implementation considerations for indoor navigation, such as infrastructure, data fusion, and security. The book’s focus is on present technologies and algorithms, as well as providing a look into the future possibilities for indoor navigation, making it a great resource for a wide audience. This includes researchers, engineers, and students who are interested in indoor navigation. It is also a valuable resource for anyone who wants to learn more about the latest technologies and algorithms for indoor navigation.

Download or read book THz Communications written by Thomas Kürner and published by Springer Nature. This book was released on 2021-12-07 with total page 510 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book describes the fundamentals of THz communications, spanning the whole range of applications, propagation and channel models, RF transceiver technology, antennas, baseband techniques, and networking interfaces. The requested data rate in wireless communications will soon reach from 100 Gbit/s up to 1 Tbps necessitating systems with ultra-high bandwidths of several 10s of GHz which are available only above 200 GHz. In the last decade, research at these frequency bands has made significant progress, enabling mature experimental demonstrations of so-called THz communications, which are thus expected to play a vital role in future wireless networks. In addition to chapters by leading experts on the theory, modeling, and implementation of THz communication technology, the book also features the latest experimental results and addresses standardization and regulatory aspects. This book will be of interest to both academic researchers and engineers in the telecommunications industry.

Download or read book Cyber Physical Laboratories in Engineering and Science Education written by Michael E. Auer and published by Springer. This book was released on 2018-04-26 with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume investigates a number of issues needed to develop a modular, effective, versatile, cost effective, pedagogically-embedded, user-friendly, and sustainable online laboratory system that can deliver its true potential in the national and global arenas. This allows individual researchers to develop their own modular systems with a level of creativity and innovation while at the same time ensuring continuing growth by separating the responsibility for creating online laboratories from the responsibility for overseeing the students who use them. The volume first introduces the reader to several system architectures that have proven successful in many online laboratory settings. The following chapters then describe real-life experiences in the area of online laboratories from both technological and educational points of view. The volume further collects experiences and evidence on the effective use of online labs in the context of a diversity of pedagogical issues. It also illustrates successful online laboratories to highlight best practices as case studies and describes the technological design strategies, implementation details, and classroom activities as well as learning from these developments. Finally the volume describes the creation and deployment of commercial products, tools and services for online laboratory development. It also provides an idea about the developments that are on the horizon to support this area.