Real-Time and Multi-Agent Systems
PAYBACK Punkte
19 °P sammeln!
This book provides 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.Real-Time and Multi-Agent Systems brings together the 3 key fields of current and future data-processing:- Distributed systems and applications;- Parallel scientific computing;- 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 lots of examples as well as complete case studies.
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 isa 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.
Andere Kunden interessierten sich für
