دانلود کتاب Embedded computing systems : applications, optimization, and advanced design

فهرست مطالب :

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