Nonfunctional Requirements of Real-Time Systems

Advances in Computers

Volumn 42, Issue C, 1996, Pages 1-37

  Kirner, Tereza G ^a   Davis, Alan M ^b  

^a FEDERAL UNIVERSITY OF SÃO CARLOS   (Brazil)

^b University of Colorado Colorado Springs

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21744462455     PISSN: 00652458     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0065-2458(08)60483-0     Document Type: Article

References (136)

1. Abbot R. Scheduling real-time transactions. ACM Sigmod Records 17 (1988) 71-81
2. Arango G., Baxter I., Freeman P., and Pidgeon C. TMM: Software maintenance by transformation. IEEE Software 3 3 (1986) 27-39
3. Audsley N.C., Burns A., Richardson M.F., and Wellings A.J. STRESS: A simulator for hard real-time systems. Software: Practice and Experience 24 6 (1994) 543-564
4. Bell R., and Reinert D. Risk and system integrity concepts for safety-related control systems. Proc. COMPASS'93 Computer Assurance Conference (1993), IEEE, Piscataway, NJ 15-34
5. Bennet P.A. Safety. In: McDermid J. (Ed). "Software Engineer's Reference Book" (1991), CRC Press, Boca Raton, FL. 60/3-60/18
6. Bennett K.H. Software maintenance. In: McDermid J. (Ed). "Software Engineer's Reference Book" (1991), CRC Press, Boca Raton, FL 20/3-20/18
7. Bennett K.H., Cornelius B., Munro M., and Robson D. The software maintenance of large software systems: management, methods and tools. In: Littlewood B., and Miller D. (Eds). "Software Reliability and Safety" (1991), Elsevier Applied Science, London 135-154
8. Boehm B. Quantitative evaluation of software quality. Proc. Second International Conference on Software Engineering (1976), IEEE, Washington, DC. 596-605
9. Boehm B. The economics of software maintenance. Proc. Software Maintenance Workshop (1983), IEEE, Washington, DC. 9-37
10. Brooks R. The case for the specialized interfaces. IEEE Software 10 2 (1993) 86-88
11. Brown M.L. Software systems safety and human errors. Proc. COMPASS '88 Computer Assurance Conference (1988), IEEE, Piscataway, NJ. 19-28
12. Browne P. Information security risk management. In: Hutt A.S., Bosworth S., and Hoyt D. (Eds). "Computer Security Handbook" (1989), Macmillan Publishing, New York 22-32
13. Bucci G., Campanai M., and Nesi P. Tools for specifying real-time systems. Real-Time Syst. (1994) 1-57 June
14. Burns A. Scheduling hard real-time systems: A review. Software Eng. J. 6 3 (1991) 116-128
15. Burns A., and McDermid J.A. Real-time safety-critical systems: Analysis and synthesis. Software Eng. J. 9 6 (1994) 267-281
16. Caspi P., and Halbwachs N. A functional model for describing and reasoning about time behavior of computing systems. Acta Infor. 22 6 (1986) 595-627
17. Cha S.S., Leveson N.G., and Shimeall T.J. Safety verification in Murphy using fault tree analysis. Proc. 10th International Conference on Software Engineering (1988), IEEE, Los Alamitos, CA. 394-403
18. Charette R. "Software Engineering Risk Analysis and Management" (1990), McGraw-Hill, New York
19. Chung K.L. "Representing and using non-functional requirements: A process-oriented approach". Ph.D. Thesis, Department of Computer Science (1993), University of Toronto, Canada.
20. Chung L., and Nixon B. Dealing with nonfunctional requirements: Three experimental studies of a process-oriented approach. Proc. 2nd International Symposium on Requirements Engineering (1995), IEEE, Los Alamitos, CA.
21. Chung L., Nixon B., and Yu E. Using nonfunctional requirements to systematically support change. Proc. 17th International Conference on Software Engineering (1995), IEEE, Los Alamitos, CA.
22. Clark D., and Wilson D. A comparison of commercial and military computer security policies. Proc. Symposium on Security and Privacy (1987), IEEE, Washington, DC. 184-194
23. Clever J. Security testing. In: Marciniak J. (Ed). "Encyclopedia of Software Engineering" 2 (1994), John Wiley & Sons, New York 1145-1153
24. Coleman D., Ash D., Lowther B., and Oman P. Using metrics to evaluate software system maintainability. IEEE Computer 27 8 (1994) 44-49
25. Constantine L.L., and Yourdon E. "Structured Design" (1979), Prentice Hall, Englewood Cliffs, NJ.
26. Coolahan J.E., and Roussopoulos N. Timing requirements for time-driven systems using augmented Petri nets. IEEE Trans. Software Eng. SE-9 5 (1983) 603-616
27. Dasarathy D. Timing-constraints of real-time systems: Constructs for expressing time, methods of validating them. IEEE Trans. Software Eng. SE-11 1 (1985) 80-86
28. Davida G.I., and Desmedt Y. Criptography based data security. In: Yovits M.C. (Ed). "Advances in Computers" 26 (1990), Academic Press, New York 171-222
29. Davis A.M. "Software Requirements: Objects, Functions & States" (1993), Prentice Hall, Englewood Cliffs, NJ.
30. Davis A.M. Requirements engineering. In: Marciniak J. (Ed). "Encyclopedia of Software Engineering" 2 (1994), John Wiley & Sons, New York 1043-1054
31. Day M.C., and Boyce S.J. Human factors in human-computer system design. In: Yovits M.C. (Ed). "Advances in Computers" 26 (1993), Academic Press, New York 333-430
32. Deavours C. Data encryption. In: Hutt A.S., Bosworth S., and Hoyt D. (Eds). "Computer Security Handbook" (1989), Macmillan Publishing, New York 228-241
33. Dobson J.E., and McDermid J.A. A framework for expressing models of security policy. Proc. Symposium on Security and Privacy (1989), IEEE, Washington, DC. 229-239
34. Dray S. The importance of designing usable systems. Interactions 2 1 (1995) 17-20
35. Dumas J.S. "Designing User Interfaces for Software" (1988), Prentice Hall, Englewood Cliffs, NJ.
36. Dumas J.S. Stimulating change through usability testing. SIGCHI Bulletin 21 1 (1989) 37-44
37. Eckman S. Fault-tolerant computing. In: Marciniak J. (Ed). "Encyclopedia of Software Engineering" 1 (1994), John Wiley & Sons, New York 482-503
38. Freeman J.W., and Neely R.B. On security policy modeling. Proc. of COMPASS'93 Computer Assurance Conference (1993), IEEE, Piscataway, NJ. 61-69
39. Freeman J.W., Neely R.B., and Heckard M.A. A validated security policy modeling approach. Proc. 10th Annual Computer Security Applications Conference (1994), IEEE, Washington, DC. 12
40. Frieder O., and Segal M.E. On dynamically updating a computer system: From concept to prototype. J. Syst. Software 14 2 (1991) 111-128
41. Gomaa H. "Software Design Methods for Concurrent and Real-Time Systems" (1993), Addison-Wesley, Reading, MA.
42. Goodwin N. Functionality and usability. Comm. ACM 30 3 (1987) 229-233
43. Gould J.D. How to design usable systems. In: Helander M. (Ed). "Handbook of Human-Computer Interaction" (1988), Elsevier Science Publishers, New York 757-789
44. Gould J.D., Boies S.J., and Lewis C. Making usable, useful, productivity-enhancing computer applications. Comm. ACM 34 1 (1991) 75-85
45. Grudin J. The case against user interface consistency. Comm. ACM 32 10 (1989) 1164-1173
46. Guezzi C., Jazayeri M., and Mandrioli D. "Fundamentals of Software Engineering" (1991), Prentice Hall, Englewood Cliffs, NJ.
47. Halang W.A. Real-time systems: Another perspective. J. Syst. Software 18 1 (1992) 101-108
48. Halstead M. "Elements of Software Science" (1977), Elsevier North Holland, New York
49. Hatley D.J., and Pirbhai I.A. "Strategies for real-time systems specification" (1987), Dorset House Publishing, New York
50. Hecht H., and Hecht M. Software reliability in the system context. IEEE Trans. Software Eng. 12 1 (1986) 51-58
51. Heimerdinger W.L., and Weinstock C.B. "A conceptual framework for system fault tolerance". Technical Report CMU/SEI-92-TR33 (1992), Software Engineering Institute, Carnegie Mellon University
52. Heninger K.L. Specifying software requirements for complex systems: New techniques and their applications. IEEE Trans. Software Eng. 6 1 (1980) 2-13
53. Hix D. Generations of user interface management systems. IEEE Software 7 5 (1990) 77-87
54. Hoffman L.J., Ali F.A., Heckler S.L., and Huybrechts A. Cryptography policy. Comm. ACM 37 9 (1994) 109-117
55. Hutt A. Management's role in computer security. In: Hutt A.S., Bosworth S., and Hoyt D. (Eds). "Computer Security Handbook" (1989), Macmillan Publishing, New York 3-21
56. Iannino A. Software reliability theory. In: Marciniak J. (Ed). "Encyclopedia of Software Engineering" 2 (1994), John Wiley & Sons, New York 1237-1253
57. Iannino J., and Musa J.D. Software reliability. In: Yovits M.C. (Ed). "Advances in Computers" 26 (1990), Academic Press, New York 85-170
58. Jaffe M.S., Leveson N., Heimdahl M., and Melhart B.E. Software requirements analysis for real-time process-control systems. IEEE Trans. Software Eng. SE-17 3 (1991) 241-258
59. Jahanian F., and Mok A.K. A graph-theoretic approach for timing analysis and its implementation. IEEE Trans. Computers 36 8 (1987) 961-975
60. Kafura D., and Reddy G.R. The use of software complexity metrics in software maintenance. IEEE Trans. Software Eng. SE-13 3 (1987) 335-343
61. Keller S.E., Kalian L.G., and Panara R.B. Specifying software quality requirements with metrics. In: Thayer R.D., and Dorfman M. (Eds). "System and Software Requirements Engineering" (1990), IEEE, Los Alamitos, CA. 145-163
62. Kemmerer R.A. Security. In: Marciniak J. (Ed). "Encyclopedia of Software Engineering" 2 (1994), John Wiley & Sons, New York 1153-1164
63. Kirner T.G., and Davis A.M. Timing-constraints in the requirements specification of hard real-time systems. Proc. REFSQ'94 Int. Requirements Engineering Workshop (1994), Verlag der Augustinus, Aachen, Germany 33-44
64. Kopetz H. Real-time systems. In: McDermid J. (Ed). "Software Engineer's Reference Book" (1991), CRC Press, Boca Raton, FL. 56/3-56/9
65. Kopetz H., Zainlinger G., Fohler G., Kantz H., Puschner P., and Schutz W. The design of real-time systems: From specification to implementation and verification. Software Eng. J. 6 3 (1991) 72-82
66. Koymans R., and Kuiper R. Paradigms for real-time systems. "Lecture Notes in Computer Science" 331 (1988), Springer-Verlag, Berlin, Germany 159-174
67. Landwehr C.E. Formal models for computer security. Computing Surveys 13 3 (1981) 247-278
68. Laprie J.C., Arlat J., Beounes C., and Kanoun K. Definition and analysis of hardware and software fault-tolerant architectures. IEEE Computer 23 7 (1990) 39-51
69. Lehoczky J. Real-time resource management techniques. In: Marciniak J. (Ed). "Encyclopedia of Software Engineering" 2 (1994), John Wiley & Sons, New York 1011-1020
70. Leveson N.G. Software safety: What, why, and how. Computing Surveys 18 2 (1986) 125-164
71. Leveson N.G. Safety as a software quality. IEEE Software 6 3 (1989) 88-89
72. Leveson N.G. The challenge of building process-control software. IEEE Software 7 2 (1990) 55-62
73. Leveson N.G. Software safety in embedded computer systems. Comm. ACM 34 2 (1991) 34-47
74. Leveson N.G. Safety. In: Marciniak J. (Ed). "Encyclopedia of Software Engineering" 2 (1994), John Wiley & Sons, New York 1108-1133
75. Leveson N.G., Cha S.S., and Shimeall T.J. Software verification of Acta programs using software fault trees. IEEE Software 8 4 (1991) 48-59
76. Leveson N.G., and Harvey P.R. Software fault-tree analysis. J. Syst. Software 3 (1983) 173-181
77. Leveson N.G., and Harvey P.R. Analyzing software safety. IEEE Trans. Software Eng. SE-9 5 (1983) 569-579
78. Leveson N.G., and Stolzy J.L. Safety analysis using Petri nets. IEEE Trans. Software Eng. SE-13 3 (1987) 386-397
79. Levi S.T., and Agravala A.K. "Real-time system design" (1990), McGraw-Hill, New York
80. Yeh L.R. Rapid prototyping. In: Marciniak J. (Ed). "Encyclopedia of Software Engineering" 2 (1994), John Wiley & Sons, New York 978-984
81. Lutz R. Analyzing software requirements errors in safety-critical, embedded systems. Proc. International Symposium on Requirements Specification (1992), IEEE, Los Alamitos, CA. 126-133
82. Lutz R. Targeting safety-related errors during software requirements analysis. Proc. First Symposium on the Foundations of Software Engineering (1993), ACM, New York 99-105
83. McCabe T.J. A complexity measure. IEEE Trans. Software Eng. 2 12 (1976) 308-320
84. McCall J. Quality factors. In: Marciniak J. (Ed). "Encyclopedia of Software Engineering" 2 (1994), John Wiley & Sons, New York 958-969
85. McDermid J.A. Issues in developing software for safety-critical systems. In: Littlewood B., and Miller D. (Eds). "Software Reliability and Safety" (1991), Elsevier Applied Science, London 1-24
86. McDermid J.A., and Shi Q. A formal approach for security evaluation. Proc. COMPASS'91 Computer Assurance Conference (1991), IEEE, Piscataway, NJ. 47-55
87. McLean J. Reasoning about security models. Proc. Symposium on Security and Privacy (1987), IEEE, Washington, DC. 123-131
88. McLean J. Security models. In: Marciniak J. (Ed). "Encyclopedia of Software Engineering" 2 (1994), John Wiley & Sons, New York 1136-1144
89. Mojdehbakhsh R., Tsai W., and Elliot L. Retrofitting software safety in an implant-able medical device. IEEE Software 11 1 (1994) 41-50
90. Musa J.D., and Everett W. Software reliability engineering: Technology for the 1990's. IEEE Software 7 6 (1990) 36-43
91. Musa J.D., Everett W., Ackerman A.F., and Wilson G.A. Software reliability engineering. In: Marciniak J. (Ed). "Encyclopedia of Software Engineering" 2 (1994), Joh Wiley & Sons, New York 1223-1236
92. Musa J.D., Iannino A., and Okumoto K. "Software Reliability" (1987), McGraw-Hill, New York
93. Mylopoulos J.L., Chung S., and Nixon B. Representing and using nonfunctional requirements: A process-oriented approach. IEEE Trans. Software Eng. 18 6 (1992) 483-497
94. Nakajo T., and Kume H. A case history analysis of software error cause-effect relationship. IEEE Trans. Software Eng. 17 8 (1991) 830-834
95. Natarajan S., and Zhao W. Issues in building dynamic real-time requirements. IEEE Software 9 5 (1992) 16-21
96. Nelson V. Fault-tolerant computing: Fundamental concepts. IEEE Computer 23 7 (1990) 19-25
97. Neuman P.G. On hierarchical design of computer systems for critical applications. IEEE Trans. Software Eng. 12 9 (1986) 905-920
98. Neuman P.G. Myths of dependable computing: Shooting the straw herrings in midstream. Proc. COMPASS'93 Computer Assurance Conference (1993), IEEE, Picata-way, NJ. 1-4
99. Nielsen J. The usability engineering life cycle. IEEE Computer 25 3 (1992) 12-22
100. Osborne W. Building and sustaining software maintainability. Proc. Conference of Software Maintenance (1987), IEEE, Washington, DC 14-24
101. Parker D.B. Restating the foundation of information security. Proc. 2nd Annual North American Information System Security Symposium, Toronto, Canada (1991)
102. Parnas D.L., Schouwen J., and Kwan S.P. Evaluation of safety-critical software. Comm. ACM 33 6 (1990) 836-846
103. Peterson J.L. "Petri Net Theory and the Modeling of Systems" (1981), Prentice Hall, Englewood Cliffs, NJ.
104. Pigoski T.M. Maintenance. In: Marciniak J. (Ed). "Encyclopedia of Software Engineering" 1 (1994), John Wiley & Sons, New York 619-636
105. Place P., and Kang K. Safety-critical software. Technical Report CMU/SEI-93-TR5 (1993), Software Engineering Institute, Carnegie Mellon University
106. Ramamoorthy C.V., and Bastani F.B. Software reliability---Status and perspectives. IEEE Trans. Software Eng. 8 4 (1982) 354-369
107. Ramamoorthy C.V., Prakash A., Garg V., Yamaura T., and Bhide A. Issues in the development of large, distributed, and reliable software. "Advances in Computers" 26 (1987), Academic Press, New York 396-443
108. Ramos S., and Lehoczky J.P. On-line scheduling of hard deadline aperiodic tasks in fixed-priority systems. Proc. Real-Time Systems Symposium (1993), IEEE, Washington, DC. 160-171
109. Schneeir B. "Applied Cryptography" (1994), John Wiley & Sons, New York
110. Schneiderman B. "Sparks of Innovation in Human-Computer Interaction" (1993), Ablex Publishing Corporation, Norwood, NJ.
111. Schneidewind N.F. The state of maintenance. IEEE Trans. Software Eng. 13 3 (1987) 303-310
112. Segal M.K., and Frieder O. Dynamic program updating in a distributed computer system. Proc. Conference on Software Maintenance (1988), IEEE, Washington, DC. 198-203
113. Segal M.K., and Frieder O. Dynamically updating distributed software: Supporting change in uncertain and mistrustful environments. Proc. Conference on Software Maintenance (1989), IEEE, Washington, DC. 254-261
114. Segal M.K., and Frieder O. On-the-fly program modification: Systems for dynamic updating. IEEE Software 10 2 (1993) 53-65
115. Selic B., Gullekson G., and Ward P.T. "Real-Time Object-Oriented Modeling" (1994), John Wiley & Sons, New York
116. Sennett C.T. Computer security. In: McDermid J. (Ed). "Software Engineer's Reference Book" (1991), CRC Press, Boca Raton, FL. 59/3-59/11
117. Sha L., and Goodenough J.B. Real-time scheduling theory and Ada. IEEE Computer 23 4 (1990) 53-64
118. Sha L., and Rajkumar R. Rate monotonic analysis. In: Marciniak J. (Ed). "Encyclopedia of Software Engineering" 2 (1994), John Wiley & Sons, New York 984-991
119. Shackel B. The concept of usability. In: Bennett J., Case D., Sandelin J., and Smith M. (Eds). "Visual Display Terminals: Issues and Health Concerns" (1984), Prentice Hall, Englewood Cliffs, NJ. 45-87
120. Shepard T., and Gaigné J.A. A pre-run-time scheduling algorithm for hard realtime systems. IEEE Trans. Software Eng. 17 7 (1991) 669-677
121. Sheppard S., and Rouff C. User interface management systems. In: Marciniak J. (Ed). "Encyclopedia of Software Engineering" 2 (1994), John Wiley & Sons, New York 1402-1408
122. Shepperd M., and Ince D.C. A critique of three metrics. J. Syst. Software 26 3 (1994) 197-210
123. Shrivastava S.K. Fault-tolerant system structuring concepts. In: McDermid J. (Ed). "Software Engineer's Reference Book" (1991), CRC Press, Boca Raton, FL. 61/3-61/16
124. Sommerville I. "Software Engineering" (1992), Addison-Wesley, Reading, MA.
125. Stankovic J.A. Misconception about real-time computing: A serious problem for next-generation systems. IEEE Computer 21 10 (1988) 10-19
126. Stankovic J.A., and Ramamritham K. What is predictability for real-time systems?. Real-Time Syst. 2 4 (1990) 247-254
127. Stankovic J.A., and Ramamritham K. The spring kernel: A new paradigm for realtime systems. IEEE Software 8 3 (1991) 62-72
128. Stoyenco A.D., and Halang W.A. Extending pearl for industrial real-time applications. IEEE Software 10 4 (1993) 65-80
129. Suonio R. Real-time: Further misconceptions (or half truths. IEEE Computer 27 6 (1994) 71-76
130. Sutcliffe A. "Human-Computer Interface Design" (1989), Springer-Verlag, New York.
131. Tsai J.P., Li B., and Liu A. Modeling and parallel evaluation of non-functional requirements using FRORL requirements language. Proc. COMPSAC'94 18th Annual Int. Computer Software & Applications Conference (1994), IEEE, Los Alamitos, CA.
132. Wallace D., and Daughtrey T. Verifying and validating software for maintainability. Proc. Computer Standards Conference (1988), IEEE, Washington, DC. 41-46
133. Wallace D., Kuln R., and Ippolito L.M. An analysis of selected software safety standards. Proc. COMPASS'92 Computer Assurance Conference (1992), IEEE, Piscataway, NJ. 123-136
134. Ward P.T., and Mellor S.J. "Structured Development for Real-Time Systems" (1985), Prentice Hall, Englewood Cliffs. NJ.
135. Xu J., and Parnas D.L. Scheduling processes with release-times, deadlines, precedence, and exclusion relations. IEEE Trans. Software Eng. 16 3 (1990) 360-369
136. Xu J., and Parnas D.L. On satisfying timing-constraints in hard real-time systems. IEEE Trans. Software Eng. 19 1 (1993) 70-84