Realtime Embedded Systems (quantitative Software Engineering

Descripción

LIBROS
-----------------------------------------------------------------------------
---------------------- TIEMPOS DE ENVÍO ------------------------
--------------------------- DE 4 A 8 DÍAS ---------------------------
---------- HÁBILES A CIUDADES PRINCIPALES -----------
-----------------------------------------------------------------------------


--TITULO--
Sistemas cuantitativos en tiempo real integrados en la serie de ingeniería de software

--TITULO--
RealTime Embedded Systems (Quantitative Software Engineering Series)


--DESCRIPCIÓN LARGA--
Desde la cubierta posterior Ofrece una cobertura completa de la convergencia de la programación de sistemas integrados en tiempo real, el control de acceso a los recursos, el diseño y desarrollo de software y el modelado, análisis y verificación de sistemas de alto nivel Luego de una introducción general, el Dr Wang profundiza en los aspectos específicos de Componentes de hardware, incluidos procesadores, memoria, dispositivos de E S y arquitecturas, estructuras de comunicación, periféricos y características de los sistemas operativos en tiempo real Los capítulos posteriores se dedican a los algoritmos de programación de tareas en tiempo real y las políticas de control de acceso a los recursos, así como al control de inversión de prioridad y la prevención de interbloqueos La programación concurrente del sistema y la programación POSIX para los sistemas en tiempo real están cubiertas, al igual que las máquinas de estados finitos y las redes Time Petri De especial interés para los ingenieros de software será el capítulo dedicado a la verificación de modelos, en el que el autor analiza la lógica temporal y la herramienta de verificación de modelos NuSMV, así como un capítulo que trata el diseño de software en tiempo real con UML La parte final del libro explora cuestiones prácticas de confiabilidad de software, envejecimiento, rejuvenecimiento, seguridad, y administración de energía Además, el libro Explica el modelado y diseño de software integrado en tiempo real con máquinas de estados finitos, redes de Petri y UML; y verificación de restricciones en tiempo real con la herramienta de verificación de modelos NuSMV Presenta ejemplos del mundo real en máquinas de estados finitos, verificación de modelos, diseño de sistemas en tiempo real con UML, y más para hacer concesiones de ingeniería del uso y rendimiento de la energía Investiga problemas prácticos relacionados con la confiabilidad, el envejecimiento, el rejuvenecimiento, la seguridad y la administración de energía de los sistemas y gestión También es un excelente libro de texto para cursos de posgrado en ingeniería informática, informática, tecnología de la información e ingeniería de software en sistemas de software integrados y en tiempo real, y para cursos universitarios de ingeniería de software e informática Sobre el autor Jiacun Wang PhD es profesor de ingeniería de software en Monmouth University, NJ, EE UU Fue miembro del personal científico de Nortel Networks, donde trabajó en software integrado para la gestión de la movilidad de los sistemas de telecomunicaciones 3G Es autor de Timed Petri Nets Theory and Application (Kluwer 1998) y editor de Handbook of Finite State Based Models and Applications (CRC 2012) Él es un miembro senior de IEEE

Peso del Producto: 1 Libra