Bi-directional safety analysis of product lines

Journal of Systems and Software

Volumn 78, Issue 2, 2005, Pages 111-127

  Feng, Qian ^a   Lutz, Robyn R ^a,b  

^a Iowa State University   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Product lines; Reuse; Software architecture; Software safety; XML

Indexed keywords

PRODUCT LINES; REUSE; SOFTWARE ARCHITECTURE; SOFTWARE SAFETY;

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; COMPUTER SOFTWARE REUSABILITY; FILE ORGANIZATION; SECURITY SYSTEMS; SOFTWARE ENGINEERING; XML;

PRODUCT DEVELOPMENT;

EID: 22944485071     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2005.02.028     Document Type: Article

References (31)

1. Allenby, K., Kelly, T., 2001. Deriving safety requirements using scenarios: requirements engineering. In: Proceedings of the Fifth IEEE International Symposium, Toronto, Ont., Canada, pp. 228-235.
2. Ardis, A.M., Weiss, D.M., 1997. Defining families: the commonality analysis, software engineering. In: Proceedings of the 1997 (19th) International Conference, pp. 649-650.
3. C. Atkinson, J. Bayer, C. Bunse, E. Kamsties, O. Laitenberger, R. Laqua, D. Muthig, B. Paech, J. Wust, and J. Zettel Component-based Product Line Engineering with UML 2002 Addison-Wesley
4. L. Bass, P. Clements, and R. Kazman Software Architecture in Practice 2003 Addison-Wesley
5. Bayer, J., Flege, O., Knauber, P., Laqua, R., Muthig, D., Schmid, K., Widen, T., 1999. PuLSE: a methodology to develop software product lines. In: Proceedings of the 5th Symposium on Software Reusability, Los Angeles, CA, USA, pp. 122-131.
6. J. Bayer, O. Flege, and C. Gacek Creating product line architectures Proceedings of the 3rd International Workshop on Software Architectures for Product Families Lecture Notes in Computer Science vol, 1951 2000 Springer-Verlag 210 216
7. J. Bosch Design and Use of Software Architectures 2000 Addison-Wesley
8. Burgess, M., 2003. Fault Tree Creation and Analysis Tool: User Manual. (accessed July 2004).
9. Clauß, M., 2001. Modeling variability with UML. In: GCSE 2001Young Researchers Workshop, Erfurt, Germany.
10. Cook, D.J., Huber, M., Gopalratnam, K., Youngblood, M., 2004. Learning to control a smart home environment. (accessed July 2004).
11. Dehlinger, J., Lutz, R., to appear. PLFaultCAT: A product-line software fault tree analysis Tool. Automated Software Engineering.
12. Doerr, J., 2002. Requirements engineering for product lines: guidelines for inspecting domain model relationships. Diploma Thesis, University of Kaiserslautern.
13. DTD tutorial. (accessed July 2004).
14. A. Egyed, N.R. Mehta, and N. Medvidovic Software connectors and refinement in family architectures Proceedings of the Third International Workshop on Development and Evolution of Software Architectures for Product Families (ARES III) Lecture Notes in Computer Science vol. 1951 2000 Springer-Verlag 96 105
15. Fellbaum, K., Hampicke, M., Human-computer interaction in a smart home environment. (accessed July 2004).
16. K. Goseva-Popstojanova, A. Hassan, A. Guedem, D.W. Abdelmoez, and H. Ammar Architectural-level risk analysis using UML IEEE Transactions on Software Engineering 2003 946 960
17. John, I., Muthig, D., 2002. Tailoring use cases for product line modeling. In: Proceedings of International Workshop on Requirements Engineering for Product Lines, Essen, Germany, pp. 26-32.
18. K.C. Kang, S. Kim, J. Lee, K. Kim, E. Shin, and M. Huh FORM: a feature-oriented reuse method with domain-specific reference architectures Annals of Software Engineering 5 1998 143 168
19. N.G. Leveson Software System Safety 1995 Addison-Wesley
20. Lu, D., Lutz, R., 2002. Fault contribution trees for product families. In: Proceedings of the 13th International Symposium on Software Reliability Engineering, pp. 231-242.
21. R.R. Lutz Extending the product line approach to support safe reuse The Journal of Systems and Software 53 3 2000 207 217
22. R.R. Lutz, and G.C. Gannod Analysis of a software product line architecture: an experience report The Journal of Systems and Software 66 3 2003 253 267
23. R.R. Lutz, and R.M. Woodhouse Requirements analysis using forward and backward search Annals of Software Engineering 3 1997 459 475
24. Nentwich, C., 2002. Xlinkit Version 5 Language Reference. (accessed July 2004).
25. C. Nentwich, L. Capra, W. Emmerich, and A.F. Finkelstein xlinkit: a consistency checking and smart link generation service ACM Transactions on Internet Technology 2 2002 151 185
26. D.E. Perry Generic architecture descriptions for product lines Proceeding of ARES II: Software Architectures for Product Families LNCS vol. 1429 1998 Springer-Verlag 51 56
27. Sabanosh, T. Sullivan, K., 2001. Interoperability for probabilistic risk assessment tools using domain-specific markup languages. (accessed July 2004).
28. Smart Home-project. Institute Electronics at Tamperre University of Technology, Finland. (accessed July 2004).
29. I. Sommerville Software Engineering 2004 Addison-Wesley
30. D.M. Weiss, and C.T.R. Lai Software Product-Line Engineering: a Family-based Software Development Process 1999 Addison-Wesley
31. Youngblood, G.M., 2003. Mavhome Research Scope. Available from (accessed July 2004).