Name: Análise e Concepção de Sistemas de Tempo-Real: Metodologias de Dedução Experimental (en Portugués)
Price: 115550.00 CLP
Availability: InStock
Author: Carlos J. Costa
ISBN: 9786203469073

portada Análise e Concepção de Sistemas de Tempo-Real: Metodologias de Dedução Experimental (en Portugués)

Formato

Libro Físico

Editorial

Novas Edições Acadêmicas

Autor

Carlos J. Costa

Año

2021

Idioma

Portugués

N° páginas

200

Encuadernación

Tapa Blanda

ISBN13

9786203469073

Categorías

Tecnología de la información: cuestiones generales

Análise e Concepção de Sistemas de Tempo-Real: Metodologias de Dedução Experimental (en Portugués)

Carlos J. Costa (Autor) · Novas Edições Acadêmicas · Tapa Blanda

Libro Nuevo

$ 115.550

$ 231.090

Ahorras: $ 115.540

50% descuento

Envío normal

Origen: España (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Viernes 17 de Mayo y el Viernes 24 de Mayo.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Análise e Concepção de Sistemas de Tempo-Real: Metodologias de Dedução Experimental (en Portugués)"

Os sistemas de tempo-real fazem cada vez mais parte dos vários aspetos da nossa existência, sendo encontrados numa grande variedade de aplicações que utilizamos frequentemente. Estes podem ser encontrados em simples sistemas embebidos (e.g., sistemas ABS, controladores de processos dedicados) ou em sistemas de tempo-real complexos (e.g., sistemas de navegação, controlo de centrais nucleares). Não subestimando esta integração, a evolução faz-se no caminho do aparecimento de sistemas de tempo-real cada vez mais complexos e adaptativos. Estes sistemas, essencialmente os críticos e complexos, têm sido desenvolvidos por processos 'ad hoc' e verificados por simulação. Tais processos, não oferecem qualquer garantia demonstrável da sua conformidade com as restrições impostas pelo ambiente e o seu desenvolvimento é bastante dispendioso, em termos de tempo e custo económico. Esta dissertação pretende contribuir para a criação de uma base científica na análise e concepção de sistemas de tempo-real. Concretamente, pretende estudar os problemas resultantes da implementação prática de sistemas de tempo-real e fornecer meios de teste da conformidade destes com os requisitos temporais impostos.