Collaborative Design for Embedded Systems: Co-modelling and Co-simulation [Paperback] Fitzgerald, John; Larsen, Peter Gorm and Verhoef, Marcel (eng)
Idioma: inglés
Editorial: Springer, 2016
- Tapa blanda
- Nuevo

Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Vendedor de AbeBooks desde 11 de octubre de 2022
Condición: Nuevo
EUR 46,22
Cantidad disponible: Más de 20 disponibles
Añadir al carritoDescripción del artículo del vendedor
N° de ref. del artículo e0d80af1c9fa055b9c8a71a52ab9a49e
- Título
- Collaborative Design for Embedded Systems: Co-modelling and Co-simulation [Paperback] Fitzgerald, John; Larsen, Peter Gorm and Verhoef, Marcel (eng)
- Autor
- Fitzgerald, John
- Editorial
- Springer
- Año de publicación
- 2016
- Estado
- new
- Encuadernación
- Encuadernación de tapa blanda
- Idioma
- inglés
- ISBN 10
- 3662524449
- ISBN 13
- 9783662524442
- Peso del artículo
- 6,15 kilogramos
One of the most significant challenges in the development of embedded and cyber-physical systems is the gap between the disciplines of software and control engineering. In a marketplace, where rapid innovation is essential, engineers from both disciplines need to be able to explore system designs collaboratively, allocating responsibilities to software and physical elements, and analyzing trade-offs between them.
To this end, this book presents a framework that allows the very different kinds of design models – discrete-event (DE) models of software and continuous time (CT) models of the physical environment – to be analyzed and simulated jointly, based on common scenarios. The individual chapters provide introductions to both sides of this co-simulation technology, and give a step-by-step guide to the methodology for designing and analyzing co-models. They are grouped into three parts: Part I introduces the technical basis for collaborative modeling and simulation with the Crescendo technology. Part II continues with different methodological guidelines for creating co-models and analyzing them in different ways using case studies. Part III then delves into more advanced topics and looks into the potential future of this technology in the area of cyber-physical systems. Finally various appendices provide summaries of the VDM and 20-sim technologies, a number of valuable design patterns applicable for co-models, and an acronym list along with indices and references to other literature. By combining descriptions of the underlying theory with records of real engineers’ experience in using the framework on a series of case studies the book appeals to scientists and practitioners alike. It is complemented by tools, examples, videos, and other material on www.crescendotool.org.
Scientists/researchers and graduate students working in embedded and cyber-physical systems will learn the semantic foundations for collaborative modeling and simulation,as well as the current capabilities and limitations of methods and tools in this field. Practitioners will be able to develop an appreciation of the capabilities of the co-modeling techniques, to assess the benefits of more collaborative approaches to modeling and simulation, and will benefit from the included guidelines and modeling patterns.“Sinopsis” puede pertenecer a otra edición de este título.
Acerca del autor
John Fitzgerald is a specialist in the engineering of embedded systems and systems-of-systems. He has worked in and with the aerospace and embedded processor industries to develop formal model-based methods for software development that are supported by tools and deployed in commercial practice, notably the VDM and Overture framework. He is now Professor of Computing Science at Newcastle University, where he is Director of the Centre for Software Reliability.
Peter Gorm Larsen has been a specialist in the development of tool support for VDM for more than twenty years. He was the main architect behind the commercial VDMTools and is now Convener of the Overture open source initiative, and has experience of applying VDM in many different industrial contexts. He is now a professor at the Department of Engineering at Aarhus University in Denmark, where he leads the Software Engineering group.
Marcel Verhoef is an embedded systems architect at Chess EmbeddedTechnology International B.V. (Haarlem, The Netherlands) where has worked on the development of complex mission-critical embedded systems for clients in the aerospace and automotive industries. He holds a PhD from the Radboud University Nijmegen on multi-disciplinary design methodologies for systems engineering.“Acerca de” puede pertenecer a otra edición de este título.
Brook Bookstore On Demand
Napoli, NA, Italia
Vendedor de AbeBooks desde 11 de octubre de 2022
Tarifas de envío de Italia a Estados Unidos de America
| Artículo | De 25 a 40 días hábiles | De 60 a 60 días hábiles |
|---|---|---|
| Primer artículo | EUR 42,00 | EUR 511,00 |
Métodos de pago
Descripción de la tienda
Especialidad
Print on DemandInformación empresarial del vendedor
Brandon Group S.R.L.
Via Vannella Gaetani 27, Brandon Group
Napoli, NA Italia 80121
Condiciones de venta
Brook Bookstore On Demand ofrece una amplia selección de libros con un catálogo continuamente actualizado y envíos rápidos a todo el mundo. Tenemos los derechos de distribución con todas las editoriales que promocionamos y estamos en continua búsqueda de nuevos títulos interesantes para proponer a nuestros clientes. Somos parte de Brandon Group SRL (una compañía italiana) y todos los pedidos se envían desde Europa. Dependiendo de la disponibilidad los pedidos se recogerán de nuestros diferentes centros de distribución.
Derecho al desistimiento
Si es un consumidor, puede rescindir el contrato de acuerdo con lo siguiente. Por consumidor se entiende cualquier persona física que actúe con fines ajenos a su actividad comercial, empresarial, oficio o profesión.
Información sobre el derecho de desistimiento
Derecho legal de desistimiento
Tiene derecho a rescindir este contrato en un plazo de 14 días sin dar ningún motivo.
El periodo de desistimiento vencerá a los 14 días desde que usted, o un tercero que no sea el transportista e indicado por usted, adquiera la posesión física del último bien o del último lote o pieza.
Para ejercer el derecho de desistimiento, complete de forma electrónica y envíe una declaración clara en nuestro sitio web, desde "Mis compras" en "Mi cuenta". Le enviaremos sin demora un acuse de recibo de dicho desistimiento a través de un soporte duradero (por ejemplo, por correo electrónico).
Para cumplir con el plazo de desistimiento, basta con que envíe su comunicación relativa al ejercicio del derecho de desistimiento antes de que venza el periodo de desistimiento.
Efectos del desistimiento
Si rescinde este contrato, le reembolsaremos todos los pagos que hayamos recibido de usted, incluidos los gastos de envío (excepto los gastos adicionales que surjan si elige un tipo de envío que no sea el tipo de envío estándar más económico que ofrecemos).
Podemos hacer una deducción del reembolso por la pérdida de valor de cualquier bien suministrado, si la pérdida es el resultado de una manipulación innecesaria por su parte.
Efectuaremos el reembolso sin demoras indebidas y, a más tardar, 14 días después de que se nos informe de su decisión de rescindir este contrato.
Efectuaremos el reembolso utilizando el mismo medio de pago que utilizó para la transacción inicial, a menos que haya acordado expresamente lo contrario; en cualquier caso, no incurrirá en ningún cargo como resultado de dicho reembolso.
Podremos retener el reembolso hasta que hayamos recibido los bienes o hasta que nos haya presentado una prueba de que los ha devuelto, lo que ocurra primero.
Deberá devolver los bienes o entregarlos a Brook Bookstore On Demand, Bristol, United Kingdom, +39 3485885209, sin demoras indebidas y, en cualquier caso, en un plazo máximo de 14 días a partir del día en que nos comunique su desistimiento del presente contrato. El plazo se cumple si devuelve la mercancía antes de que venza el periodo de 14 días. Tendrá que asumir los gastos directos de devolución de los bienes. Usted solo es responsable de la disminución del valor de los bienes como resultado de una manipulación distinta a la necesaria para establecer la naturaleza, las características y el funcionamiento de los bienes.
Excepciones al derecho de desistimiento
El derecho de desistimiento no se aplica a lo siguiente:
- La entrega de periódicos, diarios o revistas, con la excepción de los contratos de suscripción; y
- El suministro de contenido digital que no se proporcione en un soporte tangible (por ejemplo, en un CD o DVD) si, al hacer el pedido, aceptó que podíamos empezar a entregarlo y que no podría desistir una vez iniciada la entrega.