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