A Prototyping Language for Real-time Software

IEEE Transactions on Software Engineering

Volumn 14, Issue 10, 1988, Pages 1409-1423

  Luqi, ^a   Berzins, Valdis ^a,b   Yeh, Raymond T ^c  

^a UNIVERSITY OF MINNESOTA   (United States)

^b NAVAL POSTGRADUATE SCHOOL   (United States)

^c International Software Systems Inc ^*  (United States)

Author keywords

Abstractions; Ada; embedded systems; prototyping; Real time systems; reusable components; specification language

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES -- ADA; COMPUTER SYSTEMS, DIGITAL -- REAL TIME OPERATION;

PROTOTYPE SYSTEM DESCRIPTION LANGUAGE (PSDL); PSDL LANGUAGE; REAL TIME SOFTWARE; REUSABLE SOFTWARE COMPONENTS;

COMPUTER SOFTWARE;

EID: 0024090078     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.6186     Document Type: Article

References (32)

1. Ada Programming Language, U. S. Dep. Defense, ANSI/MIL-STD-1815A, 1983.
2. A. W. Alford, “A requirements engineering methodology for Real-time processing requirements,” IEEE Trans. Software Eng., vol. SE-3, no. 1, pp. 60-68, Jan. 1977.
3. R. Balzer, D. Cohen, and W. Swartout, “Tools for specification validation and understanding,” Rome Air Development Center, Rep. RADC-TR-83-292, Dec. 1983.
4. F. W. Beichter, O. Herzog, and H. Petzsch, “SLAN-4: A software specification and design language,” IEEE Trans. Software Eng., vol. SE-10, no. 2, pp. 155-162, Mar. 1984.
5. V. Berzins and M. Gray, “Analysis and design in MSG.84: Formalizing functional specifications,” IEEE Trans. Software Eng., vol. SE-11, no. 8, pp. 657-670, Aug. 1985.
6. V. Berzins, M. Gray, and D. Naumann, “Abstraction-based software development,” Commun. ACM, vol. 29, no. 5, pp. 402-415, May 1985.
7. V. Berzins, On Merging Software Extensions, Acta Informatica, vol. 23, fasc. 6, pp. 607-619, Nov. 1986.
8. T. Cheatham, J. Townley, and G. Holloway, “A system for program refinement,” in Interactive Programming Environments. New York: McGraw-Hill, 1984, pp. 198-214.
9. J. Connell and L. Brice, “Rapid prototyping,” Datamation, pp. 93-100, Aug. 1984.
10. J. B. Dennis, G. A. Boughton, and C. K. C. Leung, “Building blocks for dataflow prototypes,” in Proc. Seventh Symp. Computer Architecture, La Baule, France, May 1980.
11. A. A. Faustini and E. B. Lewis, “Toward a Real-time dataflow language,” IEEE Software, vol. 3, no. 1, pp. 29-35, Jan. 1986.
12. J. V. Guttag, E. Horowitz, and D. R. Musser, “Abstract data types and software validation,” Commun. ACM, vol. 21, no. 12, pp. 1048-1064, Dec. 1978.
13. V. H. Haase, “Real-time behavior of programs,” IEEE Trans. Software Eng., vol. SE-7, no. 5, pp. 494-501, Sept. 1981.
14. K. L. Heninger, “Specifying software requirements for complex systerns: New techniques and their applications,” IEEE Trans. Software Eng., vol. SE-6, pp. 2-12, Jan. 1980.
15. E. L. Ivie, “The programmer's workbench-A machine for software development,” Commun. ACM, vol. 20, no. 10, pp. 746-753, Oct. 1977.
16. P. Kruchten, E. Schonberg, and J. Schwartz, “Software prototyping using the SETL programming language,” IEEE Software, vol. 1, no. 4, pp. 66-75, Oct. 1984.
17. B. Leavenworth, “ADAPT: A tool for the design of reusable software,” IBM Thomas J. Watson Research Center, Yorktown Heights, NY, Rep. RC 9728, 1982.
18. L. S. Levy, “A metaprogramming method and its economic justification,” IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 272-277, Feb. 1986.
19. G. Luckenbaugh, “The activity list: A design construct for Real-time systems,” M.S. thesis, Dep. Comput. Sci., Univ. Maryland, 1984.
20. D. Luckham and F. W. von Henke, “An overview of Anna, a specification language for Ada,” IEEE Software, vol. 2, no. 2, pp. 9-22, Mar. 1985.
21. Luqi and V. Berzins, “Execution aspects of prototypes in PSDL,” TR-86-2, Univ. Minnesota, Tech. Rep. TR-86-2, 1986.
22. “The rapid construction of PSDL prototypes,” IEEE Software, Sept. 1988.
23. Luqi, “Rapid prototyping for large software system design,” Ph.D. dissertation, Dep. Comput. Sci., Univ. Minnesota, Minneapolis, 1986.
24. L. MacLaren, “Evolving toward Ada in real time systems,” in Proc. ACM SIGPLAN Symp. Ada Programming Language SIGPLAN Notices, pp. 146-155, Nov, 1980.
25. A. K. Mok, “The design of Real-time programming systems based on process models,” in Proc. IEEE 1984 Real Time Systems Symp., Austin, TX, Dec. 1984, pp. 5-17.
26. “The decomposition of Real-time system requirements into process models,” in Proc. IEEE 1984 Real Time Systems Symp., Austin TX, Dec. 1984, pp. 125-133.
27. N. Roussopoulos, “Architectural design of the SBMS,” Dep. Comput. Sci., Univ. Maryland, Quarterly Rep. for the STARS SB/SBMS Project, Apr. 1985.
28. W. Stevens, G. Meyers, and L. Constantine, “Structured design,” IBM Syst. J., vol. 13, no. 2, pp. 115-139, May 1974.
29. R. T. Yeh, “Software engineering,” IEEE Spectrum, pp. 91-94, Nov. 1983.
30. R. T. Yeh, R. Mittermeir, N. Roussopoulos, and J. Reed, “A programming environment framework based on reusability,” in Proc. Int. Conf. Data Engineering, Apr. 1984.
31. R. T. Yeh, N. Roussopoulos, and B. Chu, “Management of reusable software,” in Proc. COMPCON, Sept. 1984.
32. P. Zave, “An operational approach to requirements specifications for embedded systems,” IEEE Trans. Software Eng., vol. SE-8, no. 3, pp. 250-269, 1982.