Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Format:
Kindle
Hardcover
Kindle
Paperback
Fuera de stock
0.76 kg
Sí
Nuevo
Amazon
USA
- Many systems, devices and appliances used routinely in everyday life, ranging from cell phones to cars, contain significant amounts of software that is not directly visible to the user and is therefore called "embedded". For coordinating the various software components and allowing them to communicate with each other, support software is needed, called an operating system (OS). Because embedded software must function in real time (RT), a RTOS is needed. This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering. Using the formal methods described in this book produces results that are more reliable while delivering higher performance. The result is a unique real-time concurrent programming system that supports heterogeneous systems with just 5 Kbytes/node. It is compatible with safety related engineering standards, such as IEC61508.
Fuera de stock
Selecciona otra opción o busca otro producto.
Conoce más detalles
Highlight, take notes, and search in the book
Productos Relacionados
Ver másOtros Productos
Compra protegida
Disfruta de una experiencia de compra segura y confiable
¿Cómo comprar?
Condiciones según método de envío
Correo privado:
- El monto de compra no debe superar los U$S 3.000 en valor productos.
- El paquete no debe pesar más de 50kg (cada unidad no debe superar los 20kg).
- El destinatario debe tener CUIT o CUIL para realizar la compra y también tener una dirección fiscal electrónica cargada en su perfil de AFIP.
- No se puede comprar más de 3 unidades de un mismo producto, o que pertenezcan a una misma familia / categoría por envío.
- Cada usuario tiene un límite de 5 compras personales anuales (Cada una de hasta U$S 3.000).
Correo Argentino:
- No se puede comprar más de 3 unidades de un mismo producto, o que pertenezcan a una misma familia / categoría por envío.
- Cada usuarios puede utilizar 12 franquicias de hasta U$S 50 libres de impuestos que ofrece la nueva reglamentación de AFIP. En caso de que se supere ese cupo, el comprador deberá abonar en concepto de impuestos, el 50% sobre el costo del producto.
- El régimen Puerta a Puerta abarca todos los envíos que pesan hasta 20 kilos y tienen un valor de hasta U$S 1.000.
- Los clientes que hagan compras bajo esta modalidad no deben realizar la Declaración de Recepción de Compra.
¡Aseguramos la entrega de tu orden!
Todas las órdenes están aseguradas para llegar a destino. Si tu pedido no llega luego de 75 días hábiles de haberlo realizado, te devolvemos el dinero. En el caso de Correo Argentino, deberás haber realizado la declaración jurada y el pago de la tasa postal mediante VEP (Volante Electrónico de Pago) en el plazo indicado.
¿Cómo solicitar una devolución?
Para solicitar una devolución, el cliente debe realizarlo a través de su cuenta de Tiendamia en los primeros 7 días corridos desde la entrega de la orden. Este proceso está sujeto a la aprobación del departamento de Devoluciones (lo cual puede demorar de 48hs a 72hs hábiles). En caso de no tener la opción en la web, el cliente debe contactarse con Atención al Cliente para iniciar la solicitud.
Tarjetas de Crédito y Débito
Visa
Mastercard
American Express
Pagos a través de PayPal
Compra procesada en dólares con dinero en cuenta o tarjetas internacionales.
Paypal
Pagos a través de MODO
Compra procesada en pesos desde la App de tu banco.
PayPal
¡Elegí entre pagar en pesos o en dólares!
Más opciones, mayor flexibilidad. Seleccioná la moneda al momento de pagar y disfrutá de tu compra sin sorpresas.