Context Aware Model-Checking for Embedded Software

QR Code

Context Aware Model-Checking for Embedded Software

None

Saved in:

Bibliographic Details
Main Authors:	Dhaussy, Philippe, Roger, Jean-Charles, Boniol, Frédéric
Format:	Electronic Book Chapter
Language:	English
Published:	IntechOpen 2012
Subjects:	Physical Sciences, Engineering and Technology
Online Access:	https://www.intechopen.com/chapters/29208
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Architecting Embedded Software for Context-Aware Systems
by: Pantsar-Syväniemi, Susanna
Published: (2012)

Software Reverse Engineering in the Domain of Complex Embedded Systems
by: Kienle, Holger M., et al.
Published: (2012)

Safely Embedded Software for State Machines in Automotive Applications
by: Mottok, Juergen, et al.
Published: (2012)

Development of Energy Efficiency Aware Applications Using Commercial Low Power Embedded Systems
by: Mikhaylov, Konstantin, et al.
Published: (2012)

Developing Attention-Aware and Context-Aware User Interfaces on Handheld Devices
by: Ancona, Massimo, et al.
Published: (2012)

Applying an Artificial Neural Network to Predicting Effort and Errors for Embedded Software Development Projects
by: Iwata, Kazunori, et al.
Published: (2011)

Security Analysis of the RFID Authentication Protocol Using Model Checking
by: Kim, Hyun-Seok, et al.
Published: (2011)

Choosing Appropriate Programming Language to Implement Software for Real-Time Resource- Constrained Embedded Systems
by: Nahas, Mouaaz, et al.
Published: (2012)

CARAVAN: A Context-AwaRe Architecture for VANET
by: Kukliński, Sławomir, et al.
Published: (2011)

Real Time Robust Embedded Face Detection Using High Level Description
by: Khattab, Khalil, et al.
Published: (2011)

Multimodal Fusion for Robust Identity Authentication: Role of Liveness Checks
by: Chetty, Girija, et al.
Published: (2011)

SRAM Cells for Embedded Systems
by: Singh, Jawar, et al.
Published: (2012)

Networking Applications for Embedded Systems
by: Zoican, Sorin
Published: (2012)

Robotic Software Systems: From Code-Driven to Model-Driven Software Development
by: Schlegel, Christian, et al.
Published: (2012)

CARS-AD Project: Context-Aware Recommender System for Authentication Decision in Pervasive and Mobile Environments
by: Lima, Joao Carlos Damasceno, et al.
Published: (2012)

Open Development Platform for Embedded Systems
by: Ostúa, E., et al.
Published: (2012)

High-Level Synthesis for Embedded Systems
by: Dossis, Michael
Published: (2012)

SW Annotation Techniques and RTOS Modelling for Native Simulation of Heterogeneous Embedded Systems
by: Posadas, Héctor, et al.
Published: (2012)

Potential of Grid Technology for Embedded Systems and Applications
by: El-Dahb, Mona Abo, et al.
Published: (2012)

Design of an Embedded Controller for Some Applications of an Automotives
by: Bajaj, Preeti, et al.
Published: (2011)

Implementing Multimodal Biometric Solutions in Embedded Systems
by: Wang, Jingyan, et al.
Published: (2011)

A Low-Overhead Non-Block Check Pointing and Recovery Approach for Mobile Computing Environment
by: Gupta, Bidyut, et al.
Published: (2012)

Exciton States in Free-Standing and Embedded Semiconductor Nanocrystals
by: Fernández, Yuriel Núñez, et al.
Published: (2012)

Towards Automotive Embedded Systems with Self-X Properties
by: Weiss, Gereon, et al.
Published: (2011)

Quasi-Particle Spectra on Substrate and Embedded Graphene Monolayers
by: Feher, Alexander, et al.
Published: (2011)

Rapid Prototyping for Mobile Robots Embedded Control Systems
by: Melo, Leonimer Flavio de, et al.
Published: (2011)

Rapid Prototyping of Embedded Microelectronics by Laser Direct-Write
by: Pique, Alberto
Published: (2011)

Real-Time Video Face Recognition for Embedded Devices
by: Costache, Gabriel, et al.
Published: (2011)

A Modelling Framework for Energy Harvesting Aware Wireless Sensor Networks
by: Hansen, Michael R., et al.
Published: (2011)

Building Context Aware Network of Wireless Sensors Using a Scalable Distributed Estimation Scheme for Real-time Data Manipulation
by: Basirat, Amir, et al.
Published: (2010)

Real-Time Operating Systems and Programming Languages for Embedded Systems
by: Orozco, Javier D., et al.
Published: (2012)

AWGN Watermark in Images and E-Books - Optimal Embedding Strength
by: Vučković, Vesna, et al.
Published: (2012)

Real-Time Motion Processing Estimation Methods in Embedded Systems
by: Botella, Guillermo, et al.
Published: (2012)

Reduced Logic and Low-Power FFT Architectures for Embedded Systems
by: Oruklu, Erdal, et al.
Published: (2011)

Integrating Neural Signal and Embedded System for Controlling Small Motor
by: Mansor, Wahidah, et al.
Published: (2011)

Cooperative Visual Surveillance Network with Embedded Content Analysis Engine
by: Chien, Shao-Yi, et al.
Published: (2011)

Analog-Aware Schematic Synthesis
by: Wu, Yuping
Published: (2011)

Reverse Engineering Platform Independent Models from Business Software Applications
by: Akkiraju, Rama, et al.
Published: (2012)

A Software Development Framework for Agent-Based Infectious Disease Modelling
by: Mostaço-Guidolin, Luiz C., et al.
Published: (2011)

The Innovative Design of Low Cost Embedded Controller for Complex Control Systems
by: Shao, Meng, et al.
Published: (2012)