Developing Safety-critical Software

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 ar

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 h

The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheapl

Global food losses are a result of a lack of necessary infrastructure, improper food safety handling procedures, and insufficient training for the personnel working in the cold chain. The development of a resource-efficient and energy-smart food supply chain requires a well-integrated evaluation and development of the cold chain. Cold Chain Management for the Fresh Produce Industry in the Developing World provides a comprehensive review of the benefits of an unbroken cold chain in developing countries and focuses on the critical role of extension education in the implementation of cold chain management. The unbroken cold chain is essential for all stakeholders in the fresh produce industry to maintain the quality and safety of food products during handling, transporting, and storing in their journey from producer to consumer. Appropriate cold chain management is crucial not only to reduce the postharvest losses and wastages, but also to increase farmers' income, generate employment opp

A sound understanding of moral and legal obligations is critical to developing responsible nursing practice and building the nurse-patient relationship. Ethics and Law for Australian Nurses provides a practical framework for understanding the ethical and legal dimensions of nursing practice. The fourth edition has been thoroughly revised to include updates to legislation, the NMBA professional standards and case examples. A new chapter on the legal system and a fully revised chapter on duty of care and negligence provide a thorough overview of the law as it applies to nursing practice. The text also includes expanded material on the regulation of nursing practice, advanced care directives, cultural safety, practice in the context of digital environments, person-centred care and assisted dying. Written in an accessible and engaging style, Ethics and Law for Australian Nurses provides a comprehensive guide for nurses training and practising in clinical, research and policy settings.

This book examines the phenomenon of urban fear – the increasing anxiety over crime and violence in Western cities despite their high safety – with a view to developing a comprehensive, critical, expl

Mastering concurrency is critical to developing software with the performance and responsiveness you and your users expect – and this is especially true in Android mobile development. On Android, inte

This book provides comprehensive coverage of verification and debugging techniques for the embedded software frequently used in safety-critical applications (e.g., automotive), where failures are unac

With an ever-increasing number of applications available for mobile devices, battery life is becoming a critical factor in user satisfaction. This practical guide provides you with the key measurement, modeling, and analytical tools needed to optimize battery life by developing energy-aware and energy-efficient systems and applications. As well as the necessary theoretical background and results of the field, this hands-on book also provides real-world examples, practical guidance on assessing and optimizing energy consumption, and details of prototypes and possible future trends. Uniquely, you will learn about energy optimization of both hardware and software in one book, enabling you to get the most from the available battery power. Covering experimental system design and implementation, the book supports assignment-based courses with a laboratory component, making it an ideal textbook for graduate students. It is also a perfect guidebook for software engineers and systems architects

The SCADE tool has been used from many years for the development of safety critical software in the nuclear, aeronautics and railways sectors. The language supported by this tool is also called SCADE

Due to the role of software systems in safety-critical applications and in the satisfaction of customers and organizations, the development of efficient software engineering is essential.Designing, En

?Processes for developing safety-critical systems impose special demands for ensuring requirements traceability. Achieving valuable traceability information, however, is especially difficult concernin

"This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers? a splendid example for the balanced, integrated treatment of systems and software engi

According to the Institute of Medicine (IOM) and U.S. Food and Drug Administration (FDA), 'developing new scientific approaches to detecting, understanding, predicting and preventing adverse events' was a critical path to the future of drug safety. This book brings together a collection of state-of-the-art chapters, written by experts in the drug safety field. It provides information on the present knowledge of drug side effects and their mitigation strategy during drug discovery, gives guidance for risk assessment and promotes evidence-based toxicology. Each specific area of toxicology relevant for drug discovery is discussed in detail, including theory, experimental approaches and data interpretation supported by comprehensive up-to-date references. Many chapters provide fascinating case studies, which are of general interest for those who have basic science training and are interested in how chemicals interact with the human body.

A thorough, critical, and up-to-date look at precision farming around the worldIn most developing countries, farming is the best safety net against hunger and keeping production costs under control wi

Is the Unified Process the be all and end all standard for developing object-oriented component-based software? This book is the third in a four volume series that presents a critical review of the Un

This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.

With the increasing application of software in systems, especially safety- or even life-critical systems, it is no longer sufficient for the software developer to rely solely on testing the code produced. Testing must begin with the specification of requirements, continue on the design and finally on the implemented system. This book gives guidance on how testing can be carried out at each of the stages of software development. It does this by looking at the development process from four viewpoints: that of the intended user of the system, of its designers, of its programmers, and of the manager responsible for development. The product of each stage of development is individually examined to see how it can be checked for correctness and consistency with earlier specifications. References are given to techniques available to the software developer and there are many helpful checklists. The contributors are all members of the British Computer Society's Working Group on Testing, and betwe

"This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers a splendid example for the balanced, integrated treatment of systems and software engi

Is the Unified Process the be all and end all standard for developing object-oriented component-based software? This book is the second in a four volume series that presents a critical review of the U