{"product_id":"tempo-logico-trabalho-para-a-modelacao-e-analise-de-sistemas-embebidos-von-frederic-mallet","title":"Tempo Lógico @ Trabalho para a Modelação e Análise de Sistemas Embebidos","description":"\u003cp\u003eO tempo lógico é uma forma relaxada de tempo promovida por linguagens síncronas que é funcional, elástica (pode ser abstraída ou refinada), e multiforme. Todas estas propriedades tornam o tempo lógico adequado também no tempo de concepção, enquanto que as anotações de tempo físico precisas só devem ter importância em fases posteriores de pós-síntese. A Clock Constraint Specification Language (CCSL) é uma linguagem concreta dedicada à modelação e análise das propriedades lógicas do tempo. A CCSL foi inicialmente definida como uma companheira para o modelo temporal do perfil UML para a MARTE. Tornou-se agora uma linguagem de modelação de domínio específico para a captura de relações causais, cronológicas e temporais. Deve complementar outros modelos sintácticos para captar o seu modelo de cálculo subjacente. Este livro começa por descrever os modelos históricos de concurrência que inspiraram a construção do CCSL. Em seguida, o CCSL é introduzido e utilizado para construir bibliotecas dedicadas a dois modelos padrão emergentes dos domínios automóvel (East-ADL) e aviónico (AADL). Finalmente, é apresentada uma técnica baseada em observadores para verificar as implementações de Esterel e VHDL em relação às especificações CCSL.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786202752008\"\u003e\u003ch3\u003eFundamentos do modelo temporal UML\/MARTE\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786202752008","offer_id":39468044288093,"sku":"9786202752008","price":37.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/6df29a27-8733-4ace-8cc9-53a46099f8a8.jpg?v=1757914212","url":"https:\/\/shop.autorenwelt.de\/products\/tempo-logico-trabalho-para-a-modelacao-e-analise-de-sistemas-embebidos-von-frederic-mallet","provider":"Autorenwelt Shop","version":"1.0","type":"link"}