Embedded computing systems : applications, optimization, and advanced design

✍ Scribed by Mohamed Khalgui; Olfa Mosbahi; Antonio Valentini; IGI Global

• Publisher: IGI Global (701 E. Chocolate Avenue Hershey
• Tongue: English
• Leaves: 559
• Category: Library

✦ Synopsis

"This book 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"--Provided by publisher.

✦ Table of Contents

Content: Modeling and scheduling of crude oil operations in refinery: a hybrid timed Petri net approach / NaiQi Wu [and others] --
Formal reliability analysis of embedded computing systems / Osman Hasan, Sofiène Tahar --
Liveness, deadlock-freeness, and siphons / Kamel Barkaoui --
Model-based functional safety analysis and architecture optimisation / David Parker, Martin Walker, Yiannis Papadopoulos --
Expressing and validating OCL constraints using graphs / Najet Zoubeir, Adel Khalfallah, Samir Ben Ahmed --
A UML-compliant approach for intelligent reconfiguration of embedded control systems / Amen Ben Hadj Ali [and others] --
Development of automated systems using proved B patterns / Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li --
Emerging real-time methodologies / Giorgio C. Buttazzo --
Merging and splitting Petri net models within distributed embedded controller design / Luis Gomes [and others] --
Safety reconfiguration of embedded control systems / Atef Gharbi [and others] --
Task scheduling under uncertain timing constraints in real-time embedded systems / Pranab K. Muhuri, K.K. Shukla --
New optimal solutions for real-time reconfigurable periodic asynchronous OS tasks with minimizations of response times / Hamza Gharsellaoui [and others] --
Task migration in embedded systems: design and performance / Abderrazak Jemai, Kamel Smiri, Habib Smei --
Wireless IEEE 802.11-based networking approaches for industrial networked systems / Ricardo Moraes, Francisco Vasques --
Hardware/software implementation for wireless sensor network applications / Mohamed Wassim Jmal [and others] --
Hybrid FlexRay/CAN automotive networks / Rodrigo Lange, Rômulo Silva de Oliveira --
Emerging technologies for industrial wireless sensor networks / Ivanovitch Silva, Luiz Affonso Guedes, Paulo Portugal --
Numerical simulation of distributed dynamic systems using hybrid tools of intelligent computing / Fethi H. Bellamine, Aymen Gdouda --
Multi-core embedded systems / Ricardo Chessini Bose [and others] --
Securing embedded computing systems through elliptic curve cryptography / Elisavet Konstantinou [and others] --
Security and cryptographic engineering in embedded systems / Apostolos P. Fournaris, Paris Kitsos, Nicolas Sklavos --
Flash-based storage in embedded systems / Pierre Olivier, Jalil Boukhobza, Eric Senn --
EAST-ADL: an architecture description language for automotive software-intensive systems / Hans Blom [and others].
Abstract: "This book 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"--Provided by publisher