- Table View
- List View
Embedded and Real-Time Operating Systems
by K. C. WangThis book covers the basic concepts and principles of operating systems, showing how to apply them to the design and implementation of complete operating systems for embedded and real-time systems. It includes all the foundational and background information on ARM architecture, ARM instructions and programming, toolchain for developing programs, virtual machines for software implementation and testing, program execution image, function call conventions, run-time stack usage and link C programs with assembly code.Embedded and Real-Time Operating Systems describes the design and implementation of a complete OS for embedded systems in incremental steps, explaining the design principles and implementation techniques. For Symmetric Multiprocessing (SMP) embedded systems, the author examines the ARM MPcore processors, which include the SCU and GIC for interrupts routing and interprocessor communication and synchronization by Software Generated Interrupts (SGIs).This Second Edition covers ARM64 architecture and programming. These include exception levels, vector tables and exceptions handling, GICv3 programming and interrupt processing. It covers virtual to physical address mappings in ARMv8, and shows a 64-bit OS with kernel space in EL1 and separate user spaces in EL0. It also covers ARM TrustZone technology and secure systems. These include hardware and software architectures for secure and normal worlds, interactions and switching between the two worlds. It shows a secure world comprising a secure monitor in EL3 to provide service functions, and a normal world comprising processes in non-secure EL1, which use SMC to access service functions in the secure world.Throughout the book, complete working sample systems demonstrate the design principles and implementation techniques. The content is suitable for advanced-level and graduate students working in software engineering, programming, and systems theory.
Embedded Control for Mobile Robotic Applications (IEEE Press Series on Control Systems Theory and Applications)
by Leena Vachhani Pranjal Vyas Arunkumar G. K.An all-in-one resource for designing and implementing embedded control in mobile robotics In Embedded Control for Mobile Robotic Applications, a distinguished trio of researchers delivers an authoritative and fulsome resource for understanding embedded control and robotics. The book includes coverage of a variety of embedded platforms, their use in controller implementation, stability analyses of designed controllers, and two new approaches for designing embedded controllers. The authors offer a full chapter on Field-Programmable-Gate-Array (FPGA) architecture development for controller design that is perfect for both practitioners and students taking robotics courses and provide a companion website that includes MATLAB codes for simulation and embedded platform-specific code for mobile robotic applications (in Embedded C and Verilog). The two approaches discussed by the authors—the top-down methodology and the bottom-up methodology—are of immediate practical utility to both practicing professionals in the field and students studying control applications and mobile robotics. The book also offers: A thorough introduction to embedded control, including processor, IC, and design technology, as well as a discussion of limitations in embedded control design Comprehensive explorations of the bottom-up and top-down methods, including computations using CORDIC, interval arithmetic, sliding surface design, and switched nonlinear systems Practical discussions of generic FPGA architecture design, including Verilog, PID controllers, DC motors and Encoder, and a systematic approach for designing architecture using FSMD In-depth examinations of discrete-time controller design, including the approximation to discrete-time transfer function and embedded implementation stability Perfect for practitioners working in embedded control design and control applications in robotics, Embedded Control for Mobile Robotic Applications will also earn a place in the libraries of academicians, researchers, senior undergraduate students, and graduate students in these fields.
Embedded, Cyber-Physical, and IoT Systems: Essays Dedicated to Marilyn Wolf on the Occasion of Her 60th Birthday
by Shuvra S. Bhattacharyya Miodrag Potkonjak Senem VelipasalarThis Festschrift is in honor of Marilyn Wolf, on the occasion of her 60th birthday. Prof. Wolf is a renowned researcher and educator in Electrical and Computer Engineering, who has made pioneering contributions in all of the major areas in Embedded, Cyber-Physical, and Internet of Things (IoT) Systems. This book provides a timely collection of contributions that cover important topics related to Smart Cameras, Hardware/Software Co-Design, and Multimedia applications.Embedded systems are everywhere; cyber-physical systems enable monitoring and control of complex physical processes with computers; and IoT technology is of increasing relevance in major application areas, including factory automation, and smart cities. Smart cameras and multimedia technologies introduce novel opportunities and challenges in embedded, cyber-physical and IoT applications. Advanced hardware/software co-design methodologies provide valuable concepts and tools for addressing these challenges.The diverse topics of the chapters in this Festschrift help to reflect the great breadth and depth of Marilyn Wolf's contributions in research and education. The chapters have been written by some of Marilyn’s closest collaborators and colleagues.
Embedded Deep Learning: Algorithms, Architectures and Circuits for Always-on Neural Network Processing
by Bert Moons Daniel Bankman Marian VerhelstThis book covers algorithmic and hardware implementation techniques to enable embedded deep learning. The authors describe synergetic design approaches on the application-, algorithmic-, computer architecture-, and circuit-level that will help in achieving the goal of reducing the computational cost of deep learning algorithms. The impact of these techniques is displayed in four silicon prototypes for embedded deep learning.Gives a wide overview of a series of effective solutions for energy-efficient neural networks on battery constrained wearable devices;Discusses the optimization of neural networks for embedded deployment on all levels of the design hierarchy – applications, algorithms, hardware architectures, and circuits – supported by real silicon prototypes;Elaborates on how to design efficient Convolutional Neural Network processors, exploiting parallelism and data-reuse, sparse operations, and low-precision computations;Supports the introduced theory and design concepts by four real silicon prototypes. The physical realization’s implementation and achieved performances are discussed elaborately to illustrated and highlight the introduced cross-layer design concepts.
Embedded Devices and Internet of Things: Technologies, and Applications
by Adesh Kumar, Surajit Mondal, Gaurav Verma and Prashant ManiThe text comprehensively discusses machine-to-machine communication in real-time, low-power system design and estimation using field programmable gate arrays, PID, hardware, accelerators, and software integration for service applications. It further covers the recent advances in embedded computing and IoT for healthcare systems. The text explains the use of low-power devices such as microcontrollers in executing deep neural networks, and other machine learning techniques.This book: Discusses the embedded system software and hardware methodologies for system-on-chip and FPGA Illustrates low-power embedded applications, AI-based system design, PID control design, and CNN hardware design Highlights the integration of advanced 5G communication technologies with embedded systems Explains weather prediction modeling, embedded machine learning, and RTOS Highlights the significance of machine-learning techniques on the Internet of Things (IoT), real-time embedded system design, communication, and healthcare applications, and provides insights on IoT applications in education, fault attacks, security concerns, AI integration, banking, blockchain, intelligent tutoring systems, and smart technologies It is primarily written for senior undergraduates, graduate students, and academic researchers in the fields of electrical engineering, electronics and communications engineering, and computer engineering.
Embedded Engineering Education
by Roman Szewczyk Ivan Kaštelan Miodrag Temerinac Moshe Barak Vlado SrukThis book focuses on the outcome of the Europeanresearch project "FP7-ICT-2011-8 / 317882:Embedded Engineering Learning Platform" E2LP. Additionally, some experiences and researches outside this project havebeen included. This book provides information about the achieved results of theE2LP project as well as some broader views about the embedded engineeringeducation. It captures project results and applications, methodologies, andevaluations. It leads to the history of computer architectures, brings a touchof the future in education tools and provides a valuable resource for anyoneinterested in embedded engineering education concepts, experiences andmaterial. The bookcontents 12 original contributions and will open a broader discussion aboutthe necessary knowledge and appropriatelearning methods for the new profile of embedded engineers. As a result, the proposed Embedded ComputerEngineering Learning Platform will help to educate a sufficient number offuture engineers in Europe, capable of designing complex systems andmaintaining a leadership in the area of embedded systems, thereby ensuring thatour strongholds in automotive, avionics, industrial automation, mobilecommunications, telecoms and medical systems are able to develop.
Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing: Hardware Architectures
by Sudeep Pasricha Muhammad ShafiqueThis book presents recent advances towards the goal of enabling efficient implementation of machine learning models on resource-constrained systems, covering different application domains. The focus is on presenting interesting and new use cases of applying machine learning to innovative application domains, exploring the efficient hardware design of efficient machine learning accelerators, memory optimization techniques, illustrating model compression and neural architecture search techniques for energy-efficient and fast execution on resource-constrained hardware platforms, and understanding hardware-software codesign techniques for achieving even greater energy, reliability, and performance benefits.
Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing: Use Cases and Emerging Challenges
by Sudeep Pasricha Muhammad ShafiqueThis book presents recent advances towards the goal of enabling efficient implementation of machine learning models on resource-constrained systems, covering different application domains. The focus is on presenting interesting and new use cases of applying machine learning to innovative application domains, exploring the efficient hardware design of efficient machine learning accelerators, memory optimization techniques, illustrating model compression and neural architecture search techniques for energy-efficient and fast execution on resource-constrained hardware platforms, and understanding hardware-software codesign techniques for achieving even greater energy, reliability, and performance benefits.Discusses efficient implementation of machine learning in embedded, CPS, IoT, and edge computing; Offers comprehensive coverage of hardware design, software design, and hardware/software co-design and co-optimization; Describes real applications to demonstrate how embedded, CPS, IoT, and edge applications benefit from machine learning.
Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing: Software Optimizations and Hardware/Software Codesign
by Sudeep Pasricha Muhammad ShafiqueThis book presents recent advances towards the goal of enabling efficient implementation of machine learning models on resource-constrained systems, covering different application domains. The focus is on presenting interesting and new use cases of applying machine learning to innovative application domains, exploring the efficient hardware design of efficient machine learning accelerators, memory optimization techniques, illustrating model compression and neural architecture search techniques for energy-efficient and fast execution on resource-constrained hardware platforms, and understanding hardware-software codesign techniques for achieving even greater energy, reliability, and performance benefits.Discusses efficient implementation of machine learning in embedded, CPS, IoT, and edge computing;Offers comprehensive coverage of hardware design, software design, and hardware/software co-design and co-optimization;Describes real applications to demonstrate how embedded, CPS, IoT, and edge applications benefit from machine learning.
Embedded Memories for Nano-Scale VLSIs
by Kevin ZhangThe book provides a comprehensive and in-depth view on the state-of-the-art embedded memory technologies. The book helps practicing engineers grasp key technology attributes and advanced design techniques in nano-scale VLSI design. It also helps them make decisions concerning the right design tradeoffs in real product development. This book first provides an overview on the landscape and trend of embedded memory in various VLSI system designs, including high-performance microprocessor, low-power mobile handheld devices, micro-controllers, and various consumer electronics. It then shows an in-depth view on each different type of embedded memory technology, including high-speed SRAM, ultra-low-voltage and alternative SRAM, embedded DRAM, embedded nonvolatile memory, and emerging or so-called "universal" memories such as FeRAM, MRAM, and PRAM. Each topic covers all the key technology attributes from a product application perspective, ranging from technology scaling challenges to advanced circuit techniques for achieving optimal design tradeoff in performance and power. As VLSI systems become increasingly dependent on on-die memory to provide adequate memory bandwidth for various applications, the book gives readers a broader view of this important field and helps them to achieve their optimal design goals for different applications. This book provides readers a broad knowledge on the entire embedded memory technologies in order to better comprehend the technologies and create optimal memory solutions in real applications.
Embedded Microprocessor System Design using FPGAs
by Uwe Meyer-BaeseThis textbook for courses in Embedded Systems introduces students to necessary concepts, through a hands-on approach. It gives a great introduction to FPGA-based microprocessor system design using state-of-the-art boards, tools, and microprocessors from Altera/Intel® and Xilinx®. HDL-based designs (soft-core), parameterized cores (Nios II and MicroBlaze), and ARM Cortex-A9 design are discussed, compared and explored using many hand-on designs projects. Custom IP for HDMI coder, Floating-point operations, and FFT bit-swap are developed, implemented, tested and speed-up is measured. Downloadable files include all design examples such as basic processor synthesizable code for Xilinx and Altera tools for PicoBlaze, MicroBlaze, Nios II and ARMv7 architectures in VHDL and Verilog code, as well as the custom IP projects. Each Chapter has a substantial number of short quiz questions, exercises, and challenging projects. Explains soft, parameterized, and hard core systems design tradeoffs;Demonstrates design of popular KCPSM6 8 Bit microprocessor step-by-step;Discusses the 32 Bit ARM Cortex-A9 and a basic processor is synthesized;Covers design flows for both FPGA Market leaders Nios II Altera/Intel and MicroBlaze Xilinx system;Describes Compiler-Compiler Tool development;Includes a substantial number of Homework’s and FPGA exercises and design projects in each chapter.
Embedded Multimedia Security Systems
by Joseph Zambreno Amit PandeOpening with a detailed review of existing techniques for selective encryption, this text then examines algorithms that combine both encryption and compression. The book also presents a selection of specific examples of the design and implementation of secure embedded multimedia systems. Features: reviews the historical developments and latest techniques in multimedia compression and encryption; discusses an approach to reduce the computational cost of multimedia encryption, while preserving the properties of compressed video; introduces a polymorphic wavelet architecture that can make dynamic resource allocation decisions according to the application requirements; proposes a light-weight multimedia encryption strategy based on a modified discrete wavelet transform; describes a reconfigurable hardware implementation of a chaotic filter bank scheme with enhanced security features; presents an encryption scheme for image and video data based on chaotic arithmetic coding.
Embedded Platforms for UAS Landing Path and Obstacle Detection II: Navigation Support Systems for Urban Air Mobility Operations (Studies in Systems, Decision and Control #530)
by Umberto Papa Gennaro ArianteThis book reports on the design and development of a system that assists remote pilots during navigation. It focuses on the design and development of a ground station that assists remote pilots during maneuvers such as take-off or landing procedures, in case a high accuracy is required or the GNSS signal is lost. Continuing the tradition of the previous volume, and being its revised edition, this book covers the latest UAS regulations together with updated strategies for finding the best and safest trajectory and landing site, with a special focus on urban air mobility applications. It describes the system’s components, such as the LiDAR sensor, the temperature and humidity sensors, the Raspberry Pi 3 controller, and the Bluetooth Low Energy Transmitter, in detail. Further, it discusses the experimental tests carried out in both controlled laboratory settings and real-world environments. All in all, this book offers a timely survey of both regulations of and electronics design for unmanned aircraft systems, with extensive information on new methods and technologies for the development of Detect and Avoid systems for unmanned aerial vehicles.
Embedded Robotics: From Mobile Robots to Autonomous Vehicles with Raspberry Pi and Arduino
by Thomas BräunlThis book presents a unique examination of mobile robots and embedded systems, from introductory to intermediate level. It is structured in three parts, dealing with Embedded Systems (hardware and software design, actuators, sensors, PID control, multitasking), Mobile Robot Design (driving, balancing, walking, and flying robots), and Mobile Robot Applications (mapping, robot soccer, genetic algorithms, neural networks, behavior-based systems, and simulation). The book is written as a text for courses in computer science, computer engineering, IT, electronic engineering, and mechatronics, as well as a guide for robot hobbyists and researchers.
Embedded Software Design: A Practical Approach to Architecture, Processes, and Coding Techniques
by Jacob BeningoDesign higher-quality embedded software from concept through production. This book assumes basic C and microcontroller programming knowledge and is organized into three critical areas: Software Architecture and Design; Agile, DevOps, and Processes; and Development and Coding Skills.You'll start with a basic introduction to embedded software architecture and the considerations for a successful design. The book then breaks down how to architect an RTOS-based application and explore common design patterns and building blocks. Next, you'll review embedded software design processes such as TDD, CI/CD, modeling, and simulation that can be used to accelerate development. Finally, the book will examine how to select a microcontroller, write configurable code, coding strategies, techniques, and tools developers can’t live without.Embedded systems are typically designed using microcontrollers to build electronic systems with a dedicated function and real-time responses. Modern systems need to carefully balance a complex set of features, manage security, and even run machine learning inferences while maintaining reasonable costs, scalability, and robustness. By the end of this book, you will have a defined development process, understand modern software architecture, and be equipped to start building embedded systems. What You'll LearnUnderstand what sound embedded system design is and how to employ itExplore modern development processes for quality systemsKnow where the bits hit the silicon: how to select a microcontrollerMaster techniques to write configurable, automated codeWho This Book Is For Embedded software and hardware engineers, enthusiasts, or any stakeholders who would like to learn modern techniques for designing and building embedded systems.
Embedded Software Design and Programming of Multiprocessor System-on-Chip
by Ahmed A. Jerraya Katalin Popovici Frédéric Rousseau Marilyn WolfCurrent multimedia and telecom applications require complex, heterogeneous multiprocessor system on chip (MPSoC) architectures with specific communication infrastructure in order to achieve the required performance. Heterogeneous MPSoC includes different types of processing units (DSP, microcontroller, ASIP) and different communication schemes (fast links, non standard memory organization and access). Programming an MPSoC requires the generation of efficient software running on MPSoC from a high level environment, by using the characteristics of the architecture. This task is known to be tedious and error prone, because it requires a combination of high level programming environments with low level software design. This book gives an overview of concepts related to embedded software design for MPSoC. It details a full software design approach, allowing systematic, high-level mapping of software applications on heterogeneous MPSoC. This approach is based on gradual refinement of hardware/software interfaces and simulation models allowing to validate the software at different abstraction levels. This book combines Simulink for high level programming and SystemC for the low level software development. This approach is illustrated with multiple examples of application software and MPSoC architectures that can be used for deep understanding of software design for MPSoC.
Embedded Software Development: The Open-Source Approach (Embedded Systems #4)
by Ivan Cibrario Bertolotti Tingting HuEmbedded Software Development: The Open-Source Approach delivers a practical introduction to embedded software development, with a focus on open-source components. This programmer-centric book is written in a way that enables even novice practitioners to grasp the development process as a whole. Incorporating real code fragments and explicit, real-world open-source operating system references (in particular, FreeRTOS) throughout, the text: Defines the role and purpose of embedded systems, describing their internal structure and interfacing with software development tools Examines the inner workings of the GNU compiler collection (GCC)-based software development system or, in other words, toolchain Presents software execution models that can be adopted profitably to model and express concurrency Addresses the basic nomenclature, models, and concepts related to task-based scheduling algorithms Shows how an open-source protocol stack can be integrated in an embedded system and interfaced with other software components Analyzes the main components of the FreeRTOS Application Programming Interface (API), detailing the implementation of key operating system concepts Discusses advanced topics such as formal verification, model checking, runtime checks, memory corruption, security, and dependability Embedded Software Development: The Open-Source Approach capitalizes on the authors’ extensive research on real-time operating systems and communications used in embedded applications, often carried out in strict cooperation with industry. Thus, the book serves as a springboard for further research.
Embedded Software Development for Safety-Critical Systems
by Chris Hobbs"I highly recommend Mr. Hobbs' book." - Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com <P><P>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. <P><P>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.
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 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 Systems: Hardware, Design and Implementation (Devices, Circuits, And Systems Ser. #18)
by Krzysztof IniewskiCovers the significant embedded computing technologies—highlighting their applications in wireless communication and computing power An embedded system is a computer system designed for specific control functions within a larger system—often with real-time computing constraints. It is embedded as part of a complete device often including hardware and mechanical parts. Presented in three parts, Embedded Systems: Hardware, Design, and Implementation provides readers with an immersive introduction to this rapidly growing segment of the computer industry. Acknowledging the fact that embedded systems control many of today's most common devices such as smart phones, PC tablets, as well as hardware embedded in cars, TVs, and even refrigerators and heating systems, the book starts with a basic introduction to embedded computing systems. It hones in on system-on-a-chip (SoC), multiprocessor system-on-chip (MPSoC), and network-on-chip (NoC). It then covers on-chip integration of software and custom hardware accelerators, as well as fabric flexibility, custom architectures, and the multiple I/O standards that facilitate PCB integration. Next, it focuses on the technologies associated with embedded computing systems, going over the basics of field-programmable gate array (FPGA), digital signal processing (DSP) and application-specific integrated circuit (ASIC) technology, architectural support for on-chip integration of custom accelerators with processors, and O/S support for these systems. Finally, it offers full details on architecture, testability, and computer-aided design (CAD) support for embedded systems, soft processors, heterogeneous resources, and on-chip storage before concluding with coverage of software support—in particular, O/S Linux. Embedded Systems: Hardware, Design, and Implementation is an ideal book for design engineers looking to optimize and reduce the size and cost of embedded system products and increase their reliability and performance.
Embedded Systems: Analysis and Modeling with SysML, UML and AADL (Lecture Notes In Computer Science Ser. #4888)
by Fabrice Kordon Jérôme Hugues Agusti Canals Alain DohetSince the construction of the first embedded system in the 1960s, embedded systems have continued to spread. They provide a continually increasing number of services and are part of our daily life. The development of these systems is a difficult problem which does not yet have a global solution. Another difficulty is that systems are plunged into the real world, which is not discrete (as is generally understood in computing), but has a richness of behaviors which sometimes hinders the formulation of simplifying assumptions due to their generally autonomous nature and they must face possibly unforeseen situations (incidents, for example), or even situations that lie outside the initial design assumptions. Embedded Systems presents the state of the art of the development of embedded systems and, in particular, concentrates on the modeling and analysis of these systems by looking at “model-driven engineering”, (MDE2): SysML, UML/MARTE and AADL. A case study (based on a pacemaker) is presented which enables the reader to observe how the different aspects of a system are addressed using the different approaches. All three systems are important in that they provide the reader with a global view of their possibilities and demonstrate the contributions of each approach in the different stages of the software lifecycle. Chapters dedicated to analyzing the specification and code generation are also presented. Contents Foreword, Brian R. Larson.Foreword, Dominique Potier.Introduction, Fabrice Kordon, Jérôme Hugues, Agusti Canals and Alain Dohet.Part 1. General Concepts1. Elements for the Design of Embedded Computer Systems, Fabrice Kordon, Jérôme Hugues, Agusti Canals and Alain Dohet.2. Case Study: Pacemaker, Fabrice Kordon, Jérôme Hugues, Agusti Canals and Alain Dohet.Part 2. SysML3. Presentation of SysML Concepts, Jean-Michel Bruel and Pascal Roques.4. Modeling of the Case Study Using SysML, Loïc Fejoz, Philippe Leblanc and Agusti Canals.5. Requirements Analysis, Ludovic Apvrille and Pierre De Saqui-Sannes.Part 3. MARTE6. An Introduction to MARTE Concepts, Sébastien Gérard and François Terrier.7. Case Study Modeling Using MARTE, Jérôme Delatour and Joël Champeau.8. Model-Based Analysis, Frederic Boniol, Philippe Dhaussy, Luka Le Roux and Jean-Charles Roger.9. Model-Based Deployment and Code Generation, Chokri Mraidha, Ansgar Radermacher and Sébastien Gérard.Part 4. AADL10. Presentation of the AADL Concepts, Jérôme Hugues and Xavier Renault.11. Case Study Modeling Using AADL, Etienne Borde.12. Model-Based Analysis, Thomas Robert and Jérôme Hugues.13. Model-Based Code Generation, Laurent Pautet and Béchir Zalila.
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.