Extending the product family approach to support safe reuse

Journal of Systems and Software

Volumn 53, Issue 3, 2000, Pages 207-217

  Lutz, Robyn R ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAILURE ANALYSIS; INTERFEROMETERS; MATHEMATICAL MODELS; OPTICAL TELESCOPES; SPACECRAFT INSTRUMENTS;

SOFTWARE SAFETY;

COMPUTER SOFTWARE REUSABILITY;

EID: 0034271913     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(00)00012-1     Document Type: Article

References (28)

1. Addy E.A. A framework for performing verification and validation in reuse-based software engineering. Annals of Software Engineering. 5:1998;279-292.
2. Ardis, M.A., Weiss, D.M., 1997a. Defining Families: The Commonality Analysis. Tutorial, International Conference on Software Engineering.
3. Ardis, M.A., Weiss, D.M., 1997b. Commonality Analysis: Principles and Practice. Introduction and Overview Notebook.
4. Coplien J., Hoffman D., Weiss D. Commonality and variability in software engineering. IEEE Software. 15(6):1998;37-45.
5. Dikel D., Kane D., Ornburn S., Loftus W., Wilson J. Applying software product-line architecture. Computer. 30(8):1997;49-55.
6. Easterbrook S., Lutz R., Covington R., Kelly J., Ampo Y., Hamilton D. Experiences using lightweight formal methods for requirements modeling. IEEE Transactions on Software Engineering. 24(1):1998;4-14.
7. Gomaa H. Reusable software requirements and architectures for families of systems. Journal of Systems and Software. 28(3):1995;189-202.
8. Gomaa, H., Farrukh, G.A., 1999. A reusable architecture for federated Client/Server systems. In: Proceedings of the Fifth Symposium on Software Reusability. ACM, New York, pp. 113-121.
9. Heitmeyer, C., Bull, A., Gasarch, C., Labaw, B., 1995. SCR: a toolset for specifying and analyzing requirements. In: Proceedings of the 10th Annual Conference on Computer Assurance. IEEE, Gaithersburg, MD, pp. 109-122.
10. JPL, 1998. Internal Documents 1997-1998.
11. Knight J.C., Dunn M.F. Software quality through domain-driven certification. Annals of Software Engineering. 5:1998;293-315.
12. Lam W. A case-study of requirements reuse through product families. Annals of Software Engineering. 5:1998;253-277.
13. Lam, W., McDermid, J.A., Vickers, A.J., 1997. Ten steps towards systematic requirements reuse. In: Third IEEE International Symposium on Requirements Engineering. IEEE Computer Society, Los Alamitos, CA, pp. 6-15.
14. Lau, K., Colavita, M., Shao, M., 1997. The new millennium separated spacecraft interferometer. Space Technology and Applications International Forum.
15. Leveson N.G. Safeware: System Safety and Computers. 1995;Addison-Wesley, Reading, MA.
16. Lutz R.R., Woodhouse R.M. Requirements analysis using forward and backward search. Annals of Software Engineering. 3:1997;459-475.
17. Lutz, R., Helmer, G., Moseman, M., Statezni, D., Tockey, S., 1998. Safety analysis of requirements for a product family. In: Proceedings of the Third IEEE International Conference on Requirements Engineering. IEEE Computer Society, Los Alamitos, CA, pp. 24-31.
18. Mauldin, J.H., 1988. Light, Lasers, and Optics. TAB Books, Blue Ridge Summit, PA.
19. Miller, S.P., 1998. Specifying the mode logic of a flight guidance system in CoRE and SCR. In: Proceedings of the Second Workshop on Formal Methods in Software Practice. Clearwater Beach, FL.
20. NASA's Origins Program, 1999. http://origins.jpl.nasa.gov.
21. Rushby J. Critical system properties: survey and taxonomy. Reliability Engineering and System Safety. 43(2):1994;189-214.
22. Sanderson S.W., Uzumeri M. The Innovation Imperative: Strategies for Managing Product Models and Families. 1997;Irwin, Chicago.
23. Software Productivity Consortium, 1993. Reuse-Driven Software Processes Guidebook. SPC-92019-CMC, v. 02.00.03.
24. Space Interferometry Mission Homepage, 1999. http://sim.jpl.nasa.gov.
25. Space Technology 3: Welcome, 1999. http://spacetechnology3.jpl.nasa.gov.
26. Storey, N., 1996. Safety-Critical Computer Systems. Addison-Wesley, Harlow, England.
27. Weiss, D.M., 1997. Defining Families: The Commonality Analysis, submitted.
28. Zave P., Jackson M. Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology. 6(1):1997;1-30.