Компьютеры - скачать книги или читать онлайн. Страница 173

This book provides a scientific modeling approach for conducting metrics-based quantitative risk assessments of cybersecurity vulnerabilities and threats. This book provides a scientific modeling approach for conducting metrics-based quantitative risk assessments of cybersecurity threats. The author builds from a common understanding based on previous class-tested works to introduce the reader to the current and newly innovative approaches to address the maliciously-by-human-created (rather than by-chance-occurring) vulnerability and threat, and related cost-effective management to mitigate such risk. This book is purely statistical data-oriented (not deterministic) and employs computationally intensive techniques, such as Monte Carlo and Discrete Event Simulation. The enriched JAVA ready-to-go applications and solutions to exercises provided by the author at the book’s specifically preserved website will enable readers to utilize the course related problems. • Enables the reader to use the book's website's applications to implement and see results, and use them making ‘budgetary’ sense • Utilizes a data analytical approach and provides clear entry points for readers of varying skill sets and backgrounds • Developed out of necessity from real in-class experience while teaching advanced undergraduate and graduate courses by the author Cyber-Risk Informatics is a resource for undergraduate students, graduate students, and practitioners in the field of Risk Assessment and Management regarding Security and Reliability Modeling. Mehmet Sahinoglu, a Professor (1990) Emeritus (2000), is the founder of the Informatics Institute (2009) and its SACS-accredited (2010) and NSA-certified (2013) flagship Cybersystems and Information Security (CSIS) graduate program (the first such full degree in-class program in Southeastern USA) at AUM, Auburn University’s metropolitan campus in Montgomery, Alabama. He is a fellow member of the SDPS Society, a senior member of the IEEE, and an elected member of ISI. Sahinoglu is the recipient of Microsoft's Trustworthy Computing Curriculum (TCC) award and the author of Trustworthy Computing (Wiley, 2007).

A comprehensive, practical book on software management that dispels real-world issues through relevant case studies Software managers inevitably will meet obstacles while trying to deliver quality products and provide value to customers, often with tight time restrictions. The result: Software War Stories. This book provides readers with practical advice on how to handle the many issues that can arise as a software project unfolds. It utilizes case studies that focus on what can be done to establish and meet reasonable expectations as they occur in government, industrial, and academic settings. The book also offers important discussions on both traditional and agile methods as well as lean development concepts. Software War Stories: Covers the basics of management as applied to situations ranging from agile projects to large IT projects with infrastructure problems Includes coverage of topics ranging from planning, estimating, and organizing to risk and opportunity management Uses twelve case studies to communicate lessons learned by the author in practice Offers end-of-chapter exercises, sample solutions, and a blog for providing updates and answers to readers' questions Software War Stories: Case Studies in Software Management mentors practitioners, software engineers, students and more, providing relevant situational examples encountered when managing software projects and organizations.

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.). The authors cover the following topics: an example of use of SCADE, constraint solving in B, validation of Petri Nets-based automated rail safety, data validation, etc.

Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since it is responsible for software execution in a timely manner. This book, the second of two volumes on the subject, brings together knowledge on specific topics and discusses the recent advances for some of them. It addresses foundations as well as the latest advances and findings in real-time scheduling, giving comprehensive references to important papers, but the chapters are short and not overloaded with confusing details. Coverage includes scheduling approaches for networks and for energy autonomous systems. Other sophisticated issues, such as feedback control scheduling and probabilistic scheduling, are also addressed. This book can serve as a textbook for courses on the topic in bachelor’s degrees and in more advanced master’s degree programs. It also provides a reference for computer scientists and engineers involved in the design or the development of Cyber-Physical Systems which require up-to-date real-time scheduling solutions.

Over the last few years, multi-touch mobile devices have become increasingly common. However, very few applications in the context of 3D geometry learning can be found in app stores. Manipulating a 3D scene with a 2D device is the main difficulty of such applications. Throughout this book, the author focuses on allowing young students to manipulate, observe and modify 3D scenes using new technologies brought about by digital tablets. Through a user-centered approach, the author proposes a grammar of interactions adapted to young learners, and then evaluates acceptability, ease of use and ease of learning of the interactions proposed. Finally, the author studies in situ the pedagogic benefits of the use of tablets with an app based on the suggested grammar. The results show that students are able to manipulate, observe and modify 3D scenes using an adapted set of interactions. Moreover, in the context of 3D geometry learning, a significant contribution has been observed in two classes when students use such an application. The approach here focuses on interactions with digital tablets to increase learning rather than on technology. First, defining which interactions allow pupils to realize tasks needed in the learning process, then, evaluating the impact of these interactions on the learning process. This is the first time that both interactions and the learning process have been taken into account at the same time.

Previous studies have looked at the contribution of information technology and network theory to the art of warfare as understood in the broader sense. This book, however, focuses on an area particularly important in understanding the significance of the information revolution; its impact on strategic theory. The purpose of the book is to critically analyze the contributions and challenges that the spread of information technologies can bring to categories of classic strategic theory. In the first two chapters, the author establishes the context of the book, coming back to the epistemology of revolution in military affairs and its terminology. The third chapter examines the political bases of strategic action and operational strategy, before the next two chapters focus on historical construction of the process of getting to know your opponents and the way in which we consider information collection. Chapter 6 returns to the process of “informationalization” in the doctrine of armed forces, especially in Western countries, and methods of conducting network-centric warfare. The final chapter looks at the attempts of Western countries to adapt to the emergence of techno-guerrillas and new forms of hybrid warfare, and the resulting socio-strategic outcomes.

Widely used across industrial and manufacturing automation, Programmable Logic Controllers (PLCs) perform a broad range of electromechanical tasks with multiple input and output arrangements, designed specifically to cope in severe environmental conditions such as automotive and chemical plants. Programmable Logic Controllers: A Practical Approach using CoDeSys is a hands-on guide to rapidly gain proficiency in the development and operation of PLCs based on the IEC 61131-3 standard. Using the freely-available* software tool CoDeSys, which is widely used in industrial design automation projects, the author takes a highly practical approach to PLC design using real-world examples. The design tool, CoDeSys, also features a built in simulator/soft PLC enabling the reader to undertake exercises and test the examples. Key features: Introduces to programming techniques using IEC 61131-3 guidelines in the five PLC-recognised programming languages. Focuses on a methodical approach to programming, based on Boolean algebra, flowcharts, sequence diagrams and state-diagrams. Contains a useful methodology to solve problems, develop a structured code and document the programming code. Covers I/O like typical sensors, signals, signal formats, noise and cabling. Features Power Point slides covering all topics, example programs and solutions to end-of-chapter exercises via companion website. No prior knowledge of programming PLCs is assumed making this text ideally suited to electronics engineering students pursuing a career in electronic design automation. Experienced PLC users in all fields of manufacturing will discover new possibilities and gain useful tips for more efficient and structured programming. * Register at www.codesys.com www.wiley.com/go/hanssen/logiccontrollers

Fritzson covers the Modelica language in impressive depth from the basic concepts such as cyber-physical, equation-base, object-oriented, system, model, and simulation, while also incorporating over a hundred exercises and their solutions for a tutorial, easy-to-read experience. The only book with complete Modelica 3.3 coverage Over one hundred exercises and solutions Examines basic concepts such as cyber-physical, equation-based, object-oriented, system, model, and simulation

A concise, engineering-oriented resource that provides practical support to IT professionals and those responsible for the quality of the software or systems they develop Software quality stems from two distinctive, but associated, topics in software engineering: software functional quality and software structural quality. This book studies the tenets of both of these notions, which focus on the efficiency and value of a design, respectively. It addresses engineering quality on both the application and system levels with attention to information systems (IS) and embedded systems (ES) as well as recent developments. Software Quality Engineering introduces the basic concepts of quality engineering like the nature of the engineering process, quality models and measurements, and evaluation quality, and provides a step-by-step overview of the application of software quality engineering in commonly recognized phases of the software development process. It also discusses management of software quality engineering processes, with special attention to budget, planning, conflict resolution, and traceability of quality requirements. Targeted at graduate engineering students and software quality specialists, Software Quality Engineering: Provides an analysis of interdependence between software functionality and its quality Includes a list of software quality engineering “to-dos” and models of software quality requirements traceability Covers the practical use of related ISO/IEC JTCI/SC7 standards

This collective work identifies the latest developments in the field of the automatic processing and analysis of digital color images. For researchers and students, it represents a critical state of the art on the scientific issues raised by the various steps constituting the chain of color image processing. It covers a wide range of topics related to computational color imaging, including color filtering and segmentation, color texture characterization, color invariant for object recognition, color and motion analysis, as well as color image and video indexing and retrieval. Contents 1. Color Representation and Processing in Polar Color Spaces, Jesús Angulo, Sébastien Lefèvre and Olivier Lezoray. 2. Adaptive Median Color Filtering, Frédérique Robert-Inacio and Eric Dinet. 3. Anisotropic Diffusion PDEs for Regularization of Multichannel Images: Formalisms and Applications, David Tschumperlé. 4. Linear Prediction in Spaces with Separate Achromatic and Chromatic Information,Olivier Alata, Imtnan Qazi, Jean-Christophe Burie and Christine Fernandez-Maloigne. 5. Region Segmentation, Alain Clément, Laurent Busin, Olivier Lezoray and Ludovic Macaire. 6. Color Texture Attributes, Nicolas Vandenbroucke, Olivier Alata, Christèle Lecomte, Alice Porebski and Imtnan Qazi. 7. Photometric Color Invariants for Object Recognition, Damien Muselet. 8. Color Key Point Detectors and Local Color Descriptors, Damien Muselet and Xiaohu Song. 9. Motion Estimation in Color Image Sequences, Bertrand Augereau and Jenny Benois-Pineau.

Provides coverage of the major theories and technologies involved in the lifecycle of 3D video content delivery Presenting the technologies used in end-to-end 3D video communication systems, this reference covers 3D graphics and video coding, content creation and display, and communications and networking. It covers the full range of key areas from the fundamentals of 3D visual representation to the latest 3D video coding techniques, relevant communication infrastructure and networks to the 3D quality of experience. The book is structured to logically lead readers through the topic, starting with generic and fundamental information, continuing with a detailed section of different visualisation techniques before concluding with an extensive view of 3D mobile communication systems and trends. The authors give most focus to four important areas: 3D video coding and communications; 3D graphics/gaming and mobile communications; end-to-end 3D ecosystem (including 3D display, 3D player, networking facility and 3D quality issues), and future communications and networks advances for emerging 3D experience. Presents the theory and key concepts behind the latest 3D visual coding framework, standards, and corresponding quality assessment Provides fundamental material which forms the basis for future research on enhancing the performance of 3D visual communications over current and future wireless networks Covers important topics including: 3D video coding and communications; 3D graphics/gaming and mobile communications; end-to-end 3D ecosystem; and future communications and networks advances for emerging 3D experience Essential reading for engineers involved in the research, design and development of 3D visual coding and 3D visual transmission systems and technologies, as well as academic and industrial researchers.

Drawing upon a wealth of experience from academia, industry, and government service, Cyber Security Policy Guidebook details and dissects, in simple language, current organizational cyber security policy issues on a global scale—taking great care to educate readers on the history and current approaches to the security of cyberspace. It includes thorough descriptions—as well as the pros and cons—of a plethora of issues, and documents policy alternatives for the sake of clarity with respect to policy alone. The Guidebook also delves into organizational implementation issues, and equips readers with descriptions of the positive and negative impact of specific policy choices. Inside are detailed chapters that: Explain what is meant by cyber security and cyber security policy Discuss the process by which cyber security policy goals are set Educate the reader on decision-making processes related to cyber security Describe a new framework and taxonomy for explaining cyber security policy issues Show how the U.S. government is dealing with cyber security policy issues With a glossary that puts cyber security language in layman's terms—and diagrams that help explain complex topics—Cyber Security Policy Guidebook gives students, scholars, and technical decision-makers the necessary knowledge to make informed decisions on cyber security policy.