Safety Analysis of Software Product Lines Using State-Based Modeling

Authors:
Jing Liu;Josh Dehlinger;Robyn Lutz
Affiliations:
Iowa State University;Iowa State University;Iowa State University and Jet Propulsion Laboratory
Venue:
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
Year:
2005

Citing 0
Cited 5

Handling Safety-Related Feature Interaction in Safety-Critical Product Lines

ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Safety analysis of software product lines using state-based modeling

Journal of Systems and Software
Context-dependent product line practice for constructing reliable embedded systems

SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Efficient software component reuse in safety-critical systems --- an empirical study

SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Context-dependent product line engineering with lightweight formal approaches

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Teachers can learn many lessons by examining experiences in teaching SRE to software practitioners and analyzing their feedback. I have taught several thousand participants over 15 years in a wide variety of organizations and applications. Participants ...