- Table View
- List View
Embedded Software Development for Safety-Critical Systems, Second Edition
by Chris HobbsThis is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application. It is aimed at those creating a product that must satisfy one or more of the international standards relating to safety-critical applications, including IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, or related standards. Of the first edition, Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com said, "I highly recommend Mr. Hobbs' book."
Embedded Software Development with C
by Li Cao Kai Qian David Den HaringEmbedded Software Development With C offers both an effectual reference for professionals and researchers, and a valuable learning tool for students by laying the groundwork for a solid foundation in the hardware and software aspects of embedded systems development. Key features include a resource for the fundamentals of embedded systems design and development with an emphasis on software, an exploration of the 8051 microcontroller as it pertains to embedded systems, comprehensive tutorial materials for instructors to provide students with labs of varying lengths and levels of difficulty, and supporting website including all sample codes, software tools and links to additional online references.
Embedded Software System Testing: Automatic Testing Solution Based on Formal Method
by Yongfeng Yin Bo JiangThis book introduces embedded software engineering and management methods, proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems.The quality and reliability of embedded systems have become a great concern, faced with the rising demands for the complexity and scale of system hardware and software. The authors propose and expound on the testing theory and techniques of embedded software systems and relevant environment construction technologies, providing effective solutions for the automated testing of embedded systems. Through analyzing typical testing examples of the complex embedded software systems, the authors verify the effectiveness of the theories, technologies and methods proposed in the book.In combining the fundamental theory and technology and practical solutions, this book will appeal to researchers and students studying computer science, software engineering, and embedded systems, as well as professionals and practitioners engaged in the development, verification, and maintenance of embedded systems in the military and civilian fields.
Embedded Software Timing: Methodik, Analyse und Praxistipps am Beispiel Automotive
by Peter GliwaDie Zahl der Embedded Systeme, die uns im Alltag begegnen, wächst stetig. Gleichzeitig nimmt die Komplexität der Software immer weiter zu. In vielen Bereichen erhält Multicore Einzug, was die Komplexität nochmals erhöht.Ohne korrektes zeitliches Verhalten („Timing“) gibt es keine sichere und zuverlässige Embedded Software. Dieses Buch hilft gleichermaßen das Timing schon früh im Entwicklungsprozess zu berücksichtigen und akute Timingprobleme zu lösen. Auch der Aspekt der Laufzeitabsicherung kommt nicht zu kurz.Auch wenn die meisten Praxisbeispiele aus dem Automobilbereich kommen, ist der allergrößte Teile des Buches unmittelbar übertragbar auf andere Bereiche.
Embedded Software Verification and Debugging
by Djones Lettnin Markus WinterholerThis book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e. g. , automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.
Embedded System Design
by Peter MarwedelUntil the late eighties, information processing was associated with large mainframe computers and huge tape drives. During the nineties, this trend shifted towards information processing with personal computers, or PCs. The trend towards miniaturization continues. In the future, most of the information processing systems will be quite small and embedded into larger products such as transportation and fabrication equipment. Hence, these kinds of systems are called embedded systems. It is expected that the total market volume of embedded systems will be significantly larger than that of traditional information processing systems such as PCs and mainframes. Embedded systems share a number of common characteristics. For example, they must be dependable, efficient, meet real-time constraints and require customized user interfaces (instead of generic keyboard and mouse interfaces). Therefore, it makes sense to consider common principles of embedded system design. Embedded System Design starts with an introduction into the area and a survey of specification languages for embedded systems. A brief overview is provided of hardware devices used for embedded systems and also presents the essentials of software design for embedded systems. Real-time operating systems and real-time scheduling are covered briefly. Techniques for implementing embedded systems are also discussed, using hardware/software codesign. It closes with a survey on validation techniques. Embedded System Design can be used as a text book for courses on embedded systems and as a source which provides pointers to relevant material in the area for PhD students and teachers. The book assumes a basic knowledge of information processing hardware and software.
Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things (Embedded Systems)
by Peter MarwedelA unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, including real-time operating systems. The author also discusses evaluation and validation techniques for embedded systems and provides an overview of techniques for mapping applications to execution platforms, including multi-core platforms. Embedded systems have to operate under tight constraints and, hence, the book also contains a selected set of optimization techniques, including software optimization techniques. The book closes with a brief survey on testing. This fourth edition has been updated and revised to reflect new trends and technologies, such as the importance of cyber-physical systems (CPS) and the Internet of things (IoT), the evolution of single-core processors to multi-core processors, and the increased importance of energy efficiency and thermal issues.
Embedded System Design with ARM Cortex-M Microcontrollers: Applications with C, C++ and MicroPython
by Cem Ünsalan Hüseyin Deniz Gürhan Mehmet Erkin YücelThis textbook introduces basic and advanced embedded system topics through Arm Cortex M microcontrollers, covering programmable microcontroller usage starting from basic to advanced concepts using the STMicroelectronics Discovery development board. Designed for use in upper-level undergraduate and graduate courses on microcontrollers, microprocessor systems, and embedded systems, the book explores fundamental and advanced topics, real-time operating systems via FreeRTOS and Mbed OS, and then offers a solid grounding in digital signal processing, digital control, and digital image processing concepts — with emphasis placed on the usage of a microcontroller for these advanced topics. The book uses C language, “the” programming language for microcontrollers, C++ language, and MicroPython, which allows Python language usage on a microcontroller. Sample codes and course slides are available for readers and instructors, and a solutions manual is available to instructors. The book will also be an ideal reference for practicing engineers and electronics hobbyists who wish to become familiar with basic and advanced microcontroller concepts.
Embedded System Technology
by Xingmian Sha Zhonghai Wu Xing ZhangThis book constitutes the refereed proceedings of the 13thNational Conference on Embedded System Technology, ESTC 2015, held in Beijing,China, in October 2015. The 18 revised full papers presented werecarefully reviewed and selected from 63 papers. The topics cover a broad rangeof fields focusing on research about embedded system technologies, such assmart hardware, system and network, applications and algorithm.
Embedded Systems: A Contemporary Design Tool
by James K. PeckolEmbedded 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.
Embedded Systems – A Hardware-Software Co-Design Approach: Unleash the Power of Arduino!
by Bashir I MorshedThis textbook introduces the concept of embedded systems with exercises using Arduino Uno. It is intended for advanced undergraduate and graduate students in computer science, computer engineering, and electrical engineering programs. It contains a balanced discussion on both hardware and software related to embedded systems, with a focus on co-design aspects. Embedded systems have applications in Internet-of-Things (IoT), wearables, self-driving cars, smart devices, cyberphysical systems, drones, and robotics. The hardware chapter discusses various microcontrollers (including popular microcontroller hardware examples), sensors, amplifiers, filters, actuators, wired and wireless communication topologies, schematic and PCB designs, and much more. The software chapter describes OS-less programming, bitmath, polling, interrupt, timer, sleep modes, direct memory access, shared memory, mutex, and smart algorithms, with lots of C-code examples for Arduino Uno. Other topics discussed are prototyping, testing, verification, reliability, optimization, and regulations. Appropriate for courses on embedded systems, microcontrollers, and instrumentation, this textbook teaches budding embedded system programmers practical skills with fun projects to prepare them for industry products.Introduces embedded systems for wearables, Internet-of-Things (IoT), robotics, and other smart devices;Offers a balanced focus on both hardware and software co-design of embedded systems;Includes exercises, tutorials, and assignments.
Embedded Systems and Artificial Intelligence: Proceedings of ESAI 2019, Fez, Morocco (Advances in Intelligent Systems and Computing #1076)
by Suresh Chandra Satapathy Vikrant Bhateja Hassan SatoriThis book gathers selected research papers presented at the First International Conference on Embedded Systems and Artificial Intelligence (ESAI 2019), held at Sidi Mohamed Ben Abdellah University, Fez, Morocco, on 2–3 May 2019. Highlighting the latest innovations in Computer Science, Artificial Intelligence, Information Technologies, and Embedded Systems, the respective papers will encourage and inspire researchers, industry professionals, and policymakers to put these methods into practice.
Embedded Systems and Robotics with Open Source Tools
by Nilanjan Dey Amartya MukherjeeEmbedded Systems and Robotics with Open-Source Tools provides easy-to-understand and easy-to-implement guidance for rapid prototype development. Designed for readers unfamiliar with advanced computing technologies, this highly accessible book: Describes several cutting-edge open-source software and hardware technologies Examines a number of embedded computer systems and their practical applications Includes detailed projects for applying rapid prototype development skills in real time Embedded Systems and Robotics with Open-Source Tools effectively demonstrates that, with the help of high-performance microprocessors, microcontrollers, and highly optimized algorithms, one can develop smarter embedded devices.
Embedded Systems Architecture: Explore architectural concepts, pragmatic design patterns, and best practices to produce robust systems
by Daniele LacameraLearn to design and develop safe and reliable embedded systemsKey FeaturesIdentify and overcome challenges in embedded environmentsUnderstand the steps required to increase the security of IoT solutionsBuild safety-critical and memory-safe parallel and distributed embedded systemsBook DescriptionEmbedded systems are self-contained devices with a dedicated purpose. We come across a variety of fields of applications for embedded systems in industries such as automotive, telecommunications, healthcare and consumer electronics, just to name a few.Embedded Systems Architecture begins with a bird's eye view of embedded development and how it differs from the other systems that you may be familiar with. You will first be guided to set up an optimal development environment, then move on to software tools and methodologies to improve the work flow. You will explore the boot-up mechanisms and the memory management strategies typical of a real-time embedded system. Through the analysis of the programming interface of the reference microcontroller, you'll look at the implementation of the features and the device drivers. Next, you'll learn about the techniques used to reduce power consumption. Then you will be introduced to the technologies, protocols and security aspects related to integrating the system into IoT solutions.By the end of the book, you will have explored various aspects of embedded architecture, including task synchronization in a multi-threading environment, and the safety models adopted by modern real-time operating systems.What you will learnParticipate in the design and definition phase of an embedded productLearn about architectural design patterns and engineering tradeoffsBuild an embedded development lab and optimize the workflowWrite memory-safe codeUnderstand the architecture behind the most communication interfacesUnderstand the design and development patterns for connected and distributed devices in the IoTMaster multitask parallel execution patterns and real-time operating systemsWho this book is forIf you’re a software developer or designer wanting to learn about embedded programming, this is the book for you. You’ll also find this book useful if you’re a less experienced embedded programmer willing to expand your knowledge.
Embedded Systems Architecture: Design and write software for embedded devices to build safe and connected systems, 2nd Edition
by Daniele LacameraDesign safe and reliable software for embedded systems and explore the internals of device drivers, RTOS, and TEEKey FeaturesIdentify and overcome challenges in embedded environmentsUnderstand and implement the steps required to increase the security of IoT solutionsBuild safety-critical and memory-safe parallel and distributed embedded systemsBook DescriptionEmbedded Systems Architecture begins with a bird's-eye view of embedded development and how it differs from the other systems that you may be familiar with. This book will help you get the hang of the internal working of various components in real-world systems.You'll start by setting up a development environment and then move on to the core system architectural concepts, exploring system designs, boot-up mechanisms, and memory management. As you progress through the topics, you'll explore the programming interface and device drivers to establish communication via TCP/IP and take measures to increase the security of IoT solutions. Finally, you'll be introduced to multithreaded operating systems through the development of a scheduler and the use of hardware-assisted trusted execution mechanisms.With the help of this book, you will gain the confidence to work with embedded systems at an architectural level and become familiar with various aspects of embedded software development on microcontrollers—such as memory management, multithreading, and RTOS—an approach oriented to memory isolation.What you will learnParticipate in the design and definition phase of an embedded productGet to grips with writing code for ARM Cortex-M microcontrollersBuild an embedded development lab and optimize the workflowSecure embedded systems with TLSDemystify the architecture behind the communication interfacesUnderstand the design and development patterns for connected and distributed devices in the IoTMaster multitasking parallel execution patterns and real-time operating systemsBecome familiar with Trusted Execution Environment (TEE)Who this book is forIf you're a software developer or designer looking to learn about embedded programming, this is the book for you. You'll also find this book useful if you're a beginner or a less experienced embedded programmer on a quest to expand your knowledge on embedded systems.
Embedded Systems Circuits and Programming
by Julio Sanchez Maria P. CantonDuring the development of an engineered product, developers often need to create an embedded system—a prototype—that demonstrates the operation/function of the device and proves its viability. Offering practical tools for the development and prototyping phases, Embedded Systems Circuits and Programming provides a tutorial on microcontroller programming and the basics of embedded design. The book focuses on several development tools and resources: Standard and off-the-shelf components, such as input/output devices, integrated circuits, motors, and programmable microcontrollers The implementation of circuit prototypes via breadboards, the in-house fabrication of test-time printed circuit boards (PCBs), and the finalization by the manufactured board Electronic design programs and software utilities for creating PCBs Sample circuits that can be used as part of the targeted embedded system The selection and programming of microcontrollers in the circuit For those working in electrical, electronic, computer, and software engineering, this hands-on guide helps you successfully develop systems and boards that contain digital and analog components and controls. The text includes easy-to-follow sample circuits and their corresponding programs, enabling you to use them in your own work. For critical circuits, the authors provide tested PCB files.
Embedded Systems Design: An Introduction to Processes, Tools, and Techniques
by Arnold Berger* Hardware/Software Partitioning * Cross-Platform Development * Firmware Debugging * Performance Analysis * Testing & Integration Get into embedded systems programming with a clear understanding of the development cycle and the specialized aspects of
Embedded Systems Design Based on Formal Models of Computation
by Zoran Salcic Ivan Radojevic"Models of Computation for Heterogeneous Embedded Systems" presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combining finite state machines (FSM) with synchronous dataflow graphs (SDFG). FSMs are connected in the same way as in Argos (a Statecharts variant with purely synchronous semantics) using three operators: synchronous parallel, refinement and hiding. The fourth operator, called asynchronous parallel, is introduced in DFCharts to connect FSMs with SDFGs. In the formal semantics of DFCharts, the operation of an SDFG is represented as an FSM. Using this representation, SDFGs are merged with FSMs so that the behaviour of a complete DFCharts specification can be expressed as a single, flat FSM. This allows system properties to be verified globally. The practical application of DFCharts has been demonstrated by linking it to widely used system-level languages Java, Esterel and SystemC.
Embedded Systems Design for High-Speed Data Acquisition and Control
by Maurizio Di Paolo EmilioThis book serves as a practical guide for practicing engineers who need to design embedded systems for high-speed data acquisition and control systems. A minimum amount of theory is presented, along with a review of analog and digital electronics, followed by detailed explanations of essential topics in hardware design and software development. The discussion of hardware focuses on microcontroller design (ARM microcontrollers and FPGAs), techniques of embedded design, high speed data acquisition (DAQ) and control systems. Coverage of software development includes main programming techniques, culminating in the study of real-time operating systems. All concepts are introduced in a manner to be highly-accessible to practicing engineers and lead to the practical implementation of an embedded board that can be used in various industrial fields as a control system and high speed data acquisition system.
Embedded Systems Design using the MSP430FR2355 LaunchPad™
by Brock J. LaMeresThis textbook for courses in Embedded Systems introduces students to necessary concepts, through a hands-on approach. LEARN BY EXAMPLE – This book is designed to teach the material the way it is learned, through example. Every concept is supported by numerous programming examples that provide the reader with a step-by-step explanation for how and why the computer is doing what it is doing. LEARN BY DOING – This book targets the Texas Instruments MSP430 microcontroller. This platform is a widely popular, low-cost embedded system that is used to illustrate each concept in the book. The book is designed for a reader that is at their computer with an MSP430FR2355 LaunchPadTM Development Kit plugged in so that each example can be coded and run as they learn. LEARN BOTH ASSEMBLY AND C – The book teaches the basic operation of an embedded computer using assembly language so that the computer operation can be explored at a low-level. Once more complicated systems are introduced (i.e., timers, analog-to-digital converters, and serial interfaces), the book moves into the C programming language. Moving to C allows the learner to abstract the operation of the lower-level hardware and focus on understanding how to “make things work”. BASED ON SOUND PEDAGOGY - This book is designed with learning outcomes and assessment at its core. Each section addresses a specific learning outcome that the student should be able to “do” after its completion. The concept checks and exercise problems provide a rich set of assessment tools to measure student performance on each outcome.
Embedded Systems Design with FPGAs
by Dionisios Pnevmatikatos Peter Athanas Nicolas SklavosThis book presents the methodologies and for embedded systems design, using field programmable gate array (FPGA) devices, for the most modern applications. Coverage includes state-of-the-art research from academia and industry on a wide range of topics, including applications, advanced electronic design automation (EDA), novel system architectures, embedded processors, arithmetic, and dynamic reconfiguration.
Embedded Systems Design with Special Arithmetic and Number Systems
by Amir Sabbagh Molahosseini Leonel Seabra de Sousa Chip-Hong ChangThis book introduces readers to alternative approaches to designing efficient embedded systems using unconventional number systems. The authors describe various systems that can be used for designing efficient embedded and application-specific processors, such as Residue Number System, Logarithmic Number System, Redundant Binary Number System Double-Base Number System, Decimal Floating Point Number System and Continuous Valued Number System. Readers will learn the strategies and trade-offs of using unconventional number systems in application-specific processors and be able to apply and design appropriate arithmetic operations from these number systems to boost the performance of digital systems.
Embedded Systems Development: From Functional Models to Implementations
by Alberto Sangiovanni-Vincentelli Peter Marwedel Haibo Zeng Marco Di NataleThis book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a better understanding of the ways in which new development flows can be constructed, going from system-level modeling to the correct and predictable generation of a distributed implementation, leveraging current and future research results.
Embedded Systems Dictionary
by Jack GanssleThis technical dictionary defines the 2,500 most-used words in the embedded systems field, with over 4,500 entries and cross-references. Designed to serve both the technical and non-technical audience, this book defines advanced terms in two steps. The fi
Embedded Systems für IoT
by Felix HüningIntelligente Systeme und Komponenten sind die zentralen Elemente des Internets der Dinge (Internet of Things, IoT). Die Realisierung dieser Komponenten erfordert detaillierte Kenntnisse sowohl der zugrunde liegenden Hardware als auch der dazugehörigen Software. In dem Buch werden alle wesentlichen Aspekte der Hard- und Software von Embedded Systems für IoT dargestellt: von Integrated Solution Development Environment (ISDE) über Board Support Package (BSP), Mikrocontroller, Software-Schichten, Hardware Abstraction Layer (HAL) und Real-Time Operating System (RTOS) bis zu Framework and Functional Libraries, Middleware und Connectivity.Die Komplexität der Systeme als auch der Hard- und Software nimmt von Jahr zu Jahr zu und stellt Anwender vor immer neue Herausforderungen. Damit Leser trotzdem den Überblick behalten und ihnen die Verknüpfung von Theorie und Praxis gelingt, verwendet der Autor ein durchgehendes Praxisbeispiel. Anhand der Renesas SynergyTM Platform beschreibt er den generellen Aufbau der Hard- und Software von eingebetteten Systemen. Diese Plattform dient dann auch als Ausgangsbasis für den praktischen Teil des Buchs. Aufbauend auf einem Renesas SynergyTM StarterKit können Leser einer Schritt-für-Schritt-Anleitung für die Entwicklung einer eigenen IoT-Anwendung aus dem Bereich Smart Home folgen. Auf diese Art und Weise werden Leser in die Lage versetzt, ihr theoretisches Wissen direkt anzuwenden.