
Software Technologies for Embedded and Ubiquitous Systems
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
More details
Other editions
Additional editions

Content
- Title
- Preface
- Organization
- Table of Contents
- Invited Program
- Component-Based Design of Embedded Systems
- AUTOSAR Appropriates Functional Safety and Multi-core Exploitation
- Hardware
- Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller
- Introduction
- The Komodo Microcontroller
- The Pipeline
- Guaranteed Percentage Scheduling
- Measurement of the IPC Rate
- Use of a PID Controller in a Microprocessor
- Evaluation of the Processor Size
- Preliminary Work for the PID Controller Implementation in VHDL
- Implementation of the PID Controller in VHDL
- Related Work
- Conclusion and Further Work
- References
- Crash Recovery in FAST FTL
- Introduction
- Background and Related Work
- Background: Flash Memory, FTL, and Address Mapping
- Crash Recovery in FTLs
- Crash Recovery in FAST FTL
- Overview of FAST FTL
- Revised FAST FTL Architecture
- Logging in FAST FTL
- Recovery in FAST FTL
- Reforming the Merge Operation in FAST FTL
- Evaluation
- Conclusion
- References
- Real-Time Systems
- Time-Predictable Computing
- Introduction
- Worst-Case Execution Time Analysis
- Time-Predictability
- Constructability of Timing Model
- Constituents of Predictability
- Predictability of Task Timing
- Related Work on Concretizing Time-Predictability
- On the Formalization of Time-Predictability
- Time-Predictable Computer Systems
- Summary and Conclusion
- References
- OTAWA: An Open Toolbox for Adaptive WCET Analysis
- Introduction
- Worst-Case Execution Time Analysis
- Different Approaches to WCET Analysis
- Analysis of the Behavior of Hardware Mechanisms
- The OTAWA Toolbox
- Objectives
- Abstract Layers
- Analyses
- Complementary Tools
- Examples of Use
- Conclusion
- References
- Ubiquitous Verification of Ubiquitous Systems
- Introduction
- Timing Analysis
- State-Dependent Execution Times
- Concurrency
- Power Awareness
- Predictability
- Networking and Security
- Security Issues in Networked Embedded Systems
- Automated Verification of Cryptographic Protocols
- Towards a Security Analysis of Embedded Systems
- Design Guidelines to Simplify the Analysis
- Conclusions
- References
- Model-Based Design and Model-Checking
- A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems
- Introduction
- Architecture Description Languages
- Heterogenous Rich Components
- Structure
- Behavior
- Viewpoints
- Modeling along the Development Process
- Abstraction Levels
- Perspectives
- A New Meta-model with Example
- From Required Features to Components
- Decomposing the System: Towards Lower Abstraction Levels
- Allocating Logical Functions to Hardware Architecture Elements
- Semantics of Realize and Allocation
- Conclusion
- References
- Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability
- Introduction
- Plug-N-Play Protocols
- Service Oriented Architecture
- Ontology Alignment and Model Driven Engineering
- Combining MDE and Ontology Alignment Techniques
- Ontology Representation
- Ontology Alignment
- Template-Based Code Generation
- Service Adaptation
- Implementation
- Related Work
- Conclusion and Future Works
- References
- Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems
- Introduction
- Guiding System: A Motivating Example
- Formal Analysis of Client Behavior
- Basic Computation Model
- Location and Client Behavior
- Policy Rules
- Analysis Problem
- Rewriting Logic Approach
- Rewriting Logic and Maude
- Encoding Extended Mealy Machine in Maude
- Case Study
- Modeling
- Analysis
- Conclusion
- References
- Sensor Nets
- A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks
- Introduction
- Related Work
- OMG's Data Distribution Service
- Approach
- Metamodels and Layers
- DDS Integration
- Architecture
- Workflow
- Prototype
- Summary and Future Work
- References
- Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling
- Introduction
- Background: Asynchronous Wakeup Scheduling
- Reactive Clock Synchronization
- Main Idea
- In the PDA Approach
- In the PAD Approach
- Clock Synchronization for Broadcast Data
- Expiration Time
- Simulation and Result
- Simulation Methodology
- Average Dissipated Energy
- Average Accuracy
- Related Works
- Conclusion
- References
- On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems
- Introduction
- Related Work
- Task Model and Previous Analysis
- Comparing the Tests
- Application Example
- Conclusion
- References
- Error Detection and System Failures
- Error Detection Rate of MC/DC for a Case Study from the Automotive Domain
- Introduction
- Unique-Cause MC/DC
- Error Detection Probability - Theoretical Assumption and Counterexample
- Counterexample for Theoretical Assumption
- Test Case Generation
- Principle
- Method
- Example
- Unreachable Code
- Test Traces vs. Test Steps
- Case Study and Error Scenarios
- Experimental Results of the Testing Process
- Discussion of the Results
- Related Work
- Summary and Conclusion
- References
- Simultaneous Logging and Replay for Recording Evidences of System Failures
- Introduction
- System Overview
- Rationale
- Logging and Replay
- Logging
- Replaying
- Current Status and Experiment Results
- Implementation Cost
- Boot Time Overheads
- Benchmark Overheads
- Size of Log and Breakdown of Logged Events
- Discussion for Improvements
- Reduction of Log Size
- Reduction of Overheads
- Related Work
- Summary
- References
- Hard Real-Time
- Code Generation for Embedded Java with Ptolemy
- Introduction
- Ptolemy II
- The Java Processor JOP
- Code Generation from Models
- Code Generation with Ptolemy II
- Runtime Support on JOP
- Semantics of an Actor
- Input/Output Actors
- Implementation
- Embedded Hello World
- An SDF Example with a State Machine
- Lego Robot
- WCET Analysis
- Model Examples
- Data Types
- Discussion
- Low-Level I/O
- Memory Management
- Conclusion
- References
- Specification of Embedded Control Systems Behaviour Using Actor Interface Automata
- Introduction
- Distributed Timed Multitasking: An Informal Introduction
- Modelling Actor Behaviour with Interface Automata
- Implementation Aspects of Interface Automata
- Related Research
- Conclusion
- References
- Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics
- Introduction
- Evolution of AIR Design Solutions
- ARINC 653 Interface in RTEMS
- Single-Executive Core (SEC)
- Multi-Executive Core (MEC)
- Comparison between SEC and MEC Design Solutions
- AIR System Architecture
- Temporal and Spatial Partitioning
- Advanced Timeliness Control and Adaptation Mechanisms
- Flexible Partition Operating System Integration
- Integration of Generic Operating Systems
- Flexible Portable APEX
- AIR Health Monitoring (HM)
- Interpartition Communication
- Present Lines of Work
- Scheduling and Composability
- Multicore
- Remote and Online Application Update
- Future
- Operating System Integration
- Sensors, Actuators and Networks
- Information Security
- Conclusion
- References
- Middleware and Smart Spaces
- EMWF: A Middleware for Flexible Automation and Assistive Devices
- Introduction
- Motivations and Rationales
- Simple Workflow-Based Devices
- Messaging and Real-Time Capabilities
- Workflow Communication
- Overview of EMWF 1.0
- Engine Manager, Workflow Manager and WLA and ALA Engines
- Relative Merits
- Extensions in EMWF 2.0
- Messaging and End-to-End Scheduling Mechanisms
- Service Interfaces
- Summary
- References
- An Investigation on Flexible Communications in Publish/Subscribe Services
- Introduction
- Problem Statement
- Serialization Formats in Publish/Subscribe Middleware
- Current Serialization Formats
- Lightweight Flexible Serialization Formats
- Experimental Evaluation of Serialization Formats
- Experiment Setup
- Results
- Data Compression
- Experimental Evaluation of Serialization Formats with Data Compression
- Experiment Setup
- Results
- Conclusion
- References
- Mobile Agents for Digital Signage
- Introduction
- Design and Implementation
- Basic Approach
- System Structure
- Location Information Server
- Agent Runtime System
- Location Model Management System
- Mobile Agent for Digital Signage Content
- Current Status
- Early Experience
- Conclusion
- References
- Function Composition and Task Mapping
- Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products
- Introduction
- Motivation
- Composition Kernel: SPUMONE
- Highlights in SPUMONE
- Dynamic Multiple Cores Management
- Reducing Interrupt Latency
- Security and Reliability
- Current Status and Future Direction
- References
- Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring
- Introduction
- Physical Activity Recognition and Monitoring
- Nature of Acceleration Signals for Running and Walking
- Data Transmission
- Cooperative, Distributed Analysis for Energy Optimization
- Experimental Results
- Concluding Remarks
- References
- Author Index
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.