Real-time Programming: Proceedings of the IFAC Workshop, Isle of Reichenau, Lake Constance, Germany, 22-24 June 94
Published on 5. October 1994
Book
Paperback/Softback
202 pages
978-0-08-042372-2 (ISBN)
Description
In recent years the interest in all aspects of real-time computing has increased significantly. This is not only due to accelerated research efforts undertaken in this area, but also due to an expanding worldwide market for various types of real-time computing systems. This publication brings together state-of-the-art research from around the world, which makes a significant contribution to the current analysis and future development of this key subject. Sections covering distributed systems, scheduling, verification and validation concepts and architecture, operating systems and software development, ensure that all major aspects are fully represented.
More details
Series
Language
English
Place of publication
Amsterdam
Netherlands
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
Illustrations
index
Dimensions
Height: 298 mm
Width: 216 mm
Weight
522 gr
ISBN-13
978-0-08-042372-2 (9780080423722)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Part 1 Distributed systems: an architecture of a map stack for real-time applications, K. Vijayananda et al; spatio-temporal constraints in fieldbus - requirements and current solutions, J.-D. Decotignie and P. Raja; transport protocol for real-time multimedia communication, J.M. Ng and N.T.C. Yu; an environment for distributed prototyping of real-time systems, A. Alonso et al; performance prototyping for a real-time system with qualitative parameter tuning methods, M. Miki et al. Part 2 Scheduling: least-space-time-first scheduling algorithm - a policy for complex real-time tasks in multiple processor systems, B.-C. Cheng et al; a schedulability algorithm for data flow, hard-real-time distributed programs, R. Davoli and L.A. Giachini; integrated best effort and fixed priority scheduling, N.C. Audsley et al; some scheduling experiments with ARTIE, R.M. Tol and G. Te Winkel; multiple-goal objective functions for optimization of task assignment in complex computer systems, T.J. Marlowe et al. Part 3 Verification and validation: two proof methods for the GRAFCET language, P. Le Parc et al; specification and analysis of timing properties in a case tool CONRAD, T. Kaldma et al; hybrid systems modelling and validating using statecharts and GRAFCET, R. Boissier et al; towards recursive block diagrams, P. Caspi; hierarchichal correctness verification in multiphase real-time software design, T. Szmuc et al. Part 4 Concepts and architectures: conceptual design for an architecture for hard real-time computing, H.-P. Meske; synchronized UTC for distributed real-time systems, U. Schmid; data acquisition for real-time process control systems, M.D. Van Der Laan; task-configuration of a PEARL-based programmable controller for process-automation, G. Thiele et al; a note on hardware-software codesign, T. Tempelmeier. Part 5 Operating systems: MMOSS - soft real-time operating system support in a multimedia communication subsystem, C. Fan; BED - a multithreaded kernel for embedded systems, P. Burgess et al; on realtime operating systems - how to compare performance?, M. Maechtel and H. Rzehak; an architecture supporting real-time programming and implementations, S. Mostert. Part 6 Software development: mapping PEARL's high-level real-time constructs to a C run-time library under real-time unix, R. Belschner and C.E. Pereira; visual methods in real-time programming, M.G. Hinchey; a distributed task-oriented real-time programming system, G. Schrott; concept for a real-time structured database query language (RT-SQL), P.J. Fortier and J. Prichard; requirements for a real-time image processing language, P. Laplante et al; combined sequential and function-oriented programming for real-time systems, H. Schweinzer and C. Mittermayer. (Part Contents).