Embedded computing systems applications, optimization, and advanced design /
"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.
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Electronic |
| Language: | English |
| Published: |
Hershey, Pa. :
IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),
c2013.
|
| Subjects: | |
| Online Access: | View fulltext via EzAccess |
Table of Contents:
- Modeling and scheduling of crude oil operations in refinery: a hybrid timed Petri net approach / NaiQi Wu ... [et al.]
- 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 ... [et al.]
- 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 ... [et al.]
- Safety reconfiguration of embedded control systems / Atef Gharbi ... [et al.]
- 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 ... [et al.]
- 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 ... [et al.]
- 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 ... [et al.]
- Securing embedded computing systems through elliptic curve cryptography / Elisavet Konstantinou ... [et al.]
- 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 ... [et al.].