Embedded Software Development for Safety-Critical Systems

Author: Chris Hobbs

Publisher: CRC Press

ISBN: 1351688936

Category: Computers

Page: 344

View: 3815

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

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: 9164

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

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: 8679

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

Eingebettete Systeme

Author: Peter Marwedel

Publisher: Springer-Verlag

ISBN: 3540340491

Category: Computers

Page: 265

View: 1217

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

Fundamental Approaches to Software Engineering

Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Author: Tom Maibaum

Publisher: Springer Science & Business Media

ISBN: 3540672613

Category: Computers

Page: 378

View: 7447

ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised v e conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Die rent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Release

Software Engineering

Author: Ian Sommerville

Publisher: N.A

ISBN: 9783827370013

Category: Software Engineering

Page: 711

View: 9608

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: 5465

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

Ethics in Information Technology

Author: George Reynolds

Publisher: Cengage Learning

ISBN: 133767088X

Category: Computers

Page: 480

View: 9781

Develop a strong understanding of the legal, ethical, and societal implications of information technology with Reynolds' ETHICS IN INFORMATION TECHNOLOGY, 6E. The latest edition of this dynamic book provides up-to-date, thorough coverage of notable technology developments and their impact on business today. Readers examine issues surrounding professional codes of ethics, cyberattacks and cybersecurity, security risk assessment, privacy, electronic surveillance, freedom of expression, Internet censorship, protection and infringement of intellectual property, development of high-quality software systems, the impact of IT on society, social networking, and the ethics of IT corporations. Business vignettes, Critical-Thinking exercises, thought-provoking Cases and decision-making features prepare readers to make key business decisions and resolve ethical dilemmas in today’s workplace. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version.
Release

agendaCPS

Integrierte Forschungsagenda Cyber-Physical Systems

Author: Eva Geisberger,Manfred Broy

Publisher: Springer-Verlag

ISBN: 3642290981

Category: Computers

Page: 297

View: 1743

Der rasche Fortschritt der Informationstechnik ermöglicht, in Kombination mit der Mikrosystemtechnik, immer leistungsfähigere softwareintensive eingebettete Systeme und integrierte Anwendungen. Zunehmend werden diese untereinander, aber auch mit Daten und Diensten im Internet vernetzt. So entstehen intelligente Lösungen, die mithilfe von Sensoren und Aktoren Prozesse der physikalischen Welt erfassen, sie mit der virtuellen Softwarewelt verbinden und in Interaktion mit den Menschen überwachen und steuern. Auf diese Weise entstehen sogenannte Cyber-Physical Systems, Die agendaCPS gibt einen umfassenden Überblick über das Phänomen der Cyber-Physical Systems und die damit verbundenen vielfältigen Herausforderungen. Sie illustriert, welchen Stellenwert das Thema für Wirtschaft und Gesellschaft hat: Revolutionäre Anwendungen von Cyber-Physical Systems adressieren technische und gesellschaftliche Trends und Bedürfnisse; gleichzeitig durchdringen und verknüpfen sie immer mehr Lebensbereiche. Zu den Anwendungen zählen erweiterte Mobilität, intelligente Städte, integrierte telemedizinische Versorgung, Sicherheit sowie vernetzte Produktion und Energiewandel. Die agendaCPS zeigt auf, welche Technologien die Grundlage von Cyber-Physical Systems bilden und welches Innovationspotenzial ihnen innewohnt. Zudem macht sie deutlich, welche Forschungs- und Handlungsfelder besonders wichtig sind. Anhand von Zukunftsszenarien werden wesentliche Anwendungsdomänen dargestellt, allen voran integrierte Mobilität, Telemedizin und intelligente Energieversorgung. In diesen Zusammenhängen werden Chancen, aber auch Risiken für Deutschland durch Cyber-Physical Systems deutlich.
Release

Design and Safety Assessment of Critical Systems

Author: Marco Bozzano,Adolfo Villafiorita

Publisher: CRC Press

ISBN: 9781439803325

Category: Computers

Page: 298

View: 6991

Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone process. The growing complexity of these systems requires an increase in the skill and efficacy of safety engineers and encourages the adoption of formal and standardized techniques. An introduction to the area of design and verification of safety-critical systems, Design and Safety Assessment of Critical Systems focuses on safety assessment using formal methods. Beginning with an introduction to the fundamental concepts of safety and reliability, it illustrates the pivotal issues of design, development, and safety assessment of critical systems. The core of the book covers traditional notations, techniques, and procedures, including Fault Tree Analysis, FMECA, HAZOP, and Event Tree Analysis, and explains in detail how formal methods can be used to realize such procedures. It looks at the development process of safety-critical systems, and highlights influential management and organizational aspects. Finally, it describes verification and validation techniques and new trends in formal methods for safety and concludes with some widely adopted standards for the certification of safety-critical systems. Providing an in-depth and hands-on view of the application of formal techniques to advanced and critical safety assessments in a variety of industrial sectors, such as transportation, avionics and aerospace, and nuclear power, Design and Safety Assessment of Critical Systems allows anyone with a basic background in mathematics or computer science to move confidently into this advanced arena of safety assessment.
Release

Software Engineering for Embedded Systems

Methods, Practical Techniques, and Applications

Author: Robert Oshana

Publisher: Newnes

ISBN: 0124159419

Category: Computers

Page: 1200

View: 8660

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

Towards System Safety

Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999

Author: Felix Redmill,Tom Anderson

Publisher: Springer Science & Business Media

ISBN: 144710823X

Category: Computers

Page: 257

View: 7034

Each year the Safety-critical Systems Symposium brings together practitioners and researchers in a quest to inculcate a higher degree of safety engineering into the development and operation of critical software-based systems. On this, the Symposium's seventh occasion, it explores recent work and experience which lead us further 'towards system safety'. This book of the Proceedings covers the entire event. The first paper is the course text of a tutorial run on the first day of the Symposium, included here to provide readers with a coverage of the entire event. The next fourteen papers were presented, on the second and third days, in six sessions: Safety Cases, Systems Engineering, Safety Analysis and Safety Integrity, Tools for Software Safety, Solving Safety Problems, and Qllestions and Competences. Eight of the fourteen papers were authored in industry, four in universities, and two in other research establishments. Four of them report on work outside the UK: in France, Germany, Norway and Brazil. There are three papers on safety cases, each taking a different perspective. Skogstad from Norway and Boyce and Hamilton of GEC-Marconi both report on experience in the field, the former in attempting to apply European norms to project documentation and the latter in attempting to build up a retrospective safety case. The third paper, by Goodman, takes a more philosophical stance, examining the lack of useful measurement in safety assurance.
Release

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

Author: Sandeep Kumar Shukla,Jean-Pierre Talpin

Publisher: Springer Science & Business Media

ISBN: 9781441964007

Category: Technology & Engineering

Page: 266

View: 8670

Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose correctness, timely response, and reliability are of paramount importance. These requirement pose new challenges to system designers. This necessitates that a proper design science, based on "constructive correctness" be developed. Correct-by-construction design and synthesis of embedded software is done in a way so that post-development verification is minimized, and correct operation of embedded systems is maximized. This book presents the state of the art in the design of safety-critical, embedded software. It introduced readers to three major approaches to specification driven, embedded software synthesis/construction: synchronous programming based approaches, models of computation based approaches, and an approach based on concurrent programming with a co-design focused language. It is an invaluable reference for practitioners and researchers concerned with improving the product development life-cycle.
Release

Fundamental Approaches to Software Engineering

First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

Author: Egidio Astesiano

Publisher: Springer

ISBN: N.A

Category: Software engineering

Page: 331

View: 4381

This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, held in Lisbon, Portugal, in March/April 1998. Besides two invited presentations and three system demonstrations, this volume presents 18 revised full papers selected from a total of 59 submissions. Among the various fundamental software engineering issues addressed are formal methods, specification languages, refinement, object-oriented modeling, software architectures, statecharts, model checking, etc.
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: 5424

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

Distributed, Embedded and Real-time Java Systems

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

Publisher: Springer Science & Business Media

ISBN: 1441981578

Category: Technology & Engineering

Page: 378

View: 8611

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

Softwareentwicklung mit AUTOSAR

Grundlagen, Engineering, Management in der Praxis

Author: Olaf Kindel,Mario Friedrich

Publisher: dpunkt.verlag

ISBN: 386491261X

Category: Computers

Page: 292

View: 7644

AUTOSAR ist ein neuer Standard für die Entwicklung von Steuergeräten in Kraftfahrzeugen. Mit ihm werden Designprinzipien, wie sie sich in zahlreichen Softwareprojekten moderner Business-Anwendungen etabliert haben, auch für den Bereich eingebetteter Systeme erschlossen. Das Buch richtet sich an Informatiker, Ingenieure und Manager von Softwareprojekten, die aktuell vor die Aufgabe gestellt sind, AUTOSAR in ihre Projekte einzubinden. Es zeigt, welchen Nutzen AUTOSAR für alle Beteiligten bringt, aber auch welche Aspekte in AUTOSAR-Projekten neu berücksichtigt werden müssen.
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: 5637

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