Embedded computing systems : applications, optimization, and advanced design

Saved in:
Bibliographic Details
Other Authors Khalgui, Mohamed, Mosbahi, Olfa, 1976-, Valentini, Antonio, 1960-
Format Electronic eBook
LanguageEnglish
Published Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), ©2013.
Subjects
Embedded computer systems.
elektronické knihy
electronic books
Online AccessFull text
ISBN9781466639232
1466639237
9781621989356
1621989356
9781466639225
9781466639249
Physical Description1 online resource (online resource (470 pages))

Cover

Table of Contents:
  • 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].

Similar Items