Modeling Analysis Real Time (48 results)

- Softcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerCondition: Used - Very good
US$ 23.94
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

- Softcover
Seller: GoldBooks, Denver, CO, U.S.A.GoldBooks
Contact seller5-star sellerCondition: New
US$ 51.96
US$ 5.50 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. New Copy. Customer Service Guaranteed.

- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 65.83
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 65.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 67.00
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 62.31
US$ 8.78 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: New. pp. 314 3:B&W 7.5 x 9.25 in or 235 x 191 mm Perfect Bound on White w/Gloss Lam.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 68.43
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 53.22
US$ 20.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.

- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 77.89
US$ 3.99 shippingShips within U.S.A.Quantity: 3 available
Condition: New. pp. 314.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 80.34
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
US$ 67.79
US$ 22.42 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.

- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.98
US$ 20.27 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 79.23
US$ 11.49 shippingShips from Germany to U.S.A.Quantity: 3 available
Condition: New. pp. 314.

- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 70.76
US$ 20.27 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 73.10
US$ 20.93 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 77.11
US$ 16.19 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.35
US$ 20.27 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 84.76
US$ 20.27 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 51.56
US$ 80.83 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Cache Modeling for Timing Analysis in Real-Time Systems | Yanhui Li | Taschenbuch | 116 S. | Englisch | 2011 | LAP LAMBERT Academic Publishing | EAN 9783844384703 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.

- Softcover
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United KingdomPhatpocket Limited
Contact seller5-star sellerCondition: Used - Good
US$ 123.79
US$ 14.38 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 54.77
US$ 80.83 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE | Developing Cyber-Physical Systems | Bran Selic (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2013 | Morgan Kaufmann | EAN 9780124166196 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher… Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.61
US$ 72.87 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the joint conference on Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), held in Grenoble,France,on September 22 24,2004. The co…nference united two previously independently - ganized conferences FORMATS and FTRTFT. FORMATS 2003 was organized asasatelliteworkshopofCONCUR2003andwasrelatedtothreeindependently started workshop series: MTCS (held as a satellite event of CONCUR 2000 and CONCUR 2002), RT-TOOLS (held as a satellite event of CONCUR 2001 and FLoC 2002) and TPTS (held at ETAPS 2002). FTRTFT is a symposium that was held seven times before: in Warwick 1988, Nijmegen 1992, Lu beck 1994, Uppsala 1996, Lyngby 1998, Pune 2000 and Oldenburg 2002. The proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, 1926, and 2469 in the LNCS series by Springer. Thisjointconferenceis dedicatedtotheadvancementofthetheoryandpr- ticeofthe modelling,designandanalysisofreal-timeandfault-tolerantsystems. Indeed,computersystemsarebecomingincreasinglywidespreadinreal-timeand safety-critical applications such as embedded systems. Such systems are char- terized by the crucial need to manage their complexity in order to produce reliable designs and implementations. The importance of timing aspects, p- formance and fault-tolerance is continuously growing. Formal techniques o er a foundation for systematic design of complex systems. They have bene cial - plications throughout the engineering process, from the capture of requirements through speci cation, design, coding and compilation, down to the hardware that embeds the system into its environment.

- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 88.72
US$ 56.57 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Understand the design rationale behind the MARTE standard needed to take full advantage of its many powerful modeling capabilities Best apply the various MARTE features for the most common use cases encountered in the design of real-time .

- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 140.56
US$ 33.78 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Published by Electronic Industry Press, 1991
- Softcover
Seller: liu xing, Nanjing, JS, Chinaliu xing
Contact seller5-star sellerCondition: New
US$ 67.19
US$ 18.00 shippingShips from China to U.S.A.Quantity: 3 available
paperback. Condition: New. Language:Chinese.Paperback. Publisher: Electronic Industry.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 34.13
US$ 26.56 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Elektronik und die Informatik wird in den nächsten Jahrzehnten einen immer höheren Stellenwert im Bereich der Fahrzeugsicherheit einnehmen. Neue Sensoren zur Umweltwahrnehmung werden die Fahrzeuge in die Lage versetzen angemesse…n auf die aktuelle Verkehrssituation zu reagieren. Es wird erwartet, dass aktive Sicherheitssysteme, wie beispielsweise die automatische Notbremsung, Fußgänger- und Radfahrererkennung und Funktionen zur Unfallvermeidung, die Anzahl tödlicher Verkehrsunfälle weiter zurückgehen lassen werden. Dabei besteht die Herausforderung darin, die neuen Sicherheitsfunktionen in ein System zu integrieren, dass bereits heute hochkomplex und vernetzt ist. Entstehen werden Echtzeitsysteme, die aus hochintegrierten Subsystemen bestehen werden. In dieser Dissertation werden Methoden entwickelt, um die Auslegung derartiger Steuergeräte in frühen Entwicklungsphasen abzusichern. Mithilfe von Modelltransformationen sowie simulativer und formaler Methoden werden verschiedene Architekturkonzepte aus den Perspektiven e¿ektiver Umfeldwahrnehmung, funktionaler Sicherheit und Echtzeitfähigkeit betrachtet und bewertet. Von besonderer Bedeutung sind hierbei die Echtzeiteigenschaften der Softwareanteile der Sicherheitsfunktionen. Alle entwickelten Methoden wurden im Rahmen einer Forschungskooperation zwischen der Universität Erlangen-Nürnberg und der AUDI AG angewendet. Folgende Erkenntnisse konnten unter Anderem gewonnen werden:¿ Die Fusion von Objektlisten verschiedenartiger Sensoren ist aus Kosten-Nutzen-Sicht zu bevorzugen. ¿ Modellbasierte Sicherheitsanalysen bieten sich insbesondere in frühen Entwicklungsphasen an, den Entwicklungsprozess zu unterstützen. ¿ Für die Echtzeitanalyse von Steuergeräten sind exakte Algorithmen erforderlich, die in der Lage sind die kritischen Systemzustände zu visualisieren. ¿ Die Simulation der Softwaretasks ist ein wichtiger Bestandteil der Analyse und ist erforderlich, um die dynamischen Effekte des Systems zu verstehen, sowie die Relevanz der kritischen Systemzustände einschätzen zu können. ¿ Der Ansatz der modellgetriebenen Entwicklung ist besonders praktikabel in frühen Phasen der Systementwicklung, wenn man die Verallgemeinerung der Erkenntnisse unter Berücksichtigung des Abstraktionsgrades der Systemmodelle und der Eingabeparametermodelle durchführt. Durch die durchgeführten Analysen wurden Jahre vor der Serienproduktion, und Monate bevor erste Entwicklungsmuster zur Verfügung standen, an verschiedenen Stellen Engpässe in der Leistungsfähigkeit der Architekturkonzepte gefunden. Aufgrund der guten Zusammenarbeit zwischen OEM, Lieferant und Wissenschaft wurden neue Entwicklungsprozesse ins Leben gerufen und implementiert. Sowohl momentane als auch zukünftige Sicherheitssysteme prötieren von den entwickelten Methoden und werden die Basis bieten können um effiziente und effektive Funktionen der Fahrzeugsicherheit umsetzen zu können. 166 pp. Englisch.

- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 57.10
US$ 7.85 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.

Seller: Hakone Books, Fujisawa, KANAG, JapanHakone Books
Contact seller5-star sellerCondition: Used
US$ 106.19
US$ 9.99 shippingShips from Japan to U.S.A.Quantity: 5 available
This academic text, published by the respected Morikita Shuppan, presents an in-depth exploration of formal modeling methodologies. It provides a comprehensive analysis of techniques specifically tailored for discrete event, real-time, and hybrid systems. The book is an invaluable resource for researchers, engineers, and student…s seeking to understand and apply advanced modeling and analysis principles in complex system design. Note: The text is entirely in Japanese. Brand New Japanese Edition. Ships worldwide from Japan via Japan Post. Expedited shipping via FedEx available.

- Softcover
- Print on Demand
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 59.56
US$ 16.89 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 314 pages. 9.50x7.50x0.75 inches. In Stock. This item is printed on demand.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 52.21
US$ 26.56 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 166 pp. Englisch.