Embedded Systems and Software Validation

2009-04-29

Author: Abhik Roychoudhury

Publisher: Morgan Kaufmann

ISBN: 9780080921259

Category: Computers

Page: 272

View: 117

Download BOOK »

Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and partially programmable or fixed-function components. This heterogeneity, coupled with issues such as hardware/software partitioning, mapping, scheduling, etc., leads to a large number of design possibilities, making performance debugging and validation of such systems a difficult problem. Embedded systems are used to control safety critical applications such as flight control, automotive electronics and healthcare monitoring. Clearly, developing reliable software/systems for such applications is of utmost importance. This book describes a host of debugging and verification methods which can help to achieve this goal. Covers the major abstraction levels of embedded systems design, starting from software analysis and micro-architectural modeling, to modeling of resource sharing and communication at the system level Integrates formal techniques of validation for hardware/software with debugging and validation of embedded system design flows Includes practical case studies to answer the questions: does a design meet its requirements, if not, then which parts of the system are responsible for the violation, and once they are identified, then how should the design be suitably modified?

Embedded Systems and Software Validation

2009

Author: Abhik Roychoudhury

Publisher: Morgan Kaufmann

ISBN: 0123742307

Category: Computers

Page: 254

View: 447

Download BOOK »

Developing reliable software/systems for such applications as flight control, automotive electronics, and healthcare monitoring is of utmost importance. This book describes a host of debugging and verification methods that can help to achieve this goal.

Global Specification and Validation of Embedded Systems

2007-07-07

Author: G. Nicolescu

Publisher: Springer Science & Business Media

ISBN: 9781402061530

Category: Technology & Engineering

Page: 148

View: 141

Download BOOK »

This book offers up a deep understanding of concepts and practices behind the composition of heterogeneous components. After the analysis of existing computation and execution models used for the specification and validation of different sub-systems, the book introduces a systematic approach to build an execution model for systems composed of heterogeneous components. Mixed continuous/discrete and hardware/software systems are used to illustrate these concepts. The benefit of reading this book is to arrive at a clear vision of the theory and practice of specification and validation of complex modern systems. Numerous examples give designers highly applicable solutions.

Software Engineering for Embedded Systems

2013-04-01

Author: Frank Schirrmeister

Publisher: Elsevier Inc. Chapters

ISBN: 9780128072349

Category: Technology & Engineering

Page: 1200

View: 426

Download BOOK »

When planning the development of modern embedded systems, hardware and software cannot be considered independently. Over the last two decades chip and system complexity has seen an enormous amount of growth, while more and more system functionality has moved from dedicated hardware implementation into software executing on general-purposed embedded processors. By 2010 the development effort for software had outgrown the development efforts for hardware, and the complexity trend continues in favor of software. Traditional design techniques such as independent hardware and software design are being challenged due to heterogeneous models and applications being integrated to create a complex system on chip. Using proper techniques of hardware-software codesign, designers consider the trade-offs in the way hardware and software components of a system work together to exhibit a specified behavior, given a set of performance goals and technology. This chapter will cover these topics.

Project Management of Complex and Embedded Systems

2008-10-22

Author: Kim H. Pries

Publisher: CRC Press

ISBN: 1420072064

Category: Business & Economics

Page: 376

View: 363

Download BOOK »

There are many books on project management and many on embedded systems, but few address the project management of embedded products from concept to production. Project Management of Complex and Embedded Systems: Ensuring Product Integrity and Program Quality uses proven Project Management methods and elements of IEEE embedded software development techniques, to explain how to deliver a reliable complex system to market. This volume begins with a general discussion of project management, followed by an examination of the various tools used before a project is underway. The book then delves into the specific project stages: concept, product development, process development, validation of the product and process, and release to production. Finally, post-project stages are explored, including failure reporting, analysis, corrective actions, and product support. The book draws heavily on information from Department of Defense sources as well as systems developed by the Automotive Industry Action Group, General Motors, Chrysler, and Ford to standardize the approach to designing and developing new products. These automotive development and production ideas have universal value, particularly the concept of process and design controls. The authors use these systems to explain project management techniques that can assist developers of any embedded system. The methods explored can be adapted toward mechanical development projects as well. The text includes numerous war stories offering concrete solutions to problems that might occur in production. Tables and illustrative figures are provided to further clarify the material. Organized sequentially to follow the normal life cycle of a project, this book helps project managers identify challenges before they become problems and resolve those issues that cannot be avoided.

Software Engineering for Embedded Systems

2013-04-01

Author: Robert Oshana

Publisher: Newnes

ISBN: 9780124159419

Category: Computers

Page: 1200

View: 502

Download BOOK »

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

Software Test Attacks to Break Mobile and Embedded Devices

2013-09-25

Author: Jon Duncan Hagar

Publisher: CRC Press

ISBN: 9781466575318

Category: Computers

Page: 377

View: 440

Download BOOK »

Address Errors before Users Find Them Using a mix-and-match approach, Software Test Attacks to Break Mobile and Embedded Devices presents an attack basis for testing mobile and embedded systems. Designed for testers working in the ever-expanding world of "smart" devices driven by software, the book focuses on attack-based testing that can be used by individuals and teams. The numerous test attacks show you when a software product does not work (i.e., has bugs) and provide you with information about the software product under test. The book guides you step by step starting with the basics. It explains patterns and techniques ranging from simple mind mapping to sophisticated test labs. For traditional testers moving into the mobile and embedded area, the book bridges the gap between IT and mobile/embedded system testing. It illustrates how to apply both traditional and new approaches. For those working with mobile/embedded systems without an extensive background in testing, the book brings together testing ideas, techniques, and solutions that are immediately applicable to testing smart and mobile devices.

Software Engineering of Fault Tolerant Systems

2007

Author: Patrizio Pelliccione

Publisher: World Scientific

ISBN: 9789812705037

Category: Technology & Engineering

Page: 293

View: 146

Download BOOK »

When architecting dependable systems, fault tolerance is required to improve the overall system robustness. Many studies have been proposed, but the solutions are usually commissioned late during the design and implementation phases of the software life-cycle (e.g., Java and Windows NT exception handling), thus reducing the error recovery effectiveness. Since the system design typically models only normal behaviors of the system while ignoring exceptional ones, the generated system implementation is unable to handle abnormal events. Consequently, the system may fail in unexpected ways due to some faults. Researchers have advocated that fault tolerance management during the entire life-cycle improves the overall system robustness and that different classes of exceptions must be identified for each identified phase of software development, depending on the abstraction level of the software system being modeled. This book builds on this trend and investigates how fault tolerance mechanisms can be used when engineering a software system. New problems will arise, new models are needed at different abstraction levels, methodologies for mode driven engineering of such systems must be defined, new technologies are required, and new validation and verification environments are necessary.

Co-verification of Hardware and Software for ARM SoC Design

2004-09-04

Author: Jason Andrews

Publisher: Elsevier

ISBN: 0080476902

Category: Technology & Engineering

Page: 288

View: 808

Download BOOK »

Hardware/software co-verification is how to make sure that embedded system software works correctly with the hardware, and that the hardware has been properly designed to run the software successfully -before large sums are spent on prototypes or manufacturing. This is the first book to apply this verification technique to the rapidly growing field of embedded systems-on-a-chip(SoC). As traditional embedded system design evolves into single-chip design, embedded engineers must be armed with the necessary information to make educated decisions about which tools and methodology to deploy. SoC verification requires a mix of expertise from the disciplines of microprocessor and computer architecture, logic design and simulation, and C and Assembly language embedded software. Until now, the relevant information on how it all fits together has not been available. Andrews, a recognized expert, provides in-depth information about how co-verification really works, how to be successful using it, and pitfalls to avoid. He illustrates these concepts using concrete examples with the ARM core - a technology that has the dominant market share in embedded system product design. The companion CD-ROM contains all source code used in the design examples, a searchable e-book version, and useful design tools. * The only book on verification for systems-on-a-chip (SoC) on the market * Will save engineers and their companies time and money by showing them how to speed up the testing process, while still avoiding costly mistakes * Design examples use the ARM core, the dominant technology in SoC, and all the source code is included on the accompanying CD-Rom, so engineers can easily use it in their own designs

Model-Based Testing for Embedded Systems

2011-09-15

Author: Justyna Zander

Publisher: CRC Press

ISBN: 9781439818473

Category: Computers

Page: 688

View: 201

Download BOOK »

What the experts have to say about Model-Based Testing for Embedded Systems: "This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems. "It is rare that a book can take recent research advances and present them in a form ready for practical use, but this book accomplishes that and more. I am anxious to recommend this in my consulting and to teach a new class to my students." —Dr. Jeff Offutt, professor of software engineering, George Mason University, Fairfax, Virginia, USA "This handbook is the best resource I am aware of on the automated testing of embedded systems. It is thorough, comprehensive, and authoritative. It covers all important technical and scientific aspects but also provides highly interesting insights into the state of practice of model-based testing for embedded systems." —Dr. Lionel C. Briand, IEEE Fellow, Simula Research Laboratory, Lysaker, Norway, and professor at the University of Oslo, Norway "As model-based testing is entering the mainstream, such a comprehensive and intelligible book is a must-read for anyone looking for more information about improved testing methods for embedded systems. Illustrated with numerous aspects of these techniques from many contributors, it gives a clear picture of what the state of the art is today." —Dr. Bruno Legeard, CTO of Smartesting, professor of Software Engineering at the University of Franche-Comté, Besançon, France, and co-author of Practical Model-Based Testing

System-level Test and Validation of Hardware/Software Systems

2006-03-30

Author: Matteo Sonza Reorda

Publisher: Springer Science & Business Media

ISBN: 9781846281457

Category: Technology & Engineering

Page: 179

View: 252

Download BOOK »

New manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, termed system-on-chip (SOC), together with its associated manufacturing problems, represents a real challenge for designers. SOC is also reshaping approaches to test and validation activities. These are beginning to migrate from the traditional register-transfer or gate levels of abstraction to the system level. Until now, test and validation have not been supported by system-level design tools so designers have lacked the infrastructure to exploit all the benefits stemming from the adoption of the system level of abstraction. Research efforts are already addressing this issue. This monograph provides a state-of-the-art overview of the current validation and test techniques by covering all aspects of the subject including: modeling of bugs and defects; stimulus generation for validation and test purposes (including timing errors; design for testability.

Safety of Computer Control Systems 1990 (SAFECOMP'90)

2014-06-28

Author: B.K. Daniels

Publisher: Elsevier

ISBN: 9781483298351

Category: Technology & Engineering

Page: 185

View: 121

Download BOOK »

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.

Full Books