Download Now Free registration required
The authors propose an emerging solution technique, pushing the application of model-checking techniques to the design and validation of variability in a Product Line (PL), mainly aimed at those industrial domains where model-based development is adopted for the development of safety-critical systems. A common problem addressed by many companies working in domains regulated by standards, such as safety-critical domains like avionics and railways, and that slows down the application of PL-based technologies in these domains, is the high cost of validation and certification efforts. In such domains, every product has to pass a costly certification stage, even in case it belongs to an established family of products for which certification efforts have already been performed.
- Format: PDF
- Size: 1048.2 KB