Artículos relacionados a UML-B Specification for Proven Embedded Systems Design

UML-B Specification for Proven Embedded Systems Design - Tapa dura

 
9781402028663: UML-B Specification for Proven Embedded Systems Design

Sinopsis

This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to support IP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to support IP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of.

Reseña del editor

UML-B Specification for Proven Embedded Systems Design presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUSSEE) as conceived in the course of the research during 2002 - 2003.

The goal of the research in this project was to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This is done by combining the formal and informal means of specification by way of the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (with some particular attention to interfaces, in line with the VSIA/SLIF approach). The link of B with C, VHDL and SystemC extends the correct-by-construction design process to lower system-on-chip (SoC) development stages. The production of proven embedded software is therefore complemented by the production of proven hardware. Prototype tools have been developed for the code generation from UML and B, and existing B verification tools will be extended to support IP reuse, according to the VSIA recommendations. The methodology and tools were validated through the development of three industrial applications: a wireless mobile terminal a telecom system-on-chip based on HIPERLAN/2 protocol and an anti-collision module for automobiles.

The problem was known to be hard and the scope ambitious. But the seventeen chapters of UML-B Specification for Proven Embedded Systems Design, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience including the various sectors of industry's system design engineers, university teachers and researchers. They will hopefully convince skeptical professionals that formal approaches can now cope with industrial strength problems.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar usado

Condición: Aceptable
Connecting readers with great books...
Ver este artículo

EUR 3,19 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 3,40 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9781441952561: UML-B Specification for Proven Embedded Systems Design

Edición Destacada

ISBN 10:  144195256X ISBN 13:  9781441952561
Editorial: Springer, 2010
Tapa blanda

Resultados de la búsqueda para UML-B Specification for Proven Embedded Systems Design

Imagen de archivo

Publicado por Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Nuevo Tapa dura

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. pp. 316. Nº de ref. del artículo: 26291545

Contactar al vendedor

Comprar nuevo

EUR 38,72
Convertir moneda
Gastos de envío: EUR 3,40
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Nuevo Tapa dura

Librería: Majestic Books, Hounslow, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. pp. 316 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Nº de ref. del artículo: 7589126

Contactar al vendedor

Comprar nuevo

EUR 36,32
Convertir moneda
Gastos de envío: EUR 7,45
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen de archivo

MERMET J.P.
Publicado por Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Nuevo Tapa dura

Librería: Basi6 International, Irving, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-397744

Contactar al vendedor

Comprar nuevo

EUR 44,72
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 6 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Nuevo Tapa dura

Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-249263

Contactar al vendedor

Comprar nuevo

EUR 44,72
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Nuevo Tapa dura

Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Nº de ref. del artículo: ASNT3-249263

Contactar al vendedor

Comprar nuevo

EUR 46,70
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Mermet Jean
Publicado por Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Nuevo Tapa dura

Librería: Biblios, Frankfurt am main, HESSE, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. pp. 316. Nº de ref. del artículo: 18291539

Contactar al vendedor

Comprar nuevo

EUR 38,59
Convertir moneda
Gastos de envío: EUR 9,95
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Nuevo Tapa dura

Librería: ALLBOOKS1, Direk, SA, Australia

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Nº de ref. del artículo: SHUB397744

Contactar al vendedor

Comprar nuevo

EUR 57,08
Convertir moneda
Gastos de envío: GRATIS
De Australia a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Edición internacional
Edición internacional

MERMET J.P.
Publicado por SP SPRINGER, 2004
ISBN 10: 1402028660 ISBN 13: 9781402028663
Nuevo Tapa dura
Edición internacional

Librería: UK BOOKS STORE, London, LONDO, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Brand New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Nº de ref. del artículo: CVS 9781402028663

Contactar al vendedor

Comprar nuevo

EUR 57,09
Convertir moneda
Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 6 disponibles

Añadir al carrito

Imagen de archivo

Jean Mermet
Publicado por Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Nuevo Tapa dura

Librería: Basi6 International, Irving, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-166364

Contactar al vendedor

Comprar nuevo

EUR 81,12
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Antiguo o usado Tapa dura

Librería: HPB-Red, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_332765197

Contactar al vendedor

Comprar usado

EUR 82,32
Convertir moneda
Gastos de envío: EUR 3,19
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Existen otras 12 copia(s) de este libro

Ver todos los resultados de su búsqueda