- Table View
- List View
Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development
by Frank J. FurrerCyber-physical systems (CPSs) consist of software-controlled computing devices communicating with each other and interacting with the physical world through sensors and actuators.Because most of the functionality of a CPS is implemented in software, the software is of crucial importance for the safety and security of the CPS. This book presents principle-based engineering for the development and operation of dependable software.The knowledge in this book addresses organizations that want to strengthen their methodologies to build safe and secure software for mission-critical cyber-physical systems.The book:• Presents a successful strategy for the management of vulnerabilities, threats, and failures in mission-critical cyber-physical systems;• Offers deep practical insight into principle-based software development (62 principles are introduced and cataloged into five categories: Business & organization, general principles, safety, security, and risk management principles);• Provides direct guidance on architecting and operating dependable cyber-physical systems for software managers and architects.
Safety Causation Analysis in Sociotechnical Systems: Advanced Models and Techniques (Studies in Systems, Decision and Control #541)
by Esmaeil ZareiThis book provides a comprehensive view on theories, models, and techniques used to investigate and analyze incidents and safety causalities occurring in sociotechnical systems. Consisted of intricately interconnected components, sociotechnical systems are always prone to incidents. These incidents can ensue with adverse effects on employees and the public, the environment, and company's properties and reputation. Sometimes, a single incident has the potential to terminate the operation of a business forever. As incidents are multi-factorial and not easy to comprehend, they should be investigated systematically in a structured way so as to find their root causes and prevent them from recurring. Consequently, there have been developed many theories, models, and techniques aimed at accomplishing this goal. However, each approach has its own upsides and downsides, and there is no universal one applicable to all cases. Therefore, researchers and practitioners may sometimes find it difficult to select the most appropriate approach for the given case. After introducing theories, models, and techniques pertaining to incident investigation and safety causalities modeling, this book explains each one in details and discusses their pros and cons. The book aims to provide the audience with a step-by-step guidance for performing incident investigation and analysis. At the end of each chapter an example is analyzed by the introduced tool. Finally, the book offers criteria based on which an incident analysis technique can be selected.
Safety-Critical Electrical Drives: Topologies, Reliability, Performance (SpringerBriefs in Electrical and Computer Engineering)
by Igor Bolvashenkov Hans-Georg Herzog Ilia Frenkel Lev Khvatskin Anatoly LisnianskiThis book focuses on one of the most important aspects of electrical propulsion systems – the creation of highly reliable safety-critical traction electrical drives. It discusses the methods and models for analysis and optimization of reliability and fault tolerance indices, based on which, it proposes and assesses methods for improving the availability, fault tolerance and performance of traction electric drives.
Safety-Critical Real-Time Systems
by Bernd Krämer Norbert VölkerSafety-Critical Real-Time Systems brings together in one place important contributions and up-to-date research results in this fast moving area. Safety-Critical Real-Time Systems serves as an excellent reference, providing insight into some of the most challenging research issues in the field.
Safety-Critical Systems: Proceedings of the Seventeenth Safety-Critical Systems Symposium Brighton, UK, 3 - 5 February 2009
by Chris Dale Tom Anderson"Safety-Critical Systems: Problems, Process and Practice" contains the papers presented at the seventeenth annual Safety-critical Systems Symposium, held at Brighton, UK, in February 2009. The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress. The first paper reflects a tutorial - on Hazard Analysis - held on the first day of the Symposium. The subsequent 14 papers are presented under the headings of the Symposium's sessions: the Economics of Safety, Transport Safety, Safety in Society, New Challenges, Safety Assessment and Safety Standards. The book will be of interest to both academics and practitioners working in the safety-critical systems arena.
Safety-Critical Systems: Proceedings of the Fourth Safety-critical Systems Symposium Leeds, UK 6–8 February 1996
by Felix Redmill Tom AndersonSafety-critical systems, in the sense of software-based systems used in safety critical applications, are 'high-tech'. They are products of modern technology. Their effective, efficient and safe functioning depends not only on the devel opment of the right technologies but also on the right use of them. The safety of a system may be compromised not only by faults in the system but also by the use in the first place of an unreliable, unsafe, or unproved technology in its development. The key to the development and use of both technologies and systems is the human being. Until recently, the importance of human involvement, other than at the direct operational level, was hardly admitted. But now the unreliability of humans is recognised, as is the potential for latent faults to be introduced into systems at any point in their life cycles, by all who are in volved with them, including designers and strategic decision makers.
Safety for Future Transport and Mobility
by Hans-Leo RossThe book provides background information about technical solutions, processes and methodology to develop future automated mobility solutions. Beginning from the legal requirements as the minimum tolerable risk level of the society, the book provides state-of-the-art risk-management methodologies. The system engineering approach based on todays engineering best practices enhanced by principles derived from cybernetics. The approach derived from the typical behaviour of a human driver in public road traffic to a cybernetical based system engineering approach. Beyond the system engineering approach, a common behaviour model for the operational domain will show aspects how to extend the system engineering model with principles of cybernetics. The role and the human factors of road traffic participants and drivers of motor vehicles are identified and several viewpoints for different observers show how such mixed traffic scenarios could be assessed and optimised. The influence of the changing mobility demands of the society and the resulting changes to the origination of producer, owner, driver and supplier show aspects for future liability and risk share option for new supply chains. Examples from various industries provide some well-proven engineering principles how to adapt those for the future mobility for the benefit of the users. The aim of the book is to raise awareness that the safety provided by a product, a means of transport or a system up to an entire traffic system depends on the capabilities of the various actors. In addition to the driver and passengers, there are also other road users, maintenance personnel and service providers, who must have certain abilities to act safely in traffic. These are also the capabilities of the organisation, not only the organisation that develops or brings the product to market, but also the organisation that is responsible for the operation and the whole lifecycle of the products. The book is for people who want to get involved in the mobility of the future. People, that have ideas to become a player who want to help shape the future mobility of society and who want to bring responsible solutions for users into the market.
Safety in the Digital Age: Sociotechnical Perspectives on Algorithms and Machine Learning (SpringerBriefs in Applied Sciences and Technology)
by Jean-Christophe Le Coze Stian AntonsenThis open access book gathers authors from a wide range of social-scientific and engineering disciplines to review challenges from their respective fields that arise from the processes of social and technological transformation taking place worldwide. The result is a much-needed collection of knowledge about the integration of social, organizational and technical challenges that need to be tackled to uphold safety in the digital age.The contributors whose work features in this book help their readers to navigate the massive increase in the capability to generate and use data in developing algorithms intended for automation of work, machine learning and next-generation artificial intelligence and the blockchain technology already in such extensive use in real-world organizations.This book deals with such issues as:· How can high-risk and safety-critical systems be affected by these developments, in terms of their activities, their organization, management and regulation?· What are the sociotechnical challenges of the proliferation of big data, algorithmic influence and cyber-security challenges in health care, transport, energy production/distribution and production of goods?Understanding the ways these systems operate in the rapidly changing digital context has become a core issue for academic researchers and other experts in safety science, security and critical-infrastructure protection. The research presented here offers a lens through which the reader can grasp the way such systems evolve and the implications for safety—an increasingly multidisciplinary challenge that this book does not shrink from addressing.
Safety Message Broadcast in Vehicular Networks (Wireless Networks)
by Yuanguo Bi Haibo Zhou Weihua Zhuang Hai ZhaoThis book presents the current research on safety message dissemination in vehicular networks, covering medium access control and relay selection for multi-hop safety message broadcast. Along with an overall overview of the architecture, characteristics, and applications of vehicular networks, the authors discuss the challenging issues in the research on performance improvement for safety applications, and provide a comprehensive review of the research literature.A cross layer broadcast protocol is included to support efficient safety message broadcast by jointly considering geographical location, physical-layer channel condition, and moving velocity of vehicles in the highway scenario. To further support multi-hop safety message broadcast in a complex road layout, the authors propose an urban multi-hop broadcast protocol that utilizes a novel forwarding node selection scheme. Additionally, a busy tone based medium access control scheme is designed to provide strict priority to safety applications in vehicle-to-infrastructure communications.This book offers useful insights into protocol design and inspires a new line of thinking in performance improvements for safety applications in vehicular networks. It is a valuable resource for professionals, researchers, or advanced-level students working in vehicular networks or quality of service.
Safety of Computer Architectures
by Jean-Louis BoulangerIt is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to find a single source reference for all these aspects of system design. However, the purpose of this book is to present, in a single volume, a full description of all the constraints (including legal contexts around performance, reliability norms, etc.) and examples of architectures from various fields of application, including: railways, aeronautics, space, automobile and industrial automation. The content of the book is drawn from the experience of numerous people who are deeply immersed in the design and delivery (from conception to test and validation), safety (analysis of safety: FMEA, HA, etc.) and evaluation of critical systems. The involvement of real world industrial applications is handled in such as a way as to avoid problems of confidentiality, and thus allows for the inclusion of new, useful information (photos, architecture plans/schematics, real examples).
Safety of Computer Architectures
by Jean-Louis BoulangerIt is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to find a single source reference for all these aspects of system design. However, the purpose of this book is to present, in a single volume, a full description of all the constraints (including legal contexts around performance, reliability norms, etc.) and examples of architectures from various fields of application, including: railways, aeronautics, space, automobile and industrial automation. The content of the book is drawn from the experience of numerous people who are deeply immersed in the design and delivery (from conception to test and validation), safety (analysis of safety: FMEA, HA, etc.) and evaluation of critical systems. The involvement of real world industrial applications is handled in such as a way as to avoid problems of confidentiality, and thus allows for the inclusion of new, useful information (photos, architecture plans/schematics, real examples).
Safety of Computer Control Systems 1985 (Safecomp '85): Achieving Safe Real Time Computer Systems
by W. J. QuirkSafety of Computer Control Systems 1985 (Safecomp '85): Achieving Safe Real Time Computer Systems presents the proceedings of the Fourth IFAC Workshop, held in Como, Italy, on October 1–3, 1985. This book discusses a wide range of topics ranging from direct process control through robotics to operator assistance. Organized into 28 chapters, this compilation of papers begins with an overview of the implementation of atomic actions by means of concurrent programming constructs. This text then examines the safety-related applications that usually demand the provision of redundant resources within the system. Other chapters consider the safe performance of an industrial robot system that relies on several factors. This book discusses as well the increasing demand for Computer Assisted Decision Making (CADM) both in engineering and service industries. The final chapter deals with the ways of reducing the effects of an error introduced during the design of a program. This book is a valuable resource for software engineers.
The Safety of Intelligent Driver Support Systems: Design, Evaluation and Social Perspectives (Human Factors in Road and Rail Transport)
by Ralf RisserThe development of new technologies of information and communication will, in the coming years, transform deeply their uses and practices in transport. The current developments in the field of road telematics and driver assistance systems offer a real opportunity to aid mobility and road safety. However, they also raise numerous questions about their effectiveness, possible positive and negative modifications of behaviour or attitudes and about their acceptability by drivers. Problems related to the design and evaluation of intelligent driver support systems (IDSSs) and social perspectives related to their introduction on a large scale may only be fully addressed from a multi-disciplinary point of view. People from different backgrounds, from both engineering and social sciences, should be involved in this development. This book provides such knowledge from both a human and social factors background. The Safety of Intelligent Driver Support Systems serves the training of professionals working within the transport area so that they can use this knowledge in their work. It will be of direct interest to transportation and traffic professionals, engineers, system designers, researchers and specialists working in automotive and related industries, departments of transport, and communication and public bodies related to transport in the automotive industry, public authorities, etc. Also students at Masters and PhD level, performing studies in the road transportation area, will find in this book a rich source of knowledge. Teachers and trainers, both in professional training and academic education, may use the book as a basis for giving a course on the topic addressed.
The Safety of Intelligent Driver Support Systems: Design, Evaluation and Social Perspectives (Human Factors in Road and Rail Transport)
by Ralf RisserThe development of new technologies of information and communication will, in the coming years, transform deeply their uses and practices in transport. The current developments in the field of road telematics and driver assistance systems offer a real opportunity to aid mobility and road safety. However, they also raise numerous questions about their effectiveness, possible positive and negative modifications of behaviour or attitudes and about their acceptability by drivers. Problems related to the design and evaluation of intelligent driver support systems (IDSSs) and social perspectives related to their introduction on a large scale may only be fully addressed from a multi-disciplinary point of view. People from different backgrounds, from both engineering and social sciences, should be involved in this development. This book provides such knowledge from both a human and social factors background. The Safety of Intelligent Driver Support Systems serves the training of professionals working within the transport area so that they can use this knowledge in their work. It will be of direct interest to transportation and traffic professionals, engineers, system designers, researchers and specialists working in automotive and related industries, departments of transport, and communication and public bodies related to transport in the automotive industry, public authorities, etc. Also students at Masters and PhD level, performing studies in the road transportation area, will find in this book a rich source of knowledge. Teachers and trainers, both in professional training and academic education, may use the book as a basis for giving a course on the topic addressed.
The Safety of Systems: Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007
by Felix Redmill Tom AndersonThe Safety of Systems contains the invited papers presented at the fifteenth annual Safety-critical Systems Symposium, held at Bristol, UK in February 2007. The papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial experience and recent developments, and are presented under a variety of headings.
Safety of Web Applications: Risks, Encryption and Handling Vulnerabilities with PHP
by Eric QuintonSafety of Web Applications: Risks, Encryption and Handling Vulnerabilities with PHP explores many areas that can help computer science students and developers integrate security into their applications. The Internet is not secure, but it's very friendly as a tool for storing and manipulating data. Customer confidence in Internet software is based on it's ability to prevent damage and attacks, but secure software is complicated, depending on several factors, including good risk estimation, good code architecture, cyphering, web server configuration, coding to prevent the most common attacks, and identification and rights allocation.Helps computer science students and developers integrate security into their applicationsIncludes sections on risk estimate, MVC modeling, the cyphering (certificates, bi-keys, https protocol)
Safety, Security and Privacy for Cyber-Physical Systems (Lecture Notes in Control and Information Sciences #486)
by Riccardo M. G. Ferrari André M. H. TeixeiraThis book presents an in-depth overview of recent work related to the safety, security, and privacy of cyber-physical systems (CPSs). It brings together contributions from leading researchers in networked control systems and closely related fields to discuss overarching aspects of safety, security, and privacy; characterization of attacks; and solutions to detecting and mitigating such attacks. The book begins by providing an insightful taxonomy of problems, challenges and techniques related to safety, security, and privacy for CPSs. It then moves through a thorough discussion of various control-based solutions to these challenges, including cooperative fault-tolerant and resilient control and estimation, detection of attacks and security metrics, watermarking and encrypted control, privacy and a novel defense approach based on deception. The book concludes by discussing risk management and cyber-insurance challenges in CPSs, and by presenting the future outlook for this area of research as a whole. Its wide-ranging collection of varied works in the emerging fields of security and privacy in networked control systems makes this book a benefit to both academic researchers and advanced practitioners interested in implementing diverse applications in the fields of IoT, cooperative autonomous vehicles and the smart cities of the future.
SAGA – Advances in ShApes, Geometry, and Algebra: Results from the Marie Curie Initial Training Network (Geometry and Computing #10)
by Tor Dokken Georg MuntinghThis book summarizes research carried out in workshops of the SAGA project, an Initial Training Network exploring the interplay of Shapes, Algebra, Geometry and Algorithms.Written by a combination of young and experienced researchers, the book introduces new ideas in an established context. Among the central topics are approximate and sparse implicitization and surface parametrization; algebraic tools for geometric computing; algebraic geometry for computer aided design applications and problems with industrial applications.Readers will encounter new methods for the (approximate) transition between the implicit and parametric representation; new algebraic tools for geometric computing; new applications of isogeometric analysis and will gain insight into the emerging research field situated between algebraic geometry and computer aided geometric design.
Sage ACT! 2011 Dashboard and Report Cookbook
by Karen Fredricks Roy LaudenslagerThis is a cookbook of easy-to-follow recipes about ACT! 2011 dashboard and report practices. If you are an ACT! end user who wants to learn about the existing reports and dashboards available in ACT! 2009, 2010, and 2011, then this book is for you. If you are an ACT! administrator who wants to make changes to ACT!'s dashboard and reporting features or a sales manager who needs to measure the effectiveness of his sales force, you will also find this book helpful. New CRM users will learn how to measure the success of their database. Prior knowledge of ACT! is not essential; however, you'll find it helpful to have good working knowledge of how to add data to ACT!, or to work with an ACT! database that has already been populated with data.
Sage ACT! 2012 Cookbook
by Karen FredricksThis is an advanced cookbook of easy-to-follow recipes about ACT! 2012 designed to transform you into an ACT! Power User. If you are an ACT! end user who wants to learn about the advanced functionality of ACT! 2012, then this book is for you. It will also be useful if you are a 2009,2010 or 2011 user, as many advanced features originate from these ACT! versions. If you are an ACT! administrator who needs to administer an ACT! database or understand Outlook integration, you will also find this book helpful. No prior ACT! knowledge is necessarily required; however, you'll find it helpful to have good working knowledge of how to add data into ACT!, or to work with an ACT! database that has already been populated with data.
The SAGE Encyclopedia of the Internet
by Barney WarfThe Internet needs no introduction, and its significance today can hardly be exaggerated. Today, more people are more connected technologically to one another than at any other time in human existence. For a large share of the world’s people, the Internet, text messaging, and various other forms of digital social media such as Facebook have become thoroughly woven into the routines and rhythms of daily life. The Internet has transformed how we seek information, communicate, entertain ourselves, find partners, and, increasingly, it shapes our notions of identity and community. The SAGE Encyclopedia of the Internet addresses the many related topics pertaining to cyberspace, email, the World Wide Web, and social media. Entries will range from popular topics such as Alibaba and YouTube to important current controversies such as Net neutrality and cyberterrorism. The goal of the encyclopedia is to provide the most comprehensive collection of authoritative entries on the Internet available, written in a style accessible to academic and non-academic audiences alike.
The SAGE Handbook of Digital Marketing
by Annmarie Hanlon Tracy L. TutenDigital marketing changes the dynamics of traditional routes to market, augments conversations and facilitates the measurement of activities by organisations and consumers alike. This Handbook strives to advance the study and understanding of this domain and provides a digital marketing journey that flows from methods and methodologies. It moves from the fundamentals to the different aspects of digital marketing strategy, tactics, metrics and management, and ethics. This Handbook brings together the critical factors in digital marketing as the essential reference set for researchers in this area of continued growth. It is essential reading for postgraduate students, researchers, and practitioners in a range of disciplines exploring digital marketing. Part 1: Foundations of Digital Marketing Part 2: Methodologies and Theories in Digital Marketing Part 3: Channels and Platforms in Digital Marketing Part 4: Tools, Tactics and Techniques in Digital Marketing Part 5: Management and Metrics in Digital Marketing Part 6: Ethical Issues in Digital Marketing
The SAGE Handbook of Digital Marketing
by Annmarie Hanlon Tracy L. TutenDigital marketing changes the dynamics of traditional routes to market, augments conversations and facilitates the measurement of activities by organisations and consumers alike. This Handbook strives to advance the study and understanding of this domain and provides a digital marketing journey that flows from methods and methodologies. It moves from the fundamentals to the different aspects of digital marketing strategy, tactics, metrics and management, and ethics. This Handbook brings together the critical factors in digital marketing as the essential reference set for researchers in this area of continued growth. It is essential reading for postgraduate students, researchers, and practitioners in a range of disciplines exploring digital marketing. Part 1: Foundations of Digital Marketing Part 2: Methodologies and Theories in Digital Marketing Part 3: Channels and Platforms in Digital Marketing Part 4: Tools, Tactics and Techniques in Digital Marketing Part 5: Management and Metrics in Digital Marketing Part 6: Ethical Issues in Digital Marketing
The SAGE Handbook of Digital Marketing
Digital marketing changes the dynamics of traditional routes to market, augments conversations and facilitates the measurement of activities by organisations and consumers alike. This Handbook strives to advance the study and understanding of this domain and provides a digital marketing journey that flows from methods and methodologies. It moves from the fundamentals to the different aspects of digital marketing strategy, tactics, metrics and management, and ethics. This Handbook brings together the critical factors in digital marketing as the essential reference set for researchers in this area of continued growth. It is essential reading for postgraduate students, researchers, and practitioners in a range of disciplines exploring digital marketing. Part 1: Foundations of Digital Marketing Part 2: Methodologies and Theories in Digital Marketing Part 3: Channels and Platforms in Digital Marketing Part 4: Tools, Tactics and Techniques in Digital Marketing Part 5: Management and Metrics in Digital Marketing Part 6: Ethical Issues in Digital Marketing
The SAGE Handbook of E-learning Research, 2e
by Eric M. Meyers Richard Andrews Jude Fransman Professor Caroline HaythornthwaiteThe new edition of The SAGE Handbook of E-Learning Research retains the original effort of the first edition by focusing on research while capturing the leading edge of e-learning development and practice. Chapters focus on areas of development in e-learning technology, theory, practice, pedagogy and method of analysis. Covering the full extent of e-learning can be a challenge as developments and new features appear daily. The editors of this book meet this challenge by including contributions from leading researchers in areas that have gained a sufficient critical mass to provide reliable results and practices. The 25 chapters are organised into six key areas: 1. THEORY 2. LITERACY & LEARNING 3. METHODS & PERSPECTIVES 4. PEDAGOGY & PRACTICE 5. BEYOND THE CLASSROOM 6. FUTURES