Embedded Software Development for Safety-Critical Systems

Author: Chris Hobbs

Publisher: CRC Press

ISBN: 1351688936

Category: Computers

Page: 344

View: 5623

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.
Release

Automotive SPICE® in der Praxis

Interpretationshilfe für Anwender und Assessoren

Author: Markus Müller,Klaus Hörmann,Lars Dittmann,Jörg Zimmer

Publisher: dpunkt.verlag

ISBN: 3864919991

Category: Technology & Engineering

Page: 418

View: 8555

Automotive SPICE ist ein ISO/IEC 15504-kompatibles, speziell auf die Automobilbranche zugeschnittenes Assessmentmodell. Die Herausforderung bei der Einführung und Umsetzung von Automotive SPICE besteht darin, das Modell auf eine konkrete Projekt- und Unternehmenssituation anzuwenden und in diesem Kontext richtig zu interpretieren. Dieses Buch gibt die dafür notwendigen Interpretations- und Bewertungshilfen und unterstützt dabei, Prozessverbesserung Automotive SPICE-konform zu betreiben. Nach einem Überblick werden Struktur und Bestandteile des Automotive SPICE-Modells in kompakter Form dargestellt, u.a. die seit Version 3.0 wesentlichen Schlüsselkonzepte wie die Trennung in Systemebene und Domänen (Software, Hardware, Mechanik) sowie die Traceability und Applikationsparameter. An einer praxisgerechten Auswahl von 24 Automotive SPICE-Prozessen werden jeweils Zweck, Basispraktiken und Arbeitsprodukte eines Prozesses im Detail erläutert. Der Buchaufbau entspricht der Struktur des Modells, sodass die Interpretationshilfen leichtdem jeweiligen Abschnitt des Modells zugeordnet werden können. Das Buch richtet sich in erster Linie an Praktiker, die bereits über ISO/IEC 15504-Grundlagenwissen verfügen und Hilfestellung für die Umsetzung von Automotive SPICE in der Praxis suchen. Die 2. Auflage wurde auf Automotive SPICE v3.0 aktualisiert und ergänzt um aktuelle Themen wie praxistaugliche Assessments gemäß intacsTM-Anforderungen, agile Entwicklung und funktionale Sicherheit nach ISO 26262.
Release

Mission-Critical and Safety-Critical Systems Handbook

Design and Development for Embedded Applications

Author: Kim Fowler

Publisher: Newnes

ISBN: 9780080942551

Category: Technology & Engineering

Page: 592

View: 8302

This handbook provides a consolidated, comprehensive information resource for engineers working with mission and safety critical systems. Principles, regulations, and processes common to all critical design projects are introduced in the opening chapters. Expert contributors then offer development models, process templates, and documentation guidelines from their own core critical applications fields: medical, aerospace, and military. Readers will gain in-depth knowledge of how to avoid common pitfalls and meet even the strictest certification standards. Particular emphasis is placed on best practices, design tradeoffs, and testing procedures. *Comprehensive coverage of all key concerns for designers of critical systems including standards compliance, verification and validation, and design tradeoffs *Real-world case studies contained within these pages provide insight from experience
Release

Formal Methods for Safety and Security

Case Studies for Aerospace Applications

Author: Manju Nanda,Yogananda Jeppu

Publisher: Springer

ISBN: 9811041210

Category: Technology & Engineering

Page: 132

View: 3658

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.
Release

Software Engineering for Embedded Systems

Methods, Practical Techniques, and Applications

Author: Robert Oshana

Publisher: Newnes

ISBN: 0124159419

Category: Computers

Page: 1200

View: 4881

This Expert Guide gives you the techniques and technologies in software engineering to optimally design and implement your embedded system. Written by experts with a solutions focus, this encyclopedic reference gives you an indispensable aid to tackling the day-to-day problems when using software engineering methods to develop your embedded systems. With this book you will learn: The principles of good architecture for an embedded system Design practices to help make your embedded project successful Details on principles that are often a part of embedded systems, including digital signal processing, safety-critical principles, and development processes Techniques for setting up a performance engineering strategy for your embedded system software How to develop user interfaces for embedded systems Strategies for testing and deploying your embedded system, and ensuring quality development processes Practical techniques for optimizing embedded software for performance, memory, and power Advanced guidelines for developing multicore software for embedded systems How to develop embedded software for networking, storage, and automotive segments How to manage the embedded development process Includes contributions from: Frank Schirrmeister, Shelly Gretlein, Bruce Douglass, Erich Styger, Gary Stringham, Jean Labrosse, Jim Trudeau, Mike Brogioli, Mark Pitchford, Catalin Dan Udma, Markus Levy, Pete Wilson, Whit Waldo, Inga Harris, Xinxin Yang, Srinivasa Addepalli, Andrew McKay, Mark Kraeling and Robert Oshana. Road map of key problems/issues and references to their solution in the text Review of core methods in the context of how to apply them Examples demonstrating timeless implementation details Short and to- the- point case studies show how key ideas can be implemented, the rationale for choices made, and design guidelines and trade-offs
Release

Eingebettete Systeme

Author: Peter Marwedel

Publisher: Springer-Verlag

ISBN: 3540340491

Category: Computers

Page: 265

View: 8914

Informationsverarbeitende Systeme werden immer kleiner und zunehmend in komplexe Produkte eingebettet – daher der Name "eingebettete Systeme". Es wird erwartet, dass ihre wirtschaftliche Bedeutung diejenige von traditionellen informationsverarbeitenden Systemen wie PCs und Großrechnern deutlich übersteigen wird. Dieses Buch betrachtet gemeinsame Eigenschaften solcher Systeme wie Verlässlichkeit, Effizienz, Echtzeitanforderungen sowie anwendungsspezifische Benutzerschnittstellen. Neben Spezifikationssprachen werden Hard- und Software eingebetteter Systeme sowie Echtzeitbetriebssysteme und Scheduling betrachtet. Zur Implementierung eingebetteter Systeme wird Hardware-/Software-Codesign verwendet. Das Buch schließt mit einem Überblick über Validierungstechniken. Dieses Buch eignet sich als Begleitbuch zu einem Kurs über eingebettete Systeme, ist aber auch eine Informationsquelle für Doktoranden und Lehrende. Grundwissen über Hard- und Software in der Informationsverarbeitung wird vorausgesetzt.
Release

Software Engineering for Embedded Systems

Chapter 15. Embedded Software Quality, Integration and Testing Techniques

Author: Mark Pitchford

Publisher: Elsevier Inc. Chapters

ISBN: 0128072474

Category: Technology & Engineering

Page: 1200

View: 8996

State of the art techniques and best practices in the development of embedded software apply not only to high-integrity devices (such as those for safety-critical applications like aircraft flight controllers, car braking systems or medical devices), but also to lesser-integrity applications when the need to optimize the effectiveness of the available test time and budget demands that pragmatic decisions should be made. To complement this multitude of software test techniques there is a similar plethora of test tools available to automate them. These tools are commonplace in the development of safety-critical applications, but elsewhere not everyone has the budget to buy all, or indeed any, of them. Of course, the providers of these tools would advocate the purchase of each and every one of them, so how can a limited budget best be allocated? And where no budget exists, how can similar principles be applied to provide confidence that the finished item is of adequate quality? In addressing these issues not only are the concepts behind the techniques presented, but also some “case study” software code examples to drill a little deeper and illustrate how some of them are implemented in practice.
Release

Component-Based Software Development for Embedded Systems

An Overview of Current Research Trends

Author: Colin Atkinson,Christian Bunse,Hans-Gerhard Gross,Christian Peper

Publisher: Springer Science & Business Media

ISBN: 3540306447

Category: Computers

Page: 344

View: 4053

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15– 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1,000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.
Release

Embedded Systems

A Contemporary Design Tool

Author: James K. Peckol

Publisher: John Wiley & Sons

ISBN: 1119457491

Category: Computers

Page: 1080

View: 1255

Embedded Systems: A Contemporary Design Tool, Second Edition Embedded systems are one of the foundational elements of today’s evolving and growing computer technology. From operating our cars, managing our smart phones, cleaning our homes, or cooking our meals, the special computers we call embedded systems are quietly and unobtrusively making our lives easier, safer, and more connected. While working in increasingly challenging environments, embedded systems give us the ability to put increasing amounts of capability into ever-smaller and more powerful devices. Embedded Systems: A Contemporary Design Tool, Second Edition introduces you to the theoretical hardware and software foundations of these systems and expands into the areas of signal integrity, system security, low power, and hardware-software co-design. The text builds upon earlier material to show you how to apply reliable, robust solutions to a wide range of applications operating in today’s often challenging environments. Taking the user’s problem and needs as your starting point, you will explore each of the key theoretical and practical issues to consider when designing an application in today’s world. Author James Peckol walks you through the formal hardware and software development process covering: Breaking the problem down into major functional blocks; Planning the digital and software architecture of the system; Utilizing the hardware and software co-design process; Designing the physical world interface to external analog and digital signals; Addressing security issues as an integral part of the design process; Managing signal integrity problems and reducing power demands in contemporary systems; Debugging and testing throughout the design and development cycle; Improving performance. Stressing the importance of security, safety, and reliability in the design and development of embedded systems and providing a balanced treatment of both the hardware and the software aspects, Embedded Systems: A Contemporary Design Tool, Second Edition gives you the tools for creating embedded designs that solve contemporary real-world challenges.
Release

C in a Nutshell

Author: Peter Prinz,Tony Crawford

Publisher: O'Reilly Germany

ISBN: 9783897213449

Category: C (Computer program language)

Page: 602

View: 8428

Release

CENELEC 50128 and IEC 62279 Standards

Author: Jean-Louis Boulanger

Publisher: John Wiley & Sons

ISBN: 1848216343

Category: Technology & Engineering

Page: 360

View: 4590

CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard and how it impacts on the activities to be undertaken, helping towards better a preparation for the independent evaluation phase, which is mandatory.
Release

Formal Methods for Industrial Critical Systems

16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Author: Gwen Salaün,Bernhard Schätz

Publisher: Springer Science & Business Media

ISBN: 3642244300

Category: Computers

Page: 261

View: 7834

This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Release

Distributed, Embedded and Real-time Java Systems

Author: M. Teresa Higuera-Toledano,Andy J. Wellings

Publisher: Springer Science & Business Media

ISBN: 1441981586

Category: Technology & Engineering

Page: 378

View: 857

Research on real-time Java technology has been prolific over the past decade, leading to a large number of corresponding hardware and software solutions, and frameworks for distributed and embedded real-time Java systems. This book is aimed primarily at researchers in real-time embedded systems, particularly those who wish to understand the current state of the art in using Java in this domain. Much of the work in real-time distributed, embedded and real-time Java has focused on the Real-time Specification for Java (RTSJ) as the underlying base technology, and consequently many of the Chapters in this book address issues with, or solve problems using, this framework. Describes innovative techniques in: scheduling, memory management, quality of service and communication systems supporting real-time Java applications; Includes coverage of multiprocessor embedded systems and parallel programming; Discusses state-of-the-art resource management for embedded systems, including Java’s real-time garbage collection and parallel collectors; Considers hardware support for the execution of Java programs including how programs can interact with functional accelerators; Includes coverage of Safety Critical Java for development of safety critical embedded systems.
Release

Modellgetriebene Softwareentwicklung

Techniken, Engineering, Management

Author: Thomas Stahl,Markus Völter

Publisher: N.A

ISBN: 9783898643108

Category:

Page: 410

View: 2524

Modellgetriebene Entwicklung befasst sich mit der Erstellung kompletter Softwaresysteme aus Modellen. Das Buch stellt einen praxisorientierten Leitfaden für modellgetriebene Entwicklung dar und richtet sich dabei an Architekten, Entwickler sowie technische Projektleiter. Obwohl die Model-Driven Architecture (MDA) der OMG einen hohen Stellenwert bei den Betrachtungen einnimmt, betrachtet das Buch auch allgemeine Aspekte modellgetriebener Entwicklung. Das Buch ist dreigeteilt in eine Einführung, einen praktischen Leitfaden mit einem ausführlichen Fallbeispiel sowie zusätzliche Kapitel, die bestimmte Aspekte der Thematik genauer beleuchten.
Release

Embedded Software for SoC

Author: Ahmed Amine Jerraya,Sungjoo Yoo,Diederik Verkest,Norbert Wehn

Publisher: Springer Science & Business Media

ISBN: 1402075286

Category: Computers

Page: 530

View: 2610

The evolution of electronic systems is pushing traditional silicon designers into areas that require new domains of expertise. In addition to the design of complex hardware, System-on-Chip (SoC) design requires software devel- ment, operating systems and new system architectures. Future SoC designs will resemble a miniature on-chip distributed computing system combining many types of microprocessors, re-configurable fabrics, application-specific hardware and memories, all communicating via an on-chip inter-connection network. Designing good SoCs will require insight into these new types of architectures, the embedded software, and the interaction between the embedded software, the SoC architecture, and the applications for which the SoC is designed. This book collects contributions from the Embedded Software Forum of the Design, Automation and Test in Europe Conference (DATE 03) that took place in March 2003 in Munich, Germany. The success of the Embedded Software Forum at DATE reflects the increasing importance of embedded software in the design of a System-on-Chip. Embedded Software for SoC covers all software related aspects of SoC design Embedded and application-domain specific operating systems, interplay between application, operating system, and architecture. System architecture for future SoC, application-specific architectures based on embedded processors and requiring sophisticated hardware/software interfaces. Compilers and interplay between compilers and architectures. Embedded software for applications in the domains of automotive, avionics, multimedia, telecom, networking, . . .
Release

Safety-Critical Real-Time Systems

Author: Bernd Krämer,Norbert Völker

Publisher: Springer Science & Business Media

ISBN: 1475764634

Category: Computers

Page: 90

View: 6539

Safety-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.
Release

Model-Driven Software Development

Author: Sami Beydeda,Matthias Book,Volker Gruhn

Publisher: Springer Science & Business Media

ISBN: 3540285547

Category: Computers

Page: 464

View: 2812

Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the core of model-driven development. Models can be refined and finally be transformed into a technical implementation, i.e., a software system. The aim of this book is to give an overview of the state of the art in model-driven software development. Achievements are considered from a conceptual point of view in the first part, while the second part describes technical advances and infrastructures. Finally, the third part summarizes experiences gained in actual projects employing model-driven development. Beydeda, Book and Gruhn put together the results from leading researchers in this area, both from industry and academia. The result is a collection of papers which gives both researchers and graduate students a comprehensive overview of current research issues and industrial forefront practice, as promoted by OMG’s MDA initiative.
Release