Abstract
This paper presents an application of structural modeling and automated reasoning as a software development environment for real-time systems. This application satisfies two major requirements for such an environment: (1) to synthesize an absolutely correct program and, (2) to increase software productivity. The real-time systems, which consist of concurrent programs, are described by a Prolog based concurrent object-oriented language, called MENDEL/87. As a typical concurrent program consists of two parts: functional and synchronization parts; the functional part in the reusable component to be registered in a library will be generated by a structural modeling through the use of structuring functions with respect to data flows. The synchronization part will be synthesized from temporal logic specifications by the use of an automated reasoning mechanism. This paper also describes the MENDELS ZONE implemented on a Prolog machine, which is the working base for the presented application method.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
AlfordM. 1985. SREM at the age of eight: The distributed computing design system, Computer, 18, 4: 36–46.
Arai, M., S. Tamura, and H. Mizutani. 1981. A method for structural modeling of complex systems. In Proc. IEEE Int. Conf. Syst., Man, Cybern., pp. 676–681.
Cohen, D. 1984. A forward interface engine to aid in understanding specifications. In Proc. AAAI-84, pp. 56–60.
Diaz-Gonzalez, J.P. and J.E. Urban. 1989. Prototyping conceptual models of real-time systems: A visual perspective. In Proc. HICSS-22.
DasarathyB. 1985. Timing constraints of real-time systems: constraints for expressing them, methods of validating them. IEEE Trans. Software Eng., SE-11 80–86.
Davis, A.M. 1982. Rapid prototyping using executable requirements specifications. ACM SIGSOFT, 39–44.
Harel, D., H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, and A. Shtul-Trauring. 1988. STATEMENTE: A Working Environment for the Development of Complex Reactive Systems. In Proc. 10th ICSE, pp. 396–406.
Honiden, S. et al. 1986. MENDEL: Prolog based concurrent object-oriented language. In Proc. IEEE Compcon '86, pp. 230–234.
HonidenS. et al. 1988. Software prototyping with reusable components. J. of Information Processing, 9, 123–129 (Also in, Software Reuse: The State of the Practice. IEEE tutorial 1988.)
Honiden, S. et al. 1989. An application of structural modeling and automated reasoning to concurrent program design. Proc. HICSS-22.
IshikawaY. and M.Tokoro. 1987. Orient 84/K: An object-oriented concurrent programming language for knowledge system. Object-Oriented Concurrent Programming (ed. by Yonezawa and Tokoro), Cambridge, MA: MIT Press.
JahanianF. and A.K.Mok. 1986. Safety analysis of timing properties in real-time systems. IEEE Trans. Software Eng., SE-12: pp. 890–904.
JonesT.C., 1984. Reusability in programming: A survey of the state of the art, IEEE Trans. Software Eng., SE-9: 488–494.
LamportL. 1983. What good is temporal logic. In Proc. IFIP, Inform. Processing. (R.E.Mason, Ed.) Amsterdam, The Netherlands: North-Holland.
Luqi, et al. 1988. Rapidly prototyping real-time systems. IEEE Software, 25–36.
MannaZ. and R.J.Waldinger. 1980. A deductive approach to program synthesis. ACM TOPLAS, 2, 90–121.
MatsumuraK., H.Mizutani, and M.Arai. 1987. An application of structural modeling to software requirements analysis and design. IEEE Trans. Software Eng., SE-13, 461–471.
Nilson, N.J. 1982. Principles of Artificial Intelligence, Springer-Verlag.
Orr, R.A., M.T. Norris, R. Tinker, and C.D.V. Rouch. 1988. Tools for real-time systems design. In Proc 10th ICSE, pp. 130–137.
PrywersN.S. 1984. Automatic program generation in distributed cooperative computation. IEEE Trans. Syst. Man. Cyber., 14, 275–286.
SacerdotiE.D. 1974. Planning in a hierarchy of abstraction spaces. Artificial Intelligence 5: 115–135.
Uchihira, N., T. Kasuya, K. Matsumoto, and S. Honiden. 1987. Concurrent program synthesis with reusable components using temporal logic. In Proc. IEEE Compsac '87, pp. 455–464.
Wolper, P. 1982. Synthesis of communicating processes from temporal logic specification. STAN-CS-82-925, Stanford Univ.
ZaveP. 1984. The operational versus the conventional approach to software development. Comm. ACM, 27, 2: 104–118.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Honiden, S., Uchihira, N., Matsumoto, K. et al. An application of structural modeling and automated reasoning to real-time systems design. The Journal of Real-Time Systems 1, 313–331 (1990). https://doi.org/10.1007/BF00366573
Issue Date:
DOI: https://doi.org/10.1007/BF00366573