A detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems. The book brings together the 3 key fields of current and future data-processing: distributed systems and applications, parallel scientific computing, and real-time and manufacturing systems. It covers the basic concepts and theories, methods, techniques and tools currently used in the specification and implementation of applications and contains many examples plus complete case studies.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
PREFACE.- FOREWORD.- INTRODUCTION.- PROBLEMS ENCOUNTERED WITH DISTRIBUTED SYSTEMS: Definition of a Distributed Multi-Agent Application. Development of Remote Processing Systems. Architecture of Remote Processing Systems. Distributed Applications. Distributed System Properties. Activity Management in a Distributed Context. Process Synchronisation and Resource Management. Validation Protocols for Global Applications. Fault Tolerance, Security and Protection.- INTERACTION MODELS: New Generation Distributed Software Architecture. Event-Oriented Concurrent and Distributed Programming. Massively Parallel Processors and Distributed Programming. Basic Principles of Distributed Programming. The Method of Analysis for a Multi-Agent Application. Communication Channels. Elements of a High-Level Distributed Programming Language. Anonymous Communication. Hoare Monitors. The Corba Norm. Conclusion.- PVM, PARALLEL PROGRAMMING TOOLS: PVM Presented. PVM Installation. The User Interface or PVM Primitives.- DISTRIBUTED PROGRAMMING UNDER UNIX: Unix and the Client-Server Model. Unix Tools for Distributed Data-Processing. IP Interfaces. TCP and UDP Data Transmission Protocols. Unix Tools for Distributed Programming. Sockets.- PRINCIPLES OF REAL-TIME DATA PROCESSING: Structure and Function of an Automated System. Combinatorial Automated Systems. Sequential Automated Systems. The GRAFCET: Synthesis Tool for Industrial Automated Systems. Technological Options for the Implementation of the Command Part. Digital Control Process Systems. The Need for an Adapted Specification Methodology. Process Dynamics. Periodic and Aperiodic Tasks. Basic Functions of Real-Time Kernels. Local Industrial Networks. The Development Environment of VxWorks Real-Time Applications. The Environment of a Multi-Agent Real-time Application. Tools for the Development and Coverification of Embedded Systems. CORBA Telecoms.- PROLOG III AND REAL-TIME SYSTEM ENGINEERING: Impact of Formal Specifications on Software Development. Reminder of Discrete Event Systems. Prolog III and the Study of Simple Real-Time Systems. Specification Methodology of Complex MMS Systems. Conclusion. Project 1: Modelling Distributed Systems.- PARALLEL IMAGE PROCESSING: Presentation. Implementation.- CLIENT-SERVER APPLICATIONS UNDER UNIX: Presentation. Implementation. Mini Project 1: An Event Management System. Mini Project 2: A VxWorks Version of the Temporal Constraint Manager. The Sources of the Temporal Constraint Management System.- CONTROL OF A PRODUCT PROCESSING CHAIN: Functioning. Analysis and Specification using the SA/RT (SA/SD) Method. Design and Implementation of the Command Part.- A PERSISTENT OBJECT MANAGEMENT SYSTEM: Presentation. The Object Manager OM.- APPENDICES: Problems with Hardware-Software Layer Coupling in a Data-Processing system. Basic Principles of Peripheral Handlers. Process Management. Management of the Central Memory. Introduction to Prolog III.- INDEX.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. In. Codice articolo ria9781852332525_new
Quantità: Più di 20 disponibili
Da: Chiron Media, Wallingford, Regno Unito
PF. Condizione: New. Codice articolo 6666-IUK-9781852332525
Quantità: 10 disponibili
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9781852332525
Quantità: Più di 20 disponibili
Da: Revaluation Books, Exeter, Regno Unito
Paperback. Condizione: Brand New. 461 pages. 9.00x6.00x1.25 inches. In Stock. Codice articolo x-1852332522
Quantità: 2 disponibili
Da: moluna, Greven, Germania
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A good introduction/practitioner s guide to distributed programmingContains lots of complete examplesA detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verif. Codice articolo 4289440
Quantità: Più di 20 disponibili
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems. The book brings together the 3 key fields of current and future data-processing: distributed systems and applications, parallel scientific computing, and real-time and manufacturing systems. It covers the basic concepts and theories, methods, techniques and tools currently used in the specification and implementation of applications and contains many examples plus complete case studies. 488 pp. Englisch. Codice articolo 9781852332525
Quantità: 2 disponibili
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book is a translation ofthe accomplishment ofthe French engineer Ammar Attoui, who has set out to bring together the works of computer scientists and automotive engineers. Computer scientists have worked on the same type of systems as automotive engineers, but have used different designs, methods and tools. The former call the resultant systems 'real-time systems', and the latter call them 'discontinuous event systems'. Today, telecommunications systems of increasing performance, and increasingly powerful multi-task operating and real time systems offer the possibilities of the development of distributed structure applications organized in a group ofasynchronous entities which communicate by the exchange of messages and events. Hence, combining the cultures ofcomputer science and automotive engineering is essential to gain the benefits of unifying their techniques and methods in order to realize this potential. The absence of the global state in distributed systems, which is a result of the absence of a shared memory and unique repository, makes communication via messaging the sole means which can be used under any circumstances. Agents are conceptual communicating entities. The book presents the methods and tech niques which are necessary for the concrete implementation ofthe idea ofan agent as an autonomous and reactive computing entity. Multi-agent systems are com posed ofa set ofspecialized entities communicating on behalfofa global applica tion.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 488 pp. Englisch. Codice articolo 9781852332525
Quantità: 1 disponibili
Da: AHA-BUCH GmbH, Einbeck, Germania
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a translation ofthe accomplishment ofthe French engineer Ammar Attoui, who has set out to bring together the works of computer scientists and automotive engineers. Computer scientists have worked on the same type of systems as automotive engineers, but have used different designs, methods and tools. The former call the resultant systems 'real-time systems', and the latter call them 'discontinuous event systems'. Today, telecommunications systems of increasing performance, and increasingly powerful multi-task operating and real time systems offer the possibilities of the development of distributed structure applications organized in a group ofasynchronous entities which communicate by the exchange of messages and events. Hence, combining the cultures ofcomputer science and automotive engineering is essential to gain the benefits of unifying their techniques and methods in order to realize this potential. The absence of the global state in distributed systems, which is a result of the absence of a shared memory and unique repository, makes communication via messaging the sole means which can be used under any circumstances. Agents are conceptual communicating entities. The book presents the methods and tech niques which are necessary for the concrete implementation ofthe idea ofan agent as an autonomous and reactive computing entity. Multi-agent systems are com posed ofa set ofspecialized entities communicating on behalfofa global applica tion. Codice articolo 9781852332525
Quantità: 1 disponibili
Da: Buchpark, Trebbin, Germania
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 488 | Sprache: Englisch | Produktart: Bücher | This book is a translation ofthe accomplishment ofthe French engineer Ammar Attoui, who has set out to bring together the works of computer scientists and automotive engineers. Computer scientists have worked on the same type of systems as automotive engineers, but have used different designs, methods and tools. The former call the resultant systems "real-time systems", and the latter call them "discontinuous event systems". Today, telecommunications systems of increasing performance, and increasingly powerful multi-task operating and real time systems offer the possibilities of the development of distributed structure applications organized in a group ofasynchronous entities which communicate by the exchange of messages and events. Hence, combining the cultures ofcomputer science and automotive engineering is essential to gain the benefits of unifying their techniques and methods in order to realize this potential. The absence of the global state in distributed systems, which is a result of the absence of a shared memory and unique repository, makes communication via messaging the sole means which can be used under any circumstances. Agents are conceptual communicating entities. The book presents the methods and tech niques which are necessary for the concrete implementation ofthe idea ofan agent as an autonomous and reactive computing entity. Multi-agent systems are com posed ofa set ofspecialized entities communicating on behalfofa global applica tion. Codice articolo 701/202
Quantità: 1 disponibili
Da: Mispah books, Redhill, SURRE, Regno Unito
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Codice articolo ERICA70418523325226
Quantità: 1 disponibili