Atjaunināt sīkdatņu piekrišanu

Distributed Computer Control Systems 1998 [Mīkstie vāki]

(Department of Electrical Engineering, University of the Witwatersrand, Johannesburg, South Africa), (Dipartimento di Scienze dell'Informazione, Universitą Degli Studi di Milano, Italy)
  • Formāts: Paperback / softback, 176 pages, index
  • Sērija : IFAC Proceedings Volumes
  • Izdošanas datums: 20-Jan-1999
  • Izdevniecība: Pergamon Press
  • ISBN-10: 0080432425
  • ISBN-13: 9780080432427
  • Mīkstie vāki
  • Cena: 70,74 €*
  • * Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
  • Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena.
  • Daudzums:
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Formāts: Paperback / softback, 176 pages, index
  • Sērija : IFAC Proceedings Volumes
  • Izdošanas datums: 20-Jan-1999
  • Izdevniecība: Pergamon Press
  • ISBN-10: 0080432425
  • ISBN-13: 9780080432427
Computer control systems are increasingly required to be highly dependable and to have deterministic timing properties. Distributed architectures have the potential to meet this challenge. The advantages of distributed computer control systems include the possibility of composing large systems out of pre-tested components with small integration effort, their well-defined fault containment properties and their capacity to make effective use of mass-produced silicon chips.

The IFAC Workshop series on Distributed Computer Control Systems (DCCS) highlights and traces the growth of key concepts in this field at their various stages of development. Theoretical and practice-oriented viewpoints receive equal emphasis and there is a creative blending of the disciplines of computer science and control engineering.

The 1998 DCCS Workshop was notable for the attention given to true real-time communication networks and protocols. The complexity of the trade-off between services, dependability mechanisms and system-level properties was highlighted, and rigorous modelling and analysis methodologies were discussed. Event-triggered and time-triggered protocols were contrasted.

Models for analysing and predicting response times in distributed systems and for predicting the effect of response-time jitter on the performance of feedback control loops were presented.

The application of formal methods to the specification and development of safety-critical control software also received much attention. Distributed object methodologies and object request brokers were also highlighted as being promising approaches for the programming of large-scale, heterogeneous distributed systems.

Applications reported included control systems for traffic lights, jet engines, automobiles, fully-automatic trains and flexible manufacturing systems.
REAL-TIME ISSUES IN DCCS Setting Target Rotation Time in Profibus Based Real-Time Distributed Applications 1(6) E. Tovar F. Vasques DeSiDeRaTa: QoS Management Technology for Dynamic, Scalable, Dependable, Real-Time Systems 7(6) L.R. Welch B.A. Shirazi B. Ravindran C. Bruggeman A Distributed Architecture for Real-Time Traffic Management 13(6) H. Demmou L. Hermitte A.E.K. Sahraoui P. Olivero CONTROL SYSTEMS, COMMUNICATION AND SCHEDULING Bandwidth Allocation for Transmission of Real-Time Messages in Burst Mode Over IEEE 802.12 Network 19(6) T. Kim N. Kim N. Chang H. Shin Effect of Timing Jitter on Distributed Computer Control System Performance 25(6) A. Stothert I.M. MacLeod Token-Passing Bus Access Method on the IEEE 802.3 Physical Layer for Distributed Control Networks 31(6) J-Y. Lee H-J. Moon S.Y. Moon W.H. Kwon S.W. Lee I.S. Park Point-to-Point Real-Time Communication Over a Backplane Bus 37(6) S. Jeong Y.S. Kim W.H. Kwon FORMAL METHODS APPLIED TO DCCS Formal Design of a Concurrent Control Algorithm for Replicated Data in Groupware Applications 43(6) C.G.P. Perez T.P. de Miguel M Experiences with the Application of Discrete Formal Methods to the Development of Engine Control Software 49(8) A.J. Galloway T.J. Cockram J.A. McDermid Expression of Temporal Constraints: A Syntactic Way 57(6) D. Delfieu A.E.K. Sahraoui Integrating Formal Methods in the Development Process of Distributed Systems 63(6) I. Traore A.E.K. Sahraoui DEPENDABILITY ISSUES IN DCCS Approaches to Designing Complex Dependable Systems 69(8) A. Clematis V. Gianuzzi A. Romanovsky A.M. Tyrrell W. Cazzola Configurable Time-Redundant Task Execution for Fault-Tolerant Real-Time Systems 77(6) R. Nossal P. Puschner Guaranteeing Timeliness in Safety Critical Real-Time Systems 83(8) C. Aussagues V. David METHODOLOGIES FOR DCCS DESIGN Application of CFSMcharts for Modelling Real-Time and Industrial Embedded Systems 91(8) P.S. Roop A. Sowmya G.C. Mormanis S.S. Baldwin Time Response Analysis of Complex Systems 99(6) A. Alonso M. Garcia-Valls J.A. de la Puente Communicating Reactive State Machines: Design, Model and Implementation 105(6) S. Ramesh Using MTER Nets for Modeling Multiple Time Reference in Distributed Systems 111(6) S. Morasca PLENARY PAPER A Comparison of CAN and TTP 117(12) H. Kopetz OBJECT-ORIENTED DISTRIBUTED SYSTEMS Supporting Software Synthesis of Communication Infrastructures for Embedded Real-Time Applications 129(8) C. Ditze C. Boke High Level Design of Supervision and Control Systems Using CORBA: An Example 137(6) A. Coen-Porisini D. Gatti D. Mariani A Multi-Agent Scheduling Approach for the Flexible Manufacturing Production Systems 143(6) B. Archimede T. Coudert Communicating MMS Events in a Distributed Manufacturing System Using CORBA 149(6) T. Ariza F.R. Rubio SIMULATION ISSUES IN DCCS Performance Evaluation of the Train Communication Network 155(6) J. Park S. Lee A Scheduling Simulator for Real-Time Distributed System 161(8) A. Casile G. Buttazzo G. Lamastra G. Lipari Author Index 169