Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them

IEEE Transactions on Software Engineering

Volumn SE-11, Issue 1, 1985, Pages 80-86

  Dasarathy, B ^a  

^a VERIZON   (United States)

Author keywords

generation; Real time systems; requirements specification; test; test language; timing constraints; validation

Indexed keywords

TELEPHONE SYSTEMS;

REAL-TIME SYSTEMS; TIMING CONSTRAINTS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0021785305     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1985.231845     Document Type: Article

References (13)

1. [1] M. Alford, “A requirements engineering methodology for realtime processing requirements,” IEEE Trans. Software Eng., vol. SE-3, pp. 60–69, Jan. 1977.
2. [2] —, “Software requirements engineering methodology (SREM) at the age of four,” in Proc. COMPSAC80, Chicago, IL, 1980, pp. 866–874.
3. [3] IEEE Standard ATLAS Test Language, ANSI/IEEE Standard 416–1978. New York: IEEE and Wiley, 1978.
4. [4] J. Bauer et al., “The automatic generation and execution of function test plans for electronic switching systems,” in Proc. Software Quality Assurance (SQA) Workshop, vol. 3, no. 5, 1978, pp. 92–100.
5. [5] “Recommendations Z 101-104,” in CCITT Orange Book, International Telecommunications Union, Geneva, Switzerland, 1977.
6. [6] B. Dasarathy and M. Chandrasekharan, “Test generation for functional validation,” in Poster Session Proc. 6th Int. Conf. Software Engineering, Tokyo, Japan, 1982, pp. 43–44.
7. [6] C. Davis and C. Vick, “The software development system,” IEEE Trans. Software Eng., vol. SE-3, p p. 69–84, Jan. 1977.
8. [7] A. Davis et al., “RLP: A n automated tool for the processing of requirements,” in Proc. COMPSAC79, Chicago, IL, 1979, pp. 289–299.
9. [8] C. V. Ramamoorthy and H. H. So, “Software requirements and specifications: Status and perspectives,” in Tutorial: Software Methodology, IEEE Catalog No. EHO 142–0, 1978, pp. 43–164.
10. [9] B. Taylor “A method for expressing the functional requirements of real-time systems,” in Proc. 9th IFAC/IFIP Conf. Real-Time Programming. New York: Pergamon, 1980, pp. 111–120.
11. [10] —, “Introducing real time constraints into requirements and high level design of operatin g systems,” in Proc. 1980 Nat. Telecommunications Conf., vol. 1, Houston, TX, 1980, pp. 18.5.1-18.5.5.
12. [12] R. Worrest et al., “Software testing on the No. 31 FAX with an automated test executor,” in Proc. 4th Int. Conf. Software Engineering for Telecommunications Switching Systems, Warwick, England, 1981, pp. 182–186.
13. [13] P. Zave, “An operational approach to requirements specifications for embedded systems,” IEEE Trans. Software Eng., vol. SE-8, pp. 250–269, May 1982.