Name: Logical Time @ Work pour la modélisation et l'analyse des systèmes embarqués (en Francés)
SKU: 57645347
Price: 939.14 MXN
Availability: InStock
Author: Maillet, Frédéric
ISBN: 9786202752022

portada Logical Time @ Work pour la modélisation et l'analyse des systèmes embarqués (en Francés)

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

Formato

Libro Físico

Autor

Frédéric Maillet

Editorial

Editions Notre Savoir

Idioma

Francés

N° páginas

116

Encuadernación

Tapa Blanda

Dimensiones

22.9x15.2x0.7 cm

Peso

0.18 kg.

ISBN13

9786202752022

Categorías

Empresa y gestión

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

Frédéric Maillet (Autor) · Editions Notre Savoir · Tapa Blanda

Libro Nuevo Importado

Envío: 22 a 27 días háb.

$ 1,565.23$ 939.14

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 939.14

¡Envío Gratis! Llega entre el 08 Oct y el 16 Oct a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Logical Time @ Work pour la modélisation et l'analyse des systèmes embarqués (en Francés)"

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éfini comme un compagnon pour le modèle temporel du profil UML pour MARTE. Il est maintenant devenu un véritable langage de modélisation spécifique à un domaine pour la capture des relations causales, chronologiques et temporelles. Il devrait compléter d'autres modèles syntaxiques pour saisir leur modèle de calcul sous-jacent. Ce livre commence par décrire les modèles historiques de concurrence qui ont inspiré la construction du CCSL. Ensuite, le CCSL est présenté et utilisé pour construire des bibliothèques dédiées à deux modèles standards émergents dans les domaines de l'automobile (East-ADL) et de l'avionique (AADL). Enfin, une technique basée sur l'observation pour vérifier les implémentations Esterel et VHDL par rapport aux spécifications du CCSL est présentée.