Cover Book Actions

Embedded C Coding StandardMichael Barr

Netrino’s Embedded C Coding Standard was developed from the ground up to minimize bugs in firmware, by focusing on practical rules that keep bugs out-while also improving the maintainability and portability of embedded software. The coding … more

Embedded C Coding Standard
Michael Barr
Netrino Institute , English

Introduction to Software TestingAmmann/Offutt

Extensively class tested, this text takes an innovative approach to explaining the process of software testing: it defines testing as the process of applying a few well-defined, general-purpose test criteria to a structure or model of the s… more

Introduction to Software Testing
Cambridge University Press , English

Embedded Software: Second In...

This book constitutes the refereed proceedings of the Second International Conference on Embedded Software, EMSOFT 2002, held in Grenoble, France in October 2002.The book presents 13 invited papers by leading researchers and 17 revised full… more

Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science)
Springer , English

Component-Based Software Dev...Colin Atkinson, Christian Bu...

This book provides a good opportunity for software engineering practitioners and researchers to get in sync with the current state-of-the-art and future trends in component-based embedded software research. The book is based on a selective … more

Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends (Lecture Notes in Computer Science / Programming and Software Engineering)
Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper
Springer , English

FPGA-based Prototyping Metho...Doug Amos, Austin Lesea, Ren...

This book collects the best practices FPGA-based Prototyping of SoC and ASIC devices into one place for the first time, drawing upon not only the authors’ own knowledge but also from leading practitioners worldwide in order to present a sna… more

FPGA-based Prototyping Methodology Manual: Best Practices in Design-for-Prototyping
Doug Amos, Austin Lesea, René Richter
Synopsys Press , English

Synthesis of Embedded Softwa...

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… more

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Springer , English

Ambient Intelligence: Impact...

The emerging Ambient Intelligence vision has the potential to fundamentally change our world. This volume is a preview into the next era of computing. It investigates the impact of Ambient Intelligence on embedded system design. Combining v… more

Ambient Intelligence: Impact on Embedded System Design
Springer , English

Practical Model-Based Testin...Mark Utting, Bruno Legeard

This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to u… more

Practical Model-Based Testing: A Tools Approach
Mark Utting, Bruno Legeard
Morgan Kaufmann , English

Design Methods for Reactive ...R. J. Wieringa

Design Methods for Reactive Systems describes methods and techniques for the design of software systems—particularly reactive software systems that engage in stimulus-response behavior. Such systems, which include information systems, workf… more

Design Methods for Reactive Systems: Yourdon, Statemate, and the UML (The Morgan Kaufmann Series in Software Engineering and Programming)
R. J. Wieringa
Morgan Kaufmann , English

Computers as Components: Pri...Wayne Wolf

This book was the first to bring essential knowledge on embedded systems technology and techniques under a single cover. This second edition has been updated to the state-of-the-art by reworking and expanding performance analysis with more… more

Computers as Components: Principles of Embedded Computing System Design (The Morgan Kaufmann Series in Computer Architecture and Design)
Wayne Wolf
Morgan Kaufmann , English

Programming Embedded Systems...Michael Barr, Anthony Massa

If you have programming experience and a familiarity with C—the dominant language in embedded systems—Programming Embedded Systems, Second Edition is exactly what you need to get started with embedded software. This software is ubiquitous… more

Programming Embedded Systems: With C and GNU Development Tools
Michael Barr, Anthony Massa
O’Reilly Media , English

A Platform-Centric Approach ...vijay madisetti, Chonlameth ...

The platform-centric SoC method is aimed at the design of today’s SoC systems with emphasis on real-time, embedded systems. The approach provides a guideline and an SoC design environment that promotes an integration of state-of-the-art too… more

A Platform-Centric Approach to System-on-Chip (SOC) Design
vijay madisetti, Chonlameth Arpnikanondt
Springer , English

Software Engineering for Emb...

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 ai… more

Software Engineering for Embedded Systems: Methods, Practical Techniques, and Applications (Expert Guide)
Newnes , English