Condizione: Good. Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.
Lingua: Inglese
Editore: Morgan Kaufmann Publishers, 2013
ISBN 10: 0124166199 ISBN 13: 9780124166196
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
paperback. Condizione: Very Good. softcover book in very good shape, very light wear to cover and book edges.
Paperback. Condizione: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
Lingua: Inglese
Editore: Morgan Kaufmann 2013-10-25, 2013
ISBN 10: 0124166199 ISBN 13: 9780124166196
Da: Chiron Media, Wallingford, Regno Unito
EUR 45,41
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 60,67
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Majestic Books, Hounslow, Regno Unito
EUR 55,30
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 314 3:B&W 7.5 x 9.25 in or 235 x 191 mm Perfect Bound on White w/Gloss Lam.
Da: The Maryland Book Bank, Baltimore, MD, U.S.A.
Prima edizione
paperback. Condizione: Good. First Edition. Corners are bent. Used - Good.
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. pp. 314.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 70,12
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 63,91
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 314.
Lingua: Inglese
Editore: Elsevier Science & Technology, 2013
ISBN 10: 0124166199 ISBN 13: 9780124166196
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
EUR 57,45
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 63,88
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 60,94
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Morgan Kaufmann 2013-10-25, 2013
ISBN 10: 0124166199 ISBN 13: 9780124166196
Da: Chiron Media, Wallingford, Regno Unito
EUR 62,37
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 72,33
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cuvillier, Cuvillier Sep 2011, 2011
ISBN 10: 3869558830 ISBN 13: 9783869558837
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 28,70
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. 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 angemessen 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.Cuvillier Verlag, Nonnenstieg 8, 37075 Göttingen 166 pp. Englisch.
Condizione: New. New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 110,08
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
EUR 103,53
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Lingua: Inglese
Editore: ISTE Press Ltd - Elsevier Inc, 2020
ISBN 10: 1785481908 ISBN 13: 9781785481901
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
EUR 101,18
Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. New copy - Usually dispatched within 4 working days.
Lingua: Inglese
Editore: LAP LAMBERT Academic Publishing Jan 2011, 2011
ISBN 10: 3843393885 ISBN 13: 9783843393881
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 59,00
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -Logical time is a relaxed form of time promoted by synchronous languages that is functional, elastic (can be abstracted or refined), and multiform. All these properties make logical time adequate also at design time, whereas precise physical time annotations should only matter in later post-synthesis stages. The Clock Constraint Specification Language (CCSL) is a concrete language dedicated to the modeling and analysis of logical time properties. CCSL was initially defined as a companion for the time model of the UML profile for MARTE. It has now become a full-fledged domain-specific modeling language for capturing causal, chronological and timed relationships. It should complement other syntactic models to capture their underlying model of computation. This book starts by describing the historical models of concurrency that have inspired the construction of CCSL. Then, CCSL is introduced and used to build libraries dedicated to two emerging standard models from the automotive (East-ADL) and the avionic (AADL) domains. Finally, an observer-based technique to verify Esterel and VHDL implementations against CCSL specifications is presented.Books on Demand GmbH, Überseering 33, 22297 Hamburg 124 pp. Englisch.
Lingua: Inglese
Editore: LAP LAMBERT Academic Publishing, 2011
ISBN 10: 3843393885 ISBN 13: 9783843393881
Da: preigu, Osnabrück, Germania
EUR 51,00
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Logical Time [at] Work for the Modeling and Analysis of Embedded Systems | Foundations of the UML/MARTE Time Model | Frederic Mallet | Taschenbuch | 124 S. | Englisch | 2011 | LAP LAMBERT Academic Publishing | EAN 9783843393881 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 110,66
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 124,87
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: preigu, Osnabrück, Germania
EUR 53,20
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 109,95
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 129,26
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 126,69
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 148,72
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.