메뉴 건너뛰기




Volumn 81, Issue 8, 2008, Pages 1253-1271

Systematic approaches to understanding and evaluating design trade-offs

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; COMMERCE; EMBEDDED SYSTEMS; INTEGRATED CIRCUITS; PROCESS DESIGN;

EID: 50049128687     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2007.10.032     Document Type: Article
Times cited : (7)

References (40)
  • 1
    • 0029707819 scopus 로고    scopus 로고
    • Anton, A., 1996. Goal-based requirements analysis. In: Proceedings of the 2nd International Conference on Requirements Engineering (ICRE'96), pp. 136-144.
    • Anton, A., 1996. Goal-based requirements analysis. In: Proceedings of the 2nd International Conference on Requirements Engineering (ICRE'96), pp. 136-144.
  • 2
    • 0031597160 scopus 로고    scopus 로고
    • Anton, A., Potts, C., 1998. The use of goals to surface requirements for evolving systems. In: Proceedings of the 20th International Conference on Software Engineering, pp. 157-166.
    • Anton, A., Potts, C., 1998. The use of goals to surface requirements for evolving systems. In: Proceedings of the 20th International Conference on Software Engineering, pp. 157-166.
  • 3
    • 0029267687 scopus 로고
    • Fixed priority pre-emptive scheduling: an historical perspective
    • Audsley N., Burns A., Davis R., Tindell K., and Wellings A. Fixed priority pre-emptive scheduling: an historical perspective. Real-Time Systems 8 2-3 (1995) 173-198
    • (1995) Real-Time Systems , vol.8 , Issue.2-3 , pp. 173-198
    • Audsley, N.1    Burns, A.2    Davis, R.3    Tindell, K.4    Wellings, A.5
  • 4
    • 50049096134 scopus 로고    scopus 로고
    • Axelsson, J., 1996. Three search strategies for architecture synthesis and partitioning of real-time systems. Technical Report R-96-32, Department of Computer and Information Science, Linkoping University.
    • Axelsson, J., 1996. Three search strategies for architecture synthesis and partitioning of real-time systems. Technical Report R-96-32, Department of Computer and Information Science, Linkoping University.
  • 6
    • 2942524142 scopus 로고    scopus 로고
    • Bate, I., Audsley, N., 2004. Flexible design of complex high-integrity systems using trade offs. In: Proceedings of the 8th IEEE International Symposium on High Assurance Systems Engineering, pp. 22-31.
    • Bate, I., Audsley, N., 2004. Flexible design of complex high-integrity systems using trade offs. In: Proceedings of the 8th IEEE International Symposium on High Assurance Systems Engineering, pp. 22-31.
  • 7
    • 0037667707 scopus 로고    scopus 로고
    • An integrated approach to scheduling in safety-critical embedded control systems
    • Bate I., and Burns A. An integrated approach to scheduling in safety-critical embedded control systems. Real-Time Systems Journal 25 1 (2003) 5-37
    • (2003) Real-Time Systems Journal , vol.25 , Issue.1 , pp. 5-37
    • Bate, I.1    Burns, A.2
  • 8
    • 33751528826 scopus 로고    scopus 로고
    • Bate, I., Emberson, P., 2005. Design for flexible and scalable avionics systems. In: Proceedings of the IEEE Aerospace Conference, No. 9.0101.
    • Bate, I., Emberson, P., 2005. Design for flexible and scalable avionics systems. In: Proceedings of the IEEE Aerospace Conference, No. 9.0101.
  • 9
    • 84884403064 scopus 로고    scopus 로고
    • Bate, I., Emberson, P., 2006. Incorporating scenarios and heuristics to improve flexibility in real-time embedded systems. In: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 221-230.
    • Bate, I., Emberson, P., 2006. Incorporating scenarios and heuristics to improve flexibility in real-time embedded systems. In: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 221-230.
  • 10
    • 33746666483 scopus 로고    scopus 로고
    • Bate, I., Kelly, T., 2002. Architectural considerations in the certification of modular systems. In: Proceedings of the Computer Safety, Reliability and Security - 21st International Conference, SAFECOMP 2002, volume LNCS 2434, pp. 321-333.
    • Bate, I., Kelly, T., 2002. Architectural considerations in the certification of modular systems. In: Proceedings of the Computer Safety, Reliability and Security - 21st International Conference, SAFECOMP 2002, volume LNCS 2434, pp. 321-333.
  • 11
    • 0043131953 scopus 로고    scopus 로고
    • Architectural considerations in the certification of modular systems
    • Bate I., and Kelly T. Architectural considerations in the certification of modular systems. Reliability Engineering and System Safety 81 (2003) 303-324
    • (2003) Reliability Engineering and System Safety , vol.81 , pp. 303-324
    • Bate, I.1    Kelly, T.2
  • 12
    • 0038218326 scopus 로고    scopus 로고
    • Establishing timing requirements for control loops in real-time systems
    • Bate I., McDermid J., and Nightingale P. Establishing timing requirements for control loops in real-time systems. Microprocessors and Microsystems 27 4 (2003) 159-169
    • (2003) Microprocessors and Microsystems , vol.27 , Issue.4 , pp. 159-169
    • Bate, I.1    McDermid, J.2    Nightingale, P.3
  • 13
    • 2942540084 scopus 로고    scopus 로고
    • Bate, I., Cervin, A., Nightingale, P., 2003. Establishing timing requirements and control attributes for control loops in real-time systems. In: Proceedings of the 15th Euromicro Conference on Real-Time Systems, pp. 121-128.
    • Bate, I., Cervin, A., Nightingale, P., 2003. Establishing timing requirements and control attributes for control loops in real-time systems. In: Proceedings of the 15th Euromicro Conference on Real-Time Systems, pp. 121-128.
  • 14
    • 0033719421 scopus 로고    scopus 로고
    • Brooks, D., Tiwari, V., Martonosi, M., 2000. Wattch: a framework for architectural-level power analysis and optimizations. In: Proceedings of the 27th International Symposium on Computer Architecture (ISCA), pp. 83-94.
    • Brooks, D., Tiwari, V., Martonosi, M., 2000. Wattch: a framework for architectural-level power analysis and optimizations. In: Proceedings of the 27th International Symposium on Computer Architecture (ISCA), pp. 83-94.
  • 16
    • 50049093968 scopus 로고    scopus 로고
    • CENELEC. IEC 61508 Functional Safety of electrical/electronic/programmable electronic safety-related systems, 2001.
    • CENELEC. IEC 61508 Functional Safety of electrical/electronic/programmable electronic safety-related systems, 2001.
  • 18
    • 85133775397 scopus 로고    scopus 로고
    • A comprehensive survey of evolutionary-based multiobjective optimization techniques
    • Coello Coello C. A comprehensive survey of evolutionary-based multiobjective optimization techniques. Knowledge and Information Systems 1 3 (1999) 129-156
    • (1999) Knowledge and Information Systems , vol.1 , Issue.3 , pp. 129-156
    • Coello Coello, C.1
  • 20
    • 50049085498 scopus 로고    scopus 로고
    • Fohler, G., Koza, C., 1989. Heuristic scheduling for distributed real-time systems. Technical Report No. 6, Institut fur Technische Informatik, Technische Universtate Wien, Austria.
    • Fohler, G., Koza, C., 1989. Heuristic scheduling for distributed real-time systems. Technical Report No. 6, Institut fur Technische Informatik, Technische Universtate Wien, Austria.
  • 22
    • 0028166456 scopus 로고    scopus 로고
    • Kazman, R., Bass, L., Webb, M., Abowd, G., 1994. SAAM: A method for analyzing the properties of software architectures. In: International Conference on Software Engineering, pp. 81-90.
    • Kazman, R., Bass, L., Webb, M., Abowd, G., 1994. SAAM: A method for analyzing the properties of software architectures. In: International Conference on Software Engineering, pp. 81-90.
  • 23
    • 0033413860 scopus 로고    scopus 로고
    • Evaluating software architectures for real-time systems
    • Kazman R., Klein M., and Clements P. Evaluating software architectures for real-time systems. Annals of Software Engineering 7 1-4 (1999) 71-93
    • (1999) Annals of Software Engineering , vol.7 , Issue.1-4 , pp. 71-93
    • Kazman, R.1    Klein, M.2    Clements, P.3
  • 24
    • 50049090578 scopus 로고    scopus 로고
    • Kelly, T., 1999. Arguing Safety - A Systematic Approach to Safety Case Management. Ph.D. Thesis, Department of Computer Science, University of York.
    • Kelly, T., 1999. Arguing Safety - A Systematic Approach to Safety Case Management. Ph.D. Thesis, Department of Computer Science, University of York.
  • 25
    • 0020831848 scopus 로고
    • Quality function deployment and cwqc in japan
    • Kogure M., and Akao Y. Quality function deployment and cwqc in japan. Quality Progress (1993) 25-29
    • (1993) Quality Progress , pp. 25-29
    • Kogure, M.1    Akao, Y.2
  • 26
    • 0026239411 scopus 로고    scopus 로고
    • Lee, J., 1991. Extending the potts and bruns model for recording design rationale. In: Proceedings of the 13th International Conference on Software Engineering, pp. 114-125.
    • Lee, J., 1991. Extending the potts and bruns model for recording design rationale. In: Proceedings of the 13th International Conference on Software Engineering, pp. 114-125.
  • 27
    • 50049106428 scopus 로고    scopus 로고
    • McDermid, J., 2001. Software safety: Where's the evidence? In: Proceedings of the Sixth Australian Workshop on Industrial Experience with Safety Critical Systems and Software, vol. 3 of Conferences in Research and Practice in Information Technology Series, pp. 1-6.
    • McDermid, J., 2001. Software safety: Where's the evidence? In: Proceedings of the Sixth Australian Workshop on Industrial Experience with Safety Critical Systems and Software, vol. 3 of Conferences in Research and Practice in Information Technology Series, pp. 1-6.
  • 28
    • 0037587289 scopus 로고    scopus 로고
    • Moore, M., Kazman, R., Klein, M., Asundi, J., 2003. Quantifying the value of architecture design decisions: Lessons from the field. In: Proceedings of the 25th International Conference on Software Engineering (ICSE 25).
    • Moore, M., Kazman, R., Klein, M., Asundi, J., 2003. Quantifying the value of architecture design decisions: Lessons from the field. In: Proceedings of the 25th International Conference on Software Engineering (ICSE 25).
  • 29
    • 0026883734 scopus 로고
    • Representing and using nonfunctional requirements: a process-oriented approach
    • Mylopoulos J., Chung L., and Nixon B. Representing and using nonfunctional requirements: a process-oriented approach. IEEE Transactions on Software Engineering 18 6 (1992) 483-497
    • (1992) IEEE Transactions on Software Engineering , vol.18 , Issue.6 , pp. 483-497
    • Mylopoulos, J.1    Chung, L.2    Nixon, B.3
  • 30
    • 50049135186 scopus 로고    scopus 로고
    • Nicholson, M., 1998. Selecting a topology for safety-critical real-time control systems. DPhil Thesis, Department of Computer Science, University of York, YCST-98-08.
    • Nicholson, M., 1998. Selecting a topology for safety-critical real-time control systems. DPhil Thesis, Department of Computer Science, University of York, YCST-98-08.
  • 31
    • 50049119386 scopus 로고    scopus 로고
    • Nord, R., Barbacci, M., Clements, P., Kazman, R., Klein, M., O'Brien, L., Tomayko, J., 2003. Integrating the Architecture Tradeoff Analysis Method (ATAM) with the Cost Benefit Analysis Method (CBAM). Technical Report CMU/SEI-2003-TN-038, Software Engineering Institute.
    • Nord, R., Barbacci, M., Clements, P., Kazman, R., Klein, M., O'Brien, L., Tomayko, J., 2003. Integrating the Architecture Tradeoff Analysis Method (ATAM) with the Cost Benefit Analysis Method (CBAM). Technical Report CMU/SEI-2003-TN-038, Software Engineering Institute.
  • 32
    • 0003810067 scopus 로고    scopus 로고
    • Rayward-Smith V., Osman I., Reeves C., and Smith G. (Eds), Wiley, New York
    • In: Rayward-Smith V., Osman I., Reeves C., and Smith G. (Eds). Modern Heuristic Search Methods (1996), Wiley, New York
    • (1996) Modern Heuristic Search Methods
  • 33
    • 0024031604 scopus 로고
    • The TAME project: Towards improvement-oriented software environments
    • Rombach H., and Basili V. The TAME project: Towards improvement-oriented software environments. IEEE Transactions on Software Engineering 14 6 (1988) 758-773
    • (1988) IEEE Transactions on Software Engineering , vol.14 , Issue.6 , pp. 758-773
    • Rombach, H.1    Basili, V.2
  • 34
    • 50049100909 scopus 로고    scopus 로고
    • RTCA Inc. Software considerations in airborne systems and equipment certification. DO-178B/ED-12B, December 1992.
    • RTCA Inc. Software considerations in airborne systems and equipment certification. DO-178B/ED-12B, December 1992.
  • 36
    • 0032074273 scopus 로고    scopus 로고
    • Fundamentals of implementing real-time control applications in distributed computer systems
    • Torngren M. Fundamentals of implementing real-time control applications in distributed computer systems. Real-Time Systems 14 3 (1998) 219-250
    • (1998) Real-Time Systems , vol.14 , Issue.3 , pp. 219-250
    • Torngren, M.1
  • 37
    • 50049101182 scopus 로고    scopus 로고
    • United Kingdom Ministry of Defence. Defence Standard 00-55: Requirements for Safety-Related Software in Defence Equipment, July 1996.
    • United Kingdom Ministry of Defence. Defence Standard 00-55: Requirements for Safety-Related Software in Defence Equipment, July 1996.
  • 38
    • 50049098844 scopus 로고    scopus 로고
    • United Kingdom Ministry of Defence. Defence Standard 00-56 (Issue 2): Safety Management Requirements for Defence Systems, December 1996.
    • United Kingdom Ministry of Defence. Defence Standard 00-56 (Issue 2): Safety Management Requirements for Defence Systems, December 1996.
  • 39
    • 50049121312 scopus 로고    scopus 로고
    • United Kingdom Ministry of Defence. Defence Standard 00-56 (Issue 3): Safety Management Requirements for Defence Systems, December 2004.
    • United Kingdom Ministry of Defence. Defence Standard 00-56 (Issue 3): Safety Management Requirements for Defence Systems, December 2004.
  • 40
    • 0003920820 scopus 로고
    • Reliability, Availability, Maintainability, and Safety Assessment
    • Wiley, New York
    • Villmeur A. Reliability, Availability, Maintainability, and Safety Assessment. Methods and Techniques vol. 1 (1992), Wiley, New York
    • (1992) Methods and Techniques , vol.1
    • Villmeur, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.