Abstract
Large-scale and highly reliable concurrent systems are more and more required and it is indispensable for them to keep on measuring and monitoring in order to ensure their reliability. The most intrinsic behavioral characteristic of a concurrent system is its wholeness. According to it, we propose the measurement specifications for systematic development of self-measurement Ada programs. The measurement specifications can designate what kind of events to measure, which part of the program to measure, which variables to measure in a concurrent system. We present the architecture of our tool based on the measurement specifications to support development of self-measurement Ada programs. It can automatically construct a self-measurement concurrent system from the functional part, the measurement part, and the measurement specifications of the system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barnes, J.: Programming in Ada 95. Addison-Wesley, Reading (1995)
Cheng, J., Ushijima, K.: Partial Order Transparency as a Tool to Reduce Interference in Monitoring Concurrent Systems. In: Ohno, Y. (ed.) Distributed Environments, pp. 156–171. Springer, Heidelberg (1991)
Cheng, J., Ushijima, K.: Tasking Deadlocks in Ada 95 Programs and Their Detection. In: Strohmeier, A. (ed.) Ada-Europe 1996. LNCS, vol. 1088, pp. 135–146. Springer, Heidelberg (1996)
Cheng, J.: The Self-Measurement Principle: A Design Principle for Large-scale, Long-lived, and Highly Reliable Concurrent Systems. In: Proc. 1998 IEEE-SMC Annual Int. Conf. on Systems, Man and Cybernetics, vol. 4, pp. 4010–4015 (1998)
Cheng, J.: The Wholeness Principle of Concurrent Systems and the Uncertainty Principle in Measuring Concurrent Systems. In: Proc. Int. Sympo. on Future Software Technology 1998, pp. 311–314 (1998)
Colket, C., et al.: Architecture of ASIS: A tool to Support Code Analysis of Complex Systems. ACM Ada Letters XVII(1), 35–40 (1997)
Cooper, C.D.: ASIS-Based Code Analysis Automation. ACM Ada Letters XVII(6), 65–69 (1997)
Gamma, E., Helm, R., Johnson, R., Vissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
International Organization for Standardization : Information Technology – Programming Language - Ada, ISO/IEC 8652:1995(E) (1995)
Maes, P.: Issues in Computational Reflection. In: Maes, P., Nardi, D. (eds.) Meta-Level Architecture and Reflection, pp. 21–35. Elsevier Science, North-Holland (1988)
Nonaka, Y., Cheng, J., Ushijima, K.: A Tasking Deadlock Detector for Ada 95 Programs. Ada User Journal 20(1), 79–92 (1999)
Rybin, S., Strohmeier, A., Zueff, E.: ASIS for GNAT: Goals, Problems, and Implementation Strategy. ACM Ada Letters XVI(2), 39–49 (1996)
Schmidt, D.C.: Applying Patterns to Meet the Challenges of Concurrent Software. IEEE Concurrency, Special Edition on Software Engineering for Parallel Distributed Systems 5(3) (1997)
Schonberg, E., Banner, B.: The GNAT Project: A GNU-Ada 9X Compiler. Ada Europe News (20), 10–19 (1995)
Smith, B.C.: Reflection and Semantics in Lisp. In: Proc. ACM Sympo. on Principles of Programming Languages, pp. 23–35 (1984)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nonaka, Y., Cheng, J., Ushijima, K. (2000). A Supporting Tool for Development of Self-Measurement Ada Programs. In: Keller, H.B., Plödereder, E. (eds) Reliable Software Technologies Ada-Europe 2000. Ada-Europe 2000. Lecture Notes in Computer Science, vol 1845. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722060_9
Download citation
DOI: https://doi.org/10.1007/10722060_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67669-0
Online ISBN: 978-3-540-45098-6
eBook Packages: Springer Book Archive