State-based modeling to support the evolution and maintenance of safety-critical software product lines

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2007, Pages 596-605

  Liu, Jing ^a   Dehlinger, Josh ^a   Sun, Hongyu ^a   Lutz, Robyn ^a,b  

^a Iowa State University   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FEATURE INTERACTIONS; SAFETY CRITICAL PRODUCT LINES; STATE BASED MODELING;

COMPUTER SOFTWARE REUSABILITY; FAULT TREE ANALYSIS; MATHEMATICAL MODELS; PACEMAKERS;

SOFTWARE ENGINEERING;

EID: 34250169840     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2007.66     Document Type: Conference Paper

References (30)

1. Bennett, K. and Rajlich, V., "Software Maintentance and Evolution: A Roadmap", The Future of Software Eng., ACM Press, pp. 75-87, 2000.
2. Booch, G., et. al.., The Unified Modeling Language User Guide, Addison-Wesley, 2005.
3. Campbell L, et. al., "Automatically Detecting and Visualizing Errors in UML Diagrams", Requirements Eng. Journal, Springer-Verlag, pp. 264-287, 2002.
4. Clarke, E. M. and Wing, J. M., "Formal Methods: State of the Art and Future Directions", ACM Computing Surveys, 28(4):626-643, 1996.
5. Clauss M., "Modeling variability with UML", Proc. Net.ObjectDays 2001 Workshop on Generative and Component-Based Software Eng., pp. 226-230, 2001.
6. Clements, P. and Northrup, L., Software Product Lines: Practices and Patterns, Addison-Wesley, 2001.
7. th Int'l Conf. Automated Software Eng, pp. 125-134, 1998.
8. th Int'l Symp. on High Assurance Systems Eng., pp. 159-167, 2000.
9. Dehlinger, J. and Lutz, R. R., "A Product-Line Approach to Promote Asset Reuse in Multi-Agent Systems," Software for Multi-Agent Systems IV, Lecture Notes in Computer Science 3914, pp. 161-178, 2006.
10. Dehlinger, J. and Lutz, R. R., "PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool," Automated Software Eng. Journal, 13(1):169-193, 2006.
11. Deng, G., et. al., "Addressing Domain Evolution in Model-Driven Software Product-Line Architectures", Proc. Workshop Model-Driven Development for Software Product Lines: Fact or Fiction?, 2005.
12. Doerr J., Requirements Engineering for Product Lines: Guidelines for Inspecting Domain Model Relationships, Diploma Thesis, University of Kaiserslautern, 2002.
13. Ellenbogen, K. A. and Wood, M. A., Cardiac Pacing and ICDs, Blackwell Publishing, 2005.
14. Feng, Q. and Lutz, R. R., "Bi-Directional Safety Analysis of Product Lines," Journal of Systems and Software, 78(2):111-127, 2005.
15. Gomaa, H., Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures, Addison-Wesley, 2005
16. Harel, D. and R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer, 2003.
17. th Int'l Software Product Line Conf., 2006.
18. Leveson, N. G., Safeware: System Safety and Computers, Addison-Wesley, 1995.
19. Lions, J. L., "Ariane 5: Flight 501 Failure Report", http://sunnyday.mit.edu/accidents/Ariane5accidentreport.html. (Current January 2007).
20. Liu, J., Dehlinger, J. and Lutz, R. R., "Safety Analysis of Software Product Lines Using State-Based Modeling," To appeal Journal of Systems and Software.
21. th IEEE Int'l Symp. on Software Reliability Eng., pp. 21-30, 2005.
22. th Int'l Symp. Software Reliability Eng., pp. 231-242, 2002.
23. Lutz, R. R., "Software Engineering for Safety: A Roadmap," Proc. Conf. on the Future of Software Eng., pp. 213-226, 2000.
24. "Model Driven Development for Real-Time Embedded Applications", Rhapsody Family Brochure, http://www.ilogix.com/rhapsodv/rhapsody. cfm, (Current January 2007).
25. Padmanabhan, P. and Lutz, R. R., "Tool-Supported Verification of Product-Line Requirements", Automated Software Eng. Journal, 12(4):447-485, 2005.
26. th Int'l Workshop Feature Interactions in Telecommunications and Software Systems, 2003.
27. Schmid, K. and Verlage, M., "The Economic Impact of Product Line Adoption and Evolution," IEEE Software, 19(4):50-57, 2002.
28. Schwanke R. and Lutz, R., "Experience with the Architectural Design of a Modest Product Family", Software Practice and Experience, 34(13):1273-1296, 2004.
29. Svahnberg, M. and Bosch, J., "Characterizing Evolution in Product Line Architectures", Proc. of the 3rd annual IASTED Int'l Conf. on Software Eng. and Applications, pp. 92-97, 1999.
30. Weiss, D. M. and Lai, C. T. R., Software Product-Line Eng., Addison-Wesley, 1999.