Embedded Computing Systems: Applications, Optimization, and Advanced Design

Embedded Computing Systems: Applications, Optimization, and Advanced Design

Mohamed Khalgui, Olfa Mosbahi, Antonio Valentini

Copyright: © 2013 |Pages: 356

ISBN13: 9781466639225|ISBN10: 1466639229|EISBN13: 9781466639232

DOI: 10.4018/978-1-4666-3922-5

Cite Book Cite Book

MLA

Khalgui, Mohamed, et al., editors. Embedded Computing Systems: Applications, Optimization, and Advanced Design. IGI Global, 2013. https://doi.org/10.4018/978-1-4666-3922-5

APA

Khalgui, M., Mosbahi, O., & Valentini, A. (Eds.). (2013). Embedded Computing Systems: Applications, Optimization, and Advanced Design. IGI Global. https://doi.org/10.4018/978-1-4666-3922-5

Chicago

Khalgui, Mohamed, Olfa Mosbahi, and Antonio Valentini, eds. Embedded Computing Systems: Applications, Optimization, and Advanced Design. Hershey, PA: IGI Global, 2013. https://doi.org/10.4018/978-1-4666-3922-5

Export Reference

Favorite Full-Book Download

Embedded computing systems play an important and complex role in the functionality of electronic devices. With our daily routines becoming more reliant on electronics for personal and professional use, the understanding of these computing systems is crucial.

Embedded Computing Systems: Applications, Optimization, and Advanced Design brings together theoretical and technical concepts of intelligent embedded control systems and their use in hardware and software architectures. By highlighting formal modeling, execution models, and optimal implementations, this reference source is essential for experts, researchers, and technical supporters in the industry and academia.

Table of Contents

Reset

Front Materials

Title Page

Copyright Page

Associate Editors

Preface

Chapters

Chapter 1

Modeling and Scheduling of Crude Oil Operations in Refinery: A Hybrid Timed Petri Net Approach (pages 1-49)

NaiQi Wu, Mengchu Zhou, Feng Chu, Said Mammar

The process of an oil refinery contains both discrete event and continuous variables and can be characterized as a hybrid system. It is extremely challenging to schedule such a system. The short-term scheduling problem of crude oil...

Chapter 2

Formal Reliability Analysis of Embedded Computing Systems (pages 50-64)

Osman Hasan, Sofiène Tahar

The accurate reliability assessment of embedded systems has become a concern of overwhelming importance with their increasingly ubiquitous usage in safety-critical domains like transportation, medicine, and nuclear power plants....

Chapter 3

Liveness, Deadlock-Freeness, and Siphons (pages 65-78)

Kamel Barkaoui

This chapter deals with the structure theory of Petri nets. The authors define the class of P/T systems, namely K-systems, for which the equivalence between controlled-siphon, deadlock-freeness, and liveness properties holds. Using...

Chapter 4

Model-Based Functional Safety Analysis and Architecture Optimisation (pages 79-92)

David Parker, Martin Walker, Yiannis Papadopoulos

The scale and complexity of computer-based safety critical systems pose significant challenges in the safety analysis of such systems. In this chapter, the authors discuss two approaches that define the state of the art in this area...

Chapter 5

Expressing and Validating OCL Constraints using Graphs (pages 93-107)

Najet Zoubeir, Adel Khalfallah, Samir Ben Ahmed

The definition of the semantics of visual languages, in particular Unified Modeling Language (UML) diagrams, using graph formalism has known a wide success, since graphs fit the multi-dimensional nature of this kind of language....

Chapter 6

A UML-Compliant Approach for Intelligent Reconfiguration of Embedded Control Systems (pages 108-124)

Amen Ben Hadj Ali, Mohamed Khalgui, Samir Ben Ahmed, Antonio Valentini

The chapter deals with UML-based design of Reconfigurable Embedded Control Systems (RECS). The different software architectural configurations of the control system are described as a set of inter-connected software components. A...

Chapter 7

Development of Automated Systems using Proved B Patterns (pages 125-139)

Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li

This chapter proposes an approach for reusing specification patterns for the development of automated systems composed of two components: the controller and the controlled parts. The first is a software component controlling the...

Chapter 8

Emerging Real-Time Methodologies (pages 140-159)

Giorgio C. Buttazzo

The number of computer-controlled systems has increased dramatically in our daily life. Processors and microcontrollers are embedded in most of the devices we use every day, such as mobile phones, cameras, media players, navigators...

Chapter 9

Merging and Splitting Petri Net Models within Distributed Embedded Controller Design (pages 160-183)

Luis Gomes, Anikó Costa, João Paulo Barros, Filipe Moutinho, Fernando Pereira

Design of distributed embedded controllers can benefit from the adoption of a model-based development attitude, where Petri nets modeling can provide support for a comprehensive specification and documentation of the system together...

Chapter 10

Safety Reconfiguration of Embedded Control Systems (pages 184-210)

Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui, Antonio Valentini

The authors study the safety reconfiguration of embedded control systems following component-based approaches from the functional level to the operational level. At the functional level, a Control Component is defined as an...

Chapter 11

Task Scheduling under Uncertain Timing Constraints in Real-Time Embedded Systems (pages 211-235)

Pranab K. Muhuri, K. K. Shukla

In real-time embedded systems, timeliness of task completion is a very important factor. In such systems, correctness of the output depends on the timely production of results in addition to the logical outcome of computation. Thus...

Chapter 12

New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous OS Tasks with Minimizations of Response Times (pages 236-274)

Hamza Gharsellaoui, Atef Gharbi, Olfa Mosbahi, Mohamed Khalgui, Antonio Valentini

This chapter deals with Reconfigurable Uniprocessor embedded Real-Time Systems to be classically implemented by different OS tasks that we suppose independent, asynchronous, and periodic in order to meet functional and temporal...

Chapter 13

Task Migration in Embedded Systems: Design and Performance (pages 275-285)

Abderrazak Jemai, Kamel Smiri, Habib Smei

Task migration has a great consideration is MPSoC design and implementation of embedded systems in order to improve performance related to optimizing execution time or reducing energy consumption. Multi-Processor Systems-on-Chip...

Chapter 14

Wireless IEEE 802.11-Based Networking Approaches for Industrial Networked Systems (pages 286-305)

Ricardo Moraes, Francisco Vasques

During the last few years, the demand for Real-Time (RT) communication has been steadily increasing due to a wide range of new applications. Remarkable examples are VoIP (Voice over IP) and Networked Control Systems (NCS). For such...

Chapter 15

Hardware/Software Implementation for Wireless Sensor Network Applications (pages 306-322)

Mohamed Wassim Jmal, Oussema Ghorbel, Olfa Gaddour, Mohamed Abid

Wireless Sensor Networks (WSNs) are currently attracting great interest and the number of its application domains is varying and increasing. However, some of these applications are very sensitive to the execution time and require...

Chapter 16

Hybrid FlexRay/CAN Automotive Networks (pages 323-342)

Rodrigo Lange, Rômulo Silva de Oliveira

In recent years, the automotive industry has witnessed an exponential growth in the number of vehicular embedded applications, leading to the adoption of distributed implementations for systems in the powertrain and chassis domains....

Chapter 17

Emerging Technologies for Industrial Wireless Sensor Networks (pages 343-359)

Ivanovitch Silva, Luiz Affonso Guedes, Paulo Portugal

The evolution of industrial networks can be summarized as a constant battle to define the universal technology that integrates field devices and applications. Since the Fieldbus wars in the 1980s, diverse wired solutions have been...

Chapter 18

Numerical Simulation of Distributed Dynamic Systems using Hybrid Tools of Intelligent Computing (pages 360-383)

Fethi H. Bellamine, Aymen Gdouda

Developing fast and accurate numerical simulation models for predicting, controlling, designing, and optimizing the behavior of distributed dynamic systems is of interest to many researchers in various fields of science and...

Chapter 19

Multi-Core Embedded Systems (pages 384-401)

Ricardo Chessini Bose, Georgios Fourtounis, Naim Harb, Laurent Jolczyk, Paulo Da Cunha Possa, Carlos Valderrama

Multiple processors, microcontrollers, or DSPs have been used in embedded systems to distribute control and data flow according to the application at hand. The recent trends of incorporating multiple cores in the same chip...

Chapter 20

Securing Embedded Computing Systems through Elliptic Curve Cryptography (pages 402-419)

Elisavet Konstantinou, Panayotis E. Nastou, Yannis C. Stamatiou, Christos Zaroliagis

Embedded computing devices dominate our everyday activities, from cell phones to wireless sensors that collect and process data for various applications. Although desktop and high-end server security seems to be under control by the...

Chapter 21

Security and Cryptographic Engineering in Embedded Systems (pages 420-438)

Apostolos P. Fournaris, Paris Kitsos, Nicolas Sklavos

Strong security is a necessity in the modern IT world and is broadly provided though Hardware Security Modules (HSM) capable of realizing a wide variety of security algorithms and protocols. Such modules are no longer only found in...

Chapter 22

Flash-Based Storage in Embedded Systems (pages 439-455)

Pierre Olivier, Jalil Boukhobza, Eric Senn

NAND Flash memories gained a solid foothold in the embedded systems domain due to its attractive characteristics in terms of size, weight, shock resistance, power consumption, and data throughput. Moreover, flash memories tend to be...

Chapter 23

EAST-ADL: An Architecture Description Language for Automotive Software-Intensive Systems (pages 456-470)

Hans Blom, Henrik Lönn, Frank Hagl, Yiannis Papadopoulos, Mark-Oliver Reiser, Carl-Johan Sjöstedt, De-Jiu Chen, Fulvio Tagliabò, Sandra Torchiaro, Sara Tucci, Ramin Tavakoli Kolagari

EAST-ADL is an Architecture Description Language (ADL) initially defined in several European-funded research projects and subsequently refined and aligned with the more recent AUTOSAR automotive standard. It provides a comprehensive...

Back Materials

Compilation of References

About the Contributors

Index

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.

Username or email: *

Password: *

Forgot individual login password?

Create individual account