Download or read book Requirements Engineering Foundation for Software Quality written by Paul Grünbacher and published by Springer. This book was released on 2017-02-20 with total page 379 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 23rd International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2017, held in Essen, Germany, in February/March 2017. The 16 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers were organized in topical sections named: use case models; ecosystems and innovation; human factors in requirements engineering; goal-orientation in requirements engineering; communication and collaboration; process and tool integration; visualization and representation of requirements; agile requirements engineering; natural language processing, information retrieval and machine learning traceability; quality of natural language requirements; research methodology in requirements engineering.

Download or read book Safety Critical Systems The Convergence of High Tech and Human Factors written by Felix Redmill and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 294 pages. Available in PDF, EPUB and Kindle. Book excerpt: Safety-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.

Download or read book Safety of Computer Control Systems 1990 SAFECOMP 90 written by B.K. Daniels and published by Elsevier. This book was released on 2014-06-28 with total page 191 pages. Available in PDF, EPUB and Kindle. Book excerpt: The market for safe, secure and reliable computer systems is expanding continuously and these Proceedings provide an opportunity to review the growth during the last decade and identify skills and technologies required for continued development in the area. The papers cover the experiences gained from specifying, creating, operating, and licensing computers in safety, security and reliability related applications. There are reviews of guidelines and industrial applications, with a section covering methods and tools used in designing, documenting, analysing, testing and assessing systems dependent on the SAFECOMP factors.

Download or read book Embedded Software Development for Safety Critical Systems written by Chris Hobbs and published by CRC Press. This book was released on 2017-09-07 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt: "I highly recommend Mr. Hobbs' book." - Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com Safety-critical devices, whether medical, automotive, or industrial, are increasingly dependent on the correct operation of sophisticated software. Many standards have appeared in the last decade on how such systems should be designed and built. Developers, who previously only had to know how to program devices for their industry, must now understand remarkably esoteric development practices and be prepared to justify their work to external auditors. Embedded Software Development for Safety-Critical Systems discusses the development of safety-critical systems under the following standards: IEC 61508; ISO 26262; EN 50128; and IEC 62304. It details the advantages and disadvantages of many architectural and design practices recommended in the standards, ranging from replication and diversification, through anomaly detection to the so-called "safety bag" systems. Reviewing the use of open-source components in safety-critical systems, this book has evolved from a course text used by QNX Software Systems for a training module on building embedded software for safety-critical devices, including medical devices, railway systems, industrial systems, and driver assistance devices in cars. Although the book describes open-source tools for the most part, it also provides enough information for you to seek out commercial vendors if that’s the route you decide to pursue. All of the techniques described in this book may be further explored through hundreds of learned articles. In order to provide you with a way in, the author supplies references he has found helpful as a working software developer. Most of these references are available to download for free.

Download or read book Embedded Software Development for Safety Critical Systems Second Edition written by Chris Hobbs and published by CRC Press. This book was released on 2019-08-16 with total page 385 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application. It is aimed at those creating a product that must satisfy one or more of the international standards relating to safety-critical applications, including IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, or related standards. Of the first edition, Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com said, "I highly recommend Mr. Hobbs' book."

Download or read book Safety of the Intended Functionality written by Juan Pimentel and published by SAE International. This book was released on 2019-03-07 with total page 210 pages. Available in PDF, EPUB and Kindle. Book excerpt: Safety has been ranked as the number one concern for the acceptance and adoption of automated vehicles since safety has driven some of the most complex requirements in the development of self-driving vehicles. Recent fatal accidents involving self-driving vehicles have uncovered issues in the way some automated vehicle companies approach the design, testing, verification, and validation of their products. Traditionally, automotive safety follows functional safety concepts as detailed in the standard ISO 26262. However, automated driving safety goes beyond this standard and includes other safety concepts such as safety of the intended functionality (SOTIF) and multi-agent safety. Safety of the Intended Functionality (SOTIF) addresses the concept of safety for self-driving vehicles through the inclusion of 10 recent and highly relevent SAE technical papers. Topics that these papers feature include the system engineering management approach and redundancy technical approach to safety. As the third title in a series on automated vehicle safety, this contains introductory content by the Editor with 10 SAE technical papers specifically chosen to illuminate the specific safety topic of that book.

Download or read book Dependable Computing Systems written by Hassan B. Diab and published by John Wiley & Sons. This book was released on 2005-10-05 with total page 693 pages. Available in PDF, EPUB and Kindle. Book excerpt: A team of recognized experts leads the way to dependable computing systems With computers and networks pervading every aspect of daily life, there is an ever-growing demand for dependability. In this unique resource, researchers and organizations will find the tools needed to identify and engage state-of-the-art approaches used for the specification, design, and assessment of dependable computer systems. The first part of the book addresses models and paradigms of dependable computing, and the second part deals with enabling technologies and applications. Tough issues in creating dependable computing systems are also tackled, including: * Verification techniques * Model-based evaluation * Adjudication and data fusion * Robust communications primitives * Fault tolerance * Middleware * Grid security * Dependability in IBM mainframes * Embedded software * Real-time systems Each chapter of this contributed work has been authored by a recognized expert. This is an excellent textbook for graduate and advanced undergraduate students in electrical engineering, computer engineering, and computer science, as well as a must-have reference that will help engineers, programmers, and technologists develop systems that are secure and reliable.

Download or read book Essential Health and Safety Study Skills written by Jonathan Backhouse and published by Routledge. This book was released on 2013-08-02 with total page 195 pages. Available in PDF, EPUB and Kindle. Book excerpt: Studying for exams, working in teams, writing detailed yet succinct reports and importantly time management aren’t second nature to most, so this book provides clear guidance and will be an essential tool for anyone taking a health and safety course. For many students the learning experience will be a return to studying after some considerable time so this book combines practical advice with helpful exam-related information. Case studies and activities based on key health and safety topics that are covered by most Awarding Bodies Guidance on how to take both multiple-choice and written exams; with details on how to answer the action verbs, used in exams questions; including identify and outline Key principles teach how to Receive the information; Remember the information; and Recall the information for your exam

Download or read book Safety Reliability and Applications of Emerging Intelligent Control Technologies written by T.S. Ng and published by Elsevier. This book was released on 2014-06-28 with total page 240 pages. Available in PDF, EPUB and Kindle. Book excerpt: Increasingly, over the last few years, intelligent controllers have been incorporated into control systems. Presently, the numbers and types of intelligent controllers that contain variations of fuzzy logic, neural network, genetic algorithms or some other forms of knowledge based reasoning technology are dramatically rising. However, considering the stability of the system, when such controllers are included it is difficult to analyse and predict system behaviour under unexpected conditions. Leading researchers and industrial practitioners were able to discuss and evaluate current development and future research directions at the first IFAC International Workshop on safety, reliability and applications on emerging intelligent control technology. This publication contains the papers, covering a wide range of topics, presented at the workshop.

Download or read book Achieving Quality Software written by D.J. Smith and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 285 pages. Available in PDF, EPUB and Kindle. Book excerpt: The rapid growth in use of programmable technology, in nearly all sectors of Engineering, is a well-known established trend and one which there is every reason to believe will continue into the foreseeable future. The drivers of this trend include cost, flexibility, rich functionality and certain reliability and safety advantages. However, as explained in this book, these advantages have to be carefully weighed against a number of dis advantages which, amongst other things, have fundamental implications for reliability and safety. Ideally, a programmable system would be viewed as a fusion of hardware, software and user (or 'skinware'), operating under a set of environmental conditions. To date, such a unifying model does not exist and so hardware, software and human factors are still considered largely as three separate disciplines, albeit with certain interdependencies. Established techniques are available which enable the engineer to develop systems comprising purely hardware components to a prescribed reliability and performance. Software, however, is fundamentally different in a number of ways, and does not lend itself to equivalent analysis. A major problem with software is its poor 'visibility', and consequently the great difficulty in understanding and predicting its behaviour in all cir cumstances. This results in the ever-present software design flaws, or 'bugs', which have plagued the software industry from its beginnings.

Download or read book Advanced Software Testing Vol 2 2nd Edition written by Rex Black and published by Rocky Nook, Inc.. This book was released on 2014-09-12 with total page 584 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book teaches test managers what they need to know to achieve advanced skills in test estimation, test planning, test monitoring, and test control. Readers will learn how to define the overall testing goals and strategies for the systems being tested. This hands-on, exercise-rich book provides experience with planning, scheduling, and tracking these tasks. You'll be able to describe and organize the necessary activities as well as learn to select, acquire, and assign adequate resources for testing tasks. You'll learn how to form, organize, and lead testing teams, and master the organizing of communication among the members of the testing teams, and between the testing teams and all the other stakeholders. Additionally, you'll learn how to justify decisions and provide adequate reporting information where applicable. With over thirty years of software and systems engineering experience, author Rex Black is President of RBCS, is a leader in software, hardware, and systems testing, and is the most prolific author practicing in the field of software testing today. He has published a dozen books on testing that have sold tens of thousands of copies worldwide. He is past president of the International Software Testing Qualifications Board (ISTQB) and a director of the American Software Testing Qualifications Board (ASTQB). This book will help you prepare for the ISTQB Advanced Test Manager exam. Included are sample exam questions, at the appropriate level of difficulty, for most of the learning objectives covered by the ISTQB Advanced Level Syllabus. The ISTQB certification program is the leading software tester certification program in the world. With about 300,000 certificate holders and a global presence in over 50 countries, you can be confident in the value and international stature that the Advanced Test Manager certificate can offer you. This second edition has been thoroughly updated to reflect the new ISTQB Advanced Test Manager 2012 Syllabus, and the latest ISTQB Glossary. This edition reflects Rex Black's unique insights into these changes, as he was one of the main participants in the ISTQB Advanced Level Working Group.

Download or read book Pragmatic Software Testing written by Rex Black and published by John Wiley & Sons. This book was released on 2016-04-25 with total page 390 pages. Available in PDF, EPUB and Kindle. Book excerpt: A hands-on guide to testing techniques that deliver reliable software and systems Testing even a simple system can quickly turn into a potentially infinite task. Faced with tight costs and schedules, testers need to have a toolkit of practical techniques combined with hands-on experience and the right strategies in order to complete a successful project. World-renowned testing expert Rex Black provides you with the proven methods and concepts that test professionals must know. He presents you with the fundamental techniques for testing and clearly shows you how to select and apply successful strategies to test a system with budget and time constraints. Black begins by discussing the goals and tactics of effective and efficient testing. Next, he lays the foundation of his technique for risk-based testing, explaining how to analyze, prioritize, and document risks to the quality of the system using both informal and formal techniques. He then clearly describes how to design, develop, and, ultimately, document various kinds of tests. Because this is a hands-on activity, Black includes realistic, life-sized exercises that illustrate all of the major test techniques with detailed solutions.

Download or read book Computerworld written by and published by . This book was released on 1994-05-02 with total page 130 pages. Available in PDF, EPUB and Kindle. Book excerpt: For more than 40 years, Computerworld has been the leading source of technology news and information for IT influencers worldwide. Computerworld's award-winning Web site (Computerworld.com), twice-monthly publication, focused conference series and custom research form the hub of the world's largest global IT media network.

Download or read book Safety and Resilience of Higher Educational Institutions written by Takako Izumi and published by Springer Nature. This book was released on 2022-06-21 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: The world has spent the majority of 2020 enduring an unpreceded crisis caused by the COVID-19 pandemic. The impact of this crisis has been enormous, and the situation has yet to be resolved. It is still difficult to anticipate when the pandemic will end and how our lives will have changed after the crisis. Higher educational institutions (HEIs) have also had to undergo tremendous transformation, in particular, changing a conventional educational, teaching, and learning system to a digital and online mode and cancelling or postponing important events such as graduation and entrance ceremonies and entrance examinations. In addition, a number of HEIs have been facing financial constraints due to reduced enrolment, particularly from overseas. Students have missed opportunities to meet their family and friends, causing profound psychosocial impact and stress for all concerned. Simultaneously, however, the situation has given HEIs a good opportunity to consider their disaster preparedness, response, and recovery capacity on campus. Some surveys have highlighted a lack of preparedness for pandemic and other hazardous risks beyond natural hazards. Safety issues are a top priority at HEIs because they bring together a number of students, faculty, and staff. This book covers the experiences and lessons learned from HEIs in preparedness, response, and recovery during the COVID-19 pandemic to prepare for such calamities beyond natural disasters in the future. The book consists of 15 chapters divided into three major sections. They highlight the importance of HEIs’ governance issues in disaster risk management, examine the challenges that HEIs have faced during the pandemic and the implementation of new teaching and learning methodologies, and provide innovative responses and preparedness by HEIs based on science and technology, respectively.

Download or read book Critical Testing Processes written by Rex Black and published by Addison-Wesley Professional. This book was released on 2004 with total page 612 pages. Available in PDF, EPUB and Kindle. Book excerpt: ••A must-read for software testers from a noted software testing guru•Examples, specifics, and a running case study bring the content to life•Separates software test processes into three categories: routing, highly-visible, and mission-critical

Download or read book Towards Verified Systems written by J. Bowen and published by Elsevier. This book was released on 2013-10-22 with total page 323 pages. Available in PDF, EPUB and Kindle. Book excerpt: As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where human lives are at stake. The use of software in such systems has increased enormously in the last decade. Formal methods, based on firm mathematical foundations, provide one means to help with reducing the risk of introducing errors during specification and development. There is currently much interest in both academic and industrial circles concerning the issues involved, but the techniques still need further investigation and promulgation to make their widespread use a reality. This book presents results of research into techniques to aid the formal verification of mixed hardware/software systems. Aspects of system specification and verification from requirements down to the underlying hardware are addressed, with particular regard to real-time issues. The work presented is largely based around the Occam programming language and Transputer microprocessor paradigm. The HOL theorem prover, based on higher order logic, has mainly been used in the application of machine-checked proofs. The book describes research work undertaken on the collaborative UK DTI/SERC-funded Information Engineering Dictorate Safemos project. The partners were Inmos Ltd., Cambridge SRI, the Oxford University Computing Laboratory and the University of Cambridge Computer Laboratory, who investigated the problems of formally verifying embedded systems. The most important results of the project are presented in the form of a series of interrelated chapters by project members and associated personnel. In addition, overviews of two other ventures with similar objectives are included as appendices. The material in this book is intended for computing science researchers and advanced industrial practitioners interested in the application of formal methods to real-time safety-critical systems at all levels of abstraction from requirements to hardware. In addition, material of a more general nature is presented, which may be of interest to managers in charge of projects applying formal methods, especially for safety-critical-systems, and others who are considering their use.

Download or read book Product Focused Software Process Improvement written by Regine Kadgien and published by Springer Nature. This book was released on 2024-01-02 with total page 537 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 24th International Conference on Product-Focused Software Process Improvement, PROFES 2023, which took place in Dornbirn, Austria, in December 2023. The 21 full technical papers, 8 short papers, and 1 poster paper presented in this volume were carefully reviewed and selected from 82 submissions. The book also contains one tutorial paper, 12 and workshop papers and 3 doctoral symposium papers. The contributions were organized in topical sections as follows: Part I: Software development and project management; machine learning and data science; software analysis and tools; software testing and quality assurance; security, vulnerabilities, and human factors; Part II: Posters; Tutorials; 2nd Workshop on Computational Intelligence and Software Engineering (CISE 2023); 2nd Workshop on Engineering Processes and Practices for Quantum Software (PPQS’ 23); doctoral symposium.