Design and specification of embedded systems in Java using successive, formal refinement

Proceedings - Design Automation Conference

Volumn , Issue , 1998, Pages 70-75

  Young, James Shin ^a   MacDonald, Josh ^a   Shilman, Michael ^a   Tabbara, Abdallah ^a   Hilfinger, Paul ^a   Newton, A Richard ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; EMBEDDED SYSTEMS; SPECIFICATIONS; COMPUTER AIDED DESIGN; COMPUTER SIMULATION; DATA STORAGE EQUIPMENT; JAVA PROGRAMMING LANGUAGE;

CLASS LIBRARIES; DETERMINISTIC BEHAVIOR; FORMAL REFINEMENT; GENERAL PURPOSE LANGUAGES; GENERAL-PURPOSE PROGRAMMING LANGUAGE; PROGRAM TRANSFORMATIONS; SYNCHRONOUS REACTIVE SYSTEMS; SYSTEM SPECIFICATION;

JAVA PROGRAMMING LANGUAGE; EMBEDDED SYSTEMS;

ABSTRACTABLE SYNCHRONOUS REACTIVE SYSTEMS;

EID: 0031645551     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/277044.277058     Document Type: Conference Paper

References (13)

1. F. Bauer, B. Moller, H. Partsch, and P. Pepper, "Formal Program Construction by Transformations- Computer-Aided, Intuition-Guided Programming, " IEEE Trans. Software En-gineering, vol. 15, no. 2, pp. 165-180, Feb. 1989.
2. A. Benveniste and G. Berry, "The Synchronous Approach to Reactive and Real-Time Systems, " Proc. IEEE, 79(9): 12701-282, September 1991.
3. G. Berry and G. Gonthier, "The ESTEREL synchronous programming language: design, semantics, implementation, " Science of Computer Programming, vol. 19, pp. 87-152, 1992.
4. Stephen A. Edwards, The Specification and Execution of Heterogeneous Synchronous Reactive Systems. Ph.D. Thesis, University of California, Berkeley, 1997. Available as UCB/ERL M97/31. http://ptolemy.eecs.berkeley.edu/papers/97/sedwardsThesis/.
5. D. D. Gajski, F. Vahid, S. Narayan, and J. Gong, Specification and Design of Embedded Systems. Englewood Cliffs, NJ: Prentice Hall, 1994.
6. J. Gosling, B. Joy, and G. Steele, The Java Language Specification. Reading, MA: Addison-Wesley, 1996.
7. CN Halbwachs, et al. The synchronous data flow programming language LUSTRE. Proc. of the IEEE, 79(9): 13051320, 1991.
8. D. Harel, "Statecharts: A visual approach to complex systems, " Science of Computer Programming, 8:231-274, 1987.
9. D. Harel and A. Pnueli, "On the Development of Reactive Systems, " vol. 13 of NATO ASI Series. Series F, Computer and Systems Sciences, pp. 477-498. Springer-Verlag, 1985.
10. R. Helaihel and K. Olukotun, "Java as a Specification Language for Hardware-Software Systems, " Proc. ICCAD '97, pp. 690-697, 1997.
11. S. Liao, S. Tjiang, and R. Gupta, "An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment, " Proc. 34, H DAC, pp. 70-75, 1997.
12. J. Rowson and A. Sangiovanni-Vincentelli, "Interface-Based Design, " Proc. 34th DAC, pp. 178-183, 1997.
13. D. Smith. "KIDS: A Semiautomatic Program Development System, " IEEE Trans. Software Engineering, vol. 16, no. 9, pp. 1024-1043, Sept. 1990.