A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level

A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level

Show other versions (1)

Les systèmes embarqués sont de plus en plus intégrés dans les applications temps réel actuelles. Ils sont généralement constitués de composants matériels et logiciels profondément Intégrés mais hétérogènes. Ces composants sont développés sous des contraintes très strictes. En conséquence, le travail...

Full description

Bibliographic Details
Main Author: Harrath, Nesrine
Other Authors: Paris, CNAM
Language:en
Published: 2014
Subjects:
SystemC
Méthodes Formelles
Vérification des systèmes matériels et logiciels
Abstraction des prédicats
Exécution Symbolique
Automates
Sémantiques des langages
Formal Methods
Verification of Hardware Software sytems
Predicate Abstraction
Symbolic Execution
Automata
Model Checking
005.1
Online Access:http://www.theses.fr/2014CNAM0957/document

Internet

http://www.theses.fr/2014CNAM0957/document

Similar Items