Towards Formal Safety Analysis in Feature-Oriented Product Line Development.

Sara Bessling Michaela Huhn

Published in: FHIES (2013)

Keyphrases

product line
software product line
safety analysis
software engineering
safety critical
product lines
software architecture
software development
formal methods
nuclear power plant
artificial intelligence
future directions
real time
adaptive systems
development process
lessons learned
cooperative