Embedded systems software engineering (33 Ergebnisse)

Paperback. Zustand: Very Good. 1. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

Zustand: as new. Wie neu/Like new.

Paperback. Zustand: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Zustand: Neu. Neuware.

Zustand: New.

Taschenbuch. Zustand: Neu. Neuware.

Zustand: New. In English.

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Brand New. 1st edition. 472 pages. 9.00x7.40x1.00 inches. In Stock.

hardcover. Zustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.…

Taschenbuch. Zustand: Neu. Design Patterns for Embedded Systems in C | An Embedded Software Engineering Toolkit | Bruce Powel Douglass | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2010 | Elsevier Science & Technology | EAN 9781856177078 | Verantwortliche Person für die EU: Elsevier B.V., Radarweg 29, 1043 NX AMSTERDAM, NIEDERLANDE, productsafety[at]elsevier[dot]com | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Designing Software Engineering Model for Web Enabled Embedded Systems | Software Engieering, Embedded Systems, Model Based System Engineering | Ahmed I. Sharaf (u. a.) | Taschenbuch | 124 S. | Englisch | 2012 | LAP LAMBERT Academic Publishing | EAN 9783848417681 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.…

Paperback. Zustand: Brand New. 508 pages. 8.66x5.91x1.15 inches. In Stock.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Developing Embedded systems through Cleanroom Software Engineering | Chandra Prakash Vudatha (u. a.) | Taschenbuch | 508 S. | Englisch | 2016 | LAP LAMBERT Academic Publishing | EAN 9783659859496 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. …

Zustand: New.

Paperback. Zustand: Brand New. 236 pages. 9.25x6.10x0.55 inches. In Stock.

Zustand: New. Provides a roadmap of key problems/issues and references to their solution in the text Reviews core methods and how to apply them Contains examples that demonstrate timeless implementation details Users case studies to sh.

Taschenbuch. Zustand: Neu. Formal Development of a Network-Centric RTOS | Software Engineering for Reliable Embedded Systems | Eric Verhulst (u. a.) | Taschenbuch | xvii | Englisch | 2014 | Springer | EAN 9781489992888 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: New.

Buch. Zustand: Neu. Neuware - Software Engineering for Embedded Systems: Methods, Practical Techniques, and Applications, Second Edition provides the techniques and technologies in software engineering to optimally design and implement an embedded system. Written by experts with a solution focus, this encyclopedic reference gives an indispensable aid on how to tackle the day-to-day problems encountered when using software engineering methods to develop embedded systems. New sections cover peripheral programming, Internet of things, security and cryptography, networking and packet processing, and hands on labs. Users will learn about the principles of good architecture for an embedded system, design practices, details on principles, and much more. …

Hardcover. Zustand: New. Brand new book, sourced directly from publisher. Dispatch time is 7-8 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 and higher performance. This methodology is unique because it covers the full range of product development, from requirements and specifications to the final execution platform. It is compatible with safety related engineering standards, such as IEC61508.Uses formal methods to develop Network-centric Real-time Operating SystemsUnified Semantics provides a solid base for model driven systems development and can be tuned to an application-specific, concurrent programming paradigmMethods presented enable model-driven, high-reliability, high-performance software & systems engineeringCompatible with International Electrotechnical Commission (IEC) 61508, the standard governing functional safety of programmable electronic systems.…

Hardcover. Zustand: Brand New. 219 pages. 9.50x6.25x0.75 inches. In Stock.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Das Buch beschreibt den objektorientierten Entwurf von Software-/Hardware-Lösungen zu automatisierungstechnischen Problemstellungen, sogenannten 'embedded systems'. Objektorientierte Systeme bieten erhebliche Vorteile bei der Beherrschung von Komplexität, späteren Änderungen und Wartungsmaßnahmen. Ausgehend von bekannten Analyse- und Designmethoden werden zunächst die grundlegenden objektorientierten Konzepte vorgestellt, ausgewählte Methoden im Überblick miteinander verglichen und die speziellen Eigenschaften von 'embedded systems' beschrieben. Der Autor entwickelt dann mittels Zustands-Übergangsdiagrammen eine Methode für objektorientierte Spezifikation. Damit kann ein tragfähiger, stabiler Entwurf formuliert werden, der direkt in einer objektorientierten Programmiersprache implementierbar ist.…

Paperback. Zustand: Brand New. 181 pages. German language. 9.25x6.10x0.42 inches. In Stock.