Embedded systems design
Formal methods for the verification of embedded systems
Article REF: H8250 V1
Embedded systems design
Formal methods for the verification of embedded systems

Author : Emmanuelle ENCRENAZ-TIPHENE

Publication date: February 10, 2013 | Lire en français

Logo Techniques de l'Ingenieur You do not have access to this resource.
Request your free trial access! Free trial

Already subscribed?

1. Embedded systems design

Embedded systems perform complex information processing tasks, in close interaction with the environment in which they are immersed. This information processing is performed by electronic components acting on mechanical parts via sensors/actuators. Embedded systems come in a wide variety of architectures and uses [H 8 000] .

The computer processing to be carried out can be described in the form of programs, executed on controllers or processor cores, but they can also be implemented in dedicated coprocessors, accelerating their execution. Interaction...

You do not have access to this resource.
Logo Techniques de l'Ingenieur

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed?


Article included in this offer

"Software technologies and System architectures"

( 227 articles )

Complete knowledge base

Updated and enriched with articles validated by our scientific committees

Services

A set of exclusive tools to complement the resources

View offer details