Real-time programming (WRTP'92) : preprints of the IFAC Workshop, Bruges, Belgium, 23-26 June 1992
著者
書誌事項
Real-time programming (WRTP'92) : preprints of the IFAC Workshop, Bruges, Belgium, 23-26 June 1992
Published for the International Federation of Automatic Control by Pergamon Press, 1992
1st ed
大学図書館所蔵 全2件
注記
Includes bibliographical references
内容説明・目次
内容説明
The 47 papers in this volume provide a useful reference tool for the state-of-the-art research in real-time programming.
目次
Selected papers: Time concepts in real-time software, L. Motus. A temporal logic approach to state reachability in real-time program synchronization and verification, D. Ionescu. ZAMAN, a simple language for expressing timing constraints, A. E. K. Sahraoui & D. Delfieu. Reliability and efficiency aspects of real-time exception handling, C. Feder-Andres & R. Schorr. A generalized approach to program generation for process control applications, C. K. Angelov et al. Prototyping real-time engineering systems using Hatley & Pirbhai's requirement model, D. A. Fensome. A behavioral analysis and modeling method for real-time systems, H. Gomaa. Heterogeneous prototypes in concurrent engineering of embedded software, P. Pulli & M. Heikkinen. Deadline monotonic scheduling theory, N. C. Audsley et al. Specification of real-time systems for protection tasks in automated high-speed transportation systems, K. Jopke et al. Implementing mode changes and fault recovery for hard real-time systems in ada, A. Alonso & J. A. de la Puente. Towards an environment for complex real-time control systems developing, A. Garcia & A. Crespo. The PMOS real-time kernel, P. J. Moylan. A communication model for cooperative real-time systems, C. Feder-Andres. Relative correctness of real-time systems, T. Szmuc. Applying object-oriented principles in control-system design, M. Tittus & B. Egardt. Real-time toolbox for PC-MatLab, J. Houska & B. Sladek. How to ensure software quality for real-time systems, B. Hindel. Some results on hard real-time scheduling, M. Litoiu. Architectural support for predictability in hard real-time systems, M. Colnaric & W. A. Halang.
「Nielsen BookData」 より