Logical Time @ Work pour la modélisation et l'analyse des systèmes embarqués
Frédéric Maillet
Broschiertes Buch

Logical Time @ Work pour la modélisation et l'analyse des systèmes embarqués

Fondements du modèle temporel UML/MARTE

Versandkostenfrei!
Versandfertig in 6-10 Tagen
24,99 €
inkl. MwSt.
PAYBACK Punkte
12 °P sammeln!
Le temps logique est une forme de temps détendue, promue par les langages synchrones, qui est fonctionnelle, élastique (peut être abstraite ou raffinée) et multiforme. Toutes ces propriétés font que le temps logique est adéquat également au moment de la conception, alors que des annotations précises du temps physique ne devraient avoir de l'importance que dans les étapes ultérieures de la synthèse. Le Clock Constraint Specification Language (CCSL) est un langage concret dédié à la modélisation et à l'analyse des propriétés du temps logique. Le CCSL a été initialement défi...