Specification and analysis of intercomponent communication

Computer

Volumn 31, Issue 4, 1998, Pages 47-54

  Heimdahl, Mats P E ^a,c,d,j   Thompson, Jeffrey M ^{a,b,e,f,g,h,j}   Czerny, Barbara J ^b,e,g,h,i,k  

^a UNIVERSITY OF MINNESOTA   (United States)

^b MICHIGAN STATE UNIVERSITY   (United States)

^c ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^d UNIVERSITY OF CALIFORNIA   (United States)

^e University of California ^*

^f Golden Key National Honor Society   (United States)

^g IEEE   (United States)

^h ACM

ⁱ UNIVERSITY OF MICHIGAN FLINT   (United States)

^j University of Minnesota   (United States)

^k Michigan State University   (United States)

more..

Author keywords

[No Author keywords available]

Indexed keywords

INTERFACES (COMPUTER); SPECIFICATIONS;

EMBEDDED SYSTEMS;

COMPUTER ARCHITECTURE;

EID: 0032047527     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/2.666842     Document Type: Review

References (12)

1. R. Lutz, "Targeting Safety-Related Errors During Software Requirements Analysis," Proc. First ACM SIGSOFT Symp. Foundations of Software Eng., ACM Press, New York, 1993, pp. 95-106.
2. M.S. Jaffe et al., "Software Requirements Analysis For Real-Time Process-Control Systems," IEEE Trans. Software Eng., Mar. 1991, pp. 241-258.
3. B. Melhart, "Specification and Analysis of the Requirements for Embedded Software with an External Interaction Model," doctoral dissertation, Univ. of Calif., Irvine, July 1990.
4. N.G. Leveson et al., "Requirements Specification for Process-Control Systems," IEEE Trans. Software Eng., Sept. 1994, pp. 694-707.
5. N. Leveson et al., "Designing For Safe Software," Proc. AIM 21st Aerospace Sciences Meeting, 1983, pp. 1-5.
6. J. Rushby, "Kernels for Safety?" in Safe and Secure Computing Systems, T. Anderson, ed., Blackwell Science Inc., Boston, 1989, pp. 210-220.
7. S. Faulk et al., "The Core Method For Real-Time Requirements," IEEE Software, Sept. 1992, pp. 22-33.
8. C.L. Heitmeyer, R. Jeffords, and B.L. Labaw, "Consistency Checking of SCR-Style Requirements Specifications," ACM Trans. Software Eng. and Methodology, July 1996, pp. 231-261.
9. K.L. Heninger, "Specifying Software for Complex Systems: New Techniques and Their Application," IEEE Trans. Software Eng., Jan. 1980, pp. 2-13.
10. D. Harel et al., "Statemate: A Working Environment for the Development of Complex Reactive Systems," IEEE Trans. Software Eng., Apr. 1990, pp. 403-414.
11. A.C. Shaw, "Communicating Real-Time State Machines," IEEE Trans. Software Eng., Sept. 1992, pp. 805-816.
12. S. Owre, N. Shankar, and J.M. Rushby, The PVS Specification Language, beta ed., Computer Science Laboratory, SRI Int'l, Menlo Park, Calif., beta ed., Apr. 1993.