Real time programming : 1988 : proceedings of the 15th IFAC/IFIP Workshop, Valencia, Spain, 25-27 May 1988

Digital computers are now used routinely in on-line control systems. As applications become more complex and costs of developing software rise, the need for good software tools becomes vital. This volume presents 14 papers on the most recent developments within real-time programming - languages for real-time programming, software development tools and the application of real-time systems within industry. Content: Inside Front Cover, Page ii Front Matter, Page iii Copyright, Page iv IFAC WORKSHOP ON REAL TIME PROGRAMMING 1988, Page v CORRECTNESS VERIFICATION OF REAL-TIME PROGRAMS, Pages 1-6, T. Szmuc LOTOS BASED DERIVATION METHODOLOGY IN THE PRODAT PROJECT, Pages 7-13, A. Fernández, J. Quemada, L. Vidaller, C. Miguel THE CREATIVE STEP IN DESIGNING REAL-TIME SOFTWARE, Pages 15-20, T. Tempelmeier APPLYING THE PRINCIPLE OF SEPARATION OF CONCERNS IN SOFTWARE DEVELOPMENT, Pages 21-27, R.J. Mitchell SUPPORTING TOOL FOR OBJECT ORIENTED DESIGN OF REAL TIME APPLICATIONS, Pages 29-33, G. Alrebdawi, J.J. Skubich, Y. Martinez ADDITIONAL PEARL LANGUAGE STRUCTURES FOR THE IMPLEMENTATION OF RELIABLE AND INHERENTLY SAFE REAL-TIME SYSTEMS, Pages 35-42, W.A. Halang, R. Henn THE USE OF STANDARD SOFTWARE IN REAL TIME PROGRAMMING: AN EXAMPLE DEMONSTRATING THE INTEGRATION OF ADA, ORACLE AND GKS, Pages 43-49, W. Fritz, V. Haase, R. Kalcher SPECIFICATION, DESIGN AND MODULA-2 IMPLEMENTATION OF A LOW COST INDUSTRIAL CONTROL SYSTEM, Pages 51-56, D. Garcia, H. Lopez, J. Tuya, A. Diez MICROPROCESSOR BASED DEVELOPMENT TOOL – DESIGN AND REALIZATION OF SISO CONTROLLERS, Pages 57-62, B. Palmgren, F. Aasma A REAL-TIME SYSTEM FOR ROBOT MANIPULATOR INVERSE DYNAMICS COMPUTATION, Pages 63-68, J.A.T. Machado, J.L.M. de Carvalho, J.A.S. Matos, A.M.C. Costa A MODEL FOR A HARD REAL TIME SYSTEM EXECUTIVE, Pages 69-74, V. Gafni THE SPY: A MECHANISM FOR SAFE IMPLEMENTATION OF HIGHLY CONCURRENT SYSTEMS, Pages 75-81, S. Velilla, M. Silva FORMAL SPECIFICATION, Page 83, J. Szlankó, V. Haase, R. Mitchell, J. Quemada, T. Tempelmeier PROGRAMMING LANGUAGES FOR REAL-TIME APPLICATIONS, Page 85, V. Haase, T. Tempelmeier, J.J. Skubich, A. Alvarez, W.A. Halang AUTHOR INDEX, Page 87 Inside Back Cover, Pages 89-90