Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems.
Kathrin D. ScheidemannPublished in: SPLC (2006)
Keyphrases
- embedded systems
- product lines
- software systems
- low cost
- computing power
- embedded software
- product line
- embedded devices
- real time systems
- resource limited
- distributed systems
- hardware software
- real time embedded
- management practices
- model checking
- flash memory
- consumer electronics
- field programmable gate array
- cyber physical systems
- cooperative
- embedded real time systems
- hw sw
- software development
- safety critical
- software product line
- source code