MicroC/OS II Second Edition describes the design and implementation of the MicroC/OS-II real-time operating system (RTOS). In addition to its value as a reference to the kernel, it is an extremely detailed and highly readable design study particularly useful to the embedded systems student. While documenting the design and implementation of the ker

This book captures the essence of the current state of research in active media technology and identifies the new changes and opportunities — both current and future — in the field. Distinguished researchers such as Prof Ning Zhong from the Maebashi Institute of Technology, Prof John Yen from the Pennsylvania State University, and Prof Sanker K Pal from the Indian Statistical Institute present their research papers.

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

Here is a laboratory workbook filled with interesting and challenging projects for digital logic design and embedded systems classes. The workbook introduces you to fully integrated modern CAD tools, logic simulation, logic synthesis using hardware description languages, design hierarchy, current generation field programmable gate array technology, and SoPC design. Projects cover such areas as serial communications, state machines with video output, video games and graphics, robotics, pipelined RISC processor cores, and designing computer systems using a commercial processor core.

This book constitutes the refereed proceedings of the 8th China Conference of Wireless Sensor Networks, held in Xi'an, China, in October/November 2014. The 64 revised full papers were carefully reviewed and selected from 365 submissions. The papers are organized in topical sections on power control and management; network architecture and deployment; positioning and location-based services in wireless sensor networks; security and privacy; wireless communication systems and protocols; routing algorithm and transport protocols in wireless sensor networks; wireless communication protocols and sensor data quality, integrity and trustworthiness; Internet of Things; wireless mobile network architecture, in-vehicle network; indoor positioning and location-based services; applications of wireless sensor networks.

Real-time operating systems (RTOS) are ubiquitous in embedded systems. This chapter explains what a real-time kernel is and what services it provides the product developer, and explains some of the internals of a kernel. A kernel is a component of an RTOS. In this chapter, we’ll look at task management, interrupt handling, scheduling, context switching, time management, resource management, message passing, priority inversions and much more.

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