Embedded computing systems : applications, optimization, and advanced design /
Mohamed Khalgui, Olfa Mosbahi and Antonio Valentini, editors.
Bok Engelsk 2013 · Electronic books.
| Utgitt | Hershey, PA : : Information Science Reference, , 2013.
|
|---|---|
| Omfang | 1 online resource (558 p.)
|
| Opplysninger | Description based upon print version of record.. - ""Title Page""; ""Copyright Page""; ""Editorial Advisory Board and List of Reviewers""; ""Table of Contents""; ""Detailed Table of Contents""; ""Preface""; ""Modeling and Scheduling of Crude Oil Operations in Refinery: A Hybrid Timed Petri Net Approach""; ""Formal Reliability Analysis of Embedded Computing Systems""; ""Liveness, Deadlock-Freeness, and Siphons""; ""Model-Based Functional Safety Analysis and Architecture Optimisation""; ""Expressing and Validating OCL Constraints using Graphs""; ""A UML-Compliant Approach for Intelligent Reconfiguration of Embedded Control Systems"". - ""Development of Automated Systems using Proved B Patterns""""Emerging Real-Time Methodologies""; ""Merging and Splitting Petri Net Models within Distributed Embedded Controller Design""; ""Safety Reconfiguration of Embedded Control Systems""; ""Task Scheduling under Uncertain Timing Constraints in Real-Time Embedded Systems""; ""New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous OS Tasks with Minimizations of Response Times""; ""Task Migration in Embedded Systems: Design and Performance"". - ""EAST-ADL: An Architecture Description Language for Automotive Software-Intensive Systems""""Compilation of References""; ""About the Contributors""; ""Index"". - ""Wireless IEEE 802.11-Based Networking Approaches for Industrial Networked Systems""""Hardware/Software Implementation for Wireless Sensor Network Applications""; ""Hybrid FlexRay/CAN Automotive Networks""; ""Emerging Technologies for Industrial Wireless Sensor Networks""; ""Numerical Simulation of Distributed Dynamic Systems using Hybrid Tools of Intelligent Computing""; ""Multi-Core Embedded Systems""; ""Securing Embedded Computing Systems through Elliptic Curve Cryptography""; ""Security and Cryptographic Engineering in Embedded Systems""; ""Flash-Based Storage in Embedded Systems""
|
| Emner | |
| Sjanger | |
| Dewey | |
| ISBN | 1-4666-3923-7. - 1-62198-935-6
|
