Andere Kunden interessierten sich auch für
![Gestione della qualità del servizio dei sistemi embedded distribuiti in tempo reale]( "Gestione della qualità del servizio dei sistemi embedded distribuiti in tempo reale")
Gestione della qualità del servizio dei sistemi embedded distribuiti in tempo reale34,99 €![Applicazione della teoria degli automi ai sistemi economici]( "Applicazione della teoria degli automi ai sistemi economici")
Applicazione della teoria degli automi ai sistemi economici44,99 €![MODELLARE LO SVILUPPO DEL MERCATO DEL LAVORO RURALE]( "MODELLARE LO SVILUPPO DEL MERCATO DEL LAVORO RURALE")
MODELLARE LO SVILUPPO DEL MERCATO DEL LAVORO RURALE37,99 €![Tempo Lógico @ Trabalho para a Modelação e Análise de Sistemas Embebidos]( "Tempo Lógico @ Trabalho para a Modelação e Análise de Sistemas Embebidos")
Tempo Lógico @ Trabalho para a Modelação e Análise de Sistemas Embebidos25,99 €![Manuale per l'analisi dei progetti di investimento nel turismo]( "Manuale per l'analisi dei progetti di investimento nel turismo")
Manuale per l'analisi dei progetti di investimento nel turismo32,99 €![Mercato dei capitali e sistemi finanziari indiani]( "Mercato dei capitali e sistemi finanziari indiani")
Mercato dei capitali e sistemi finanziari indiani29,99 €![Valutazione dell'adattamento dei nuclei in zirconia fabbricati con sistemi CAD / CAM]( "Valutazione dell'adattamento dei nuclei in zirconia fabbricati con sistemi CAD / CAM")
Valutazione dell'adattamento dei nuclei in zirconia fabbricati con sistemi CAD / CAM32,99 €
Il tempo logico è una forma di tempo rilassata promossa dai linguaggi sincroni che è funzionale, elastico (può essere astratto o raffinato) e multiforme. Tutte queste proprietà rendono il tempo logico adeguato anche al momento della progettazione, mentre le annotazioni precise del tempo fisico dovrebbero avere importanza solo nelle fasi successive della post-sintesi. Il Clock Constraint Specification Language (CCSL) è un linguaggio concreto dedicato alla modellazione e all'analisi delle proprietà del tempo logico. Il CCSL è stato inizialmente definito come un compagno per il modello temporale del profilo UML per MARTE. Ora è diventato un vero e proprio linguaggio di modellazione specifico del dominio per l'acquisizione di relazioni causali, cronologiche e temporali. Dovrebbe completare altri modelli sintattici per catturare il loro modello di calcolo sottostante. Questo libro inizia con la descrizione dei modelli storici della concomitanza che hanno ispirato la costruzione del CCSL. Poi, il CCSL viene introdotto e utilizzato per costruire librerie dedicate a due modelli standard emergenti del settore automobilistico (East-ADL) e dell'avionica (AADL). Infine, viene presentata una tecnica basata sull'osservazione per verificare le implementazioni Esterel e VHDL rispetto alle specifiche CCSL.