{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T03:56:24Z","timestamp":1714881384674},"reference-count":62,"publisher":"Elsevier","isbn-type":[{"value":"9780124170094","type":"print"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1016\/b978-0-12-417009-4.00009-0","type":"book-chapter","created":{"date-parts":[[2014,8,8]],"date-time":"2014-08-08T15:26:41Z","timestamp":1407511601000},"page":"233-261","source":"Crossref","is-referenced-by-count":1,"title":["Achieving Quality in Customer-Configurable Products"],"prefix":"10.1016","author":[{"given":"Martin","family":"Gro\u00dfe-Rhode","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Hilbrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Mann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Wei\u00dfleder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0010","first-page":"213","article-title":"Energy-aware task allocation for rate monotonic scheduling","author":"AlEnawy","year":"2005"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0015","series-title":"Introduction to Software Testing","author":"Ammann","year":"2008"},{"issue":"5","key":"10.1016\/B978-0-12-417009-4.00009-0_bb0020","doi-asserted-by":"crossref","first-page":"49","DOI":"10.5381\/jot.2009.8.5.c5","article-title":"An overview of feature-oriented software development","volume":"8","author":"Apel","year":"2009","journal-title":"J. Object Technology (JOT)"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0025","first-page":"1815","article-title":"Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks","author":"Baro","year":"2012"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0030","first-page":"7","article-title":"Feature models, grammars, and propositional formulas","volume":"Vol. 3714","author":"Batory","year":"2005"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0035","series-title":"Software Testing Techniques","author":"Beizer","year":"1990"},{"issue":"6","key":"10.1016\/B978-0-12-417009-4.00009-0_bb0040","doi-asserted-by":"crossref","DOI":"10.1016\/j.is.2010.01.001","article-title":"Automated analysis of feature models 20 years later: a literature review","volume":"35","author":"Benavides","year":"2010","journal-title":"Inf. Syst."},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0045","series-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"Binder","year":"1999"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0050","article-title":"Xoncrete: a scheduling tool for partitioned real-time systems","author":"Brocaly","year":"2010"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0055","series-title":"Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Real-Time Systems","author":"Buttazzo","year":"2004"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0060","series-title":"Handbook on Scheduling Algorithms, Methods, and Models","first-page":"1","article-title":"A categorization of real-time multiprocessor scheduling problems and algorithms","author":"Carpenter","year":"2004"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0065","first-page":"43","article-title":"Correctness by construction: a manifesto for high integrity software","volume":"Vol. 55","author":"Chapman","year":"2006"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0070","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1049\/sej.1994.0025","article-title":"Applicability of modified condition\/decision coverage to software testing","volume":"9","author":"Chilenski","year":"1994","journal-title":"Softw. Eng. J."},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0075","first-page":"13","article-title":"Abstract delta modeling","author":"Clarke","year":"2010"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0080","series-title":"Software Product Lines\u2014Practices and Patterns. SEI Series in Software Engineering","author":"Clements","year":"2002"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0085","first-page":"422","article-title":"Mapping features to models: a template approach based on superimposed variants","volume":"Vol. 3676","author":"Czarnecki","year":"2005"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0090","series-title":"Generative Programming\u2014Methods, Tools and Applications","author":"Czarnecki","year":"2000"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0095","series-title":"Flexibility in Statically Scheduled Real-Time Systems","author":"Fohler","year":"1994"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0100","series-title":"The Total Economic Impact of Conformiq Tool Suite","author":"Forrester Research, Inc.","year":"2012"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0105","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: a visual formalism for complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Sci. Comput. Program."},{"issue":"7","key":"10.1016\/B978-0-12-417009-4.00009-0_bb0110","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","article-title":"Executable object modeling with statecharts","volume":"30","author":"Harel","year":"1997","journal-title":"IEEE Computer"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0115","first-page":"943","article-title":"Featuremapper: mapping features to models","author":"Heidenreich","year":"2008"},{"issue":"354274","key":"10.1016\/B978-0-12-417009-4.00009-0_bb0120","first-page":"14","article-title":"How to safely integrate multiple applications on embedded many-core systems by applying the \u201ccorrectness by construction\u201d principle","volume":"2012","author":"Hilbrich","year":"2012","journal-title":"Adv. Softw. Eng."},{"issue":"05","key":"10.1016\/B978-0-12-417009-4.00009-0_bb0125","doi-asserted-by":"crossref","first-page":"229","DOI":"10.4236\/jsea.2013.65028","article-title":"Deploying safety-critical applications on complex avionics hardware architectures","volume":"06","author":"Hilbrich","year":"2013","journal-title":"J. Softw. Eng. Appl."},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0130","first-page":"9","article-title":"Model-based generation of static schedules for safety critical multi-core systems in the avionics domain","author":"Hilbrich","year":"2011"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0135","series-title":"Software engineering\u2014Software product Quality Requirements and Evaluation (SQuaRE)\u2014Guide to SQuaRE","author":"ISO\/IEC","year":"2005"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0140","series-title":"Applied Software Measurement: Assuring Productivity and Quality","author":"Jones","year":"1991"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0145","series-title":"Feature-Oriented Domain Analysis (FODA)\u2014Feasibility Study","author":"Kang","year":"1990"},{"issue":"6","key":"10.1016\/B978-0-12-417009-4.00009-0_bb0150","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/52.469759","article-title":"The \u201c4+1\u201d view model of software architecture","volume":"12","author":"Kruchten","year":"1995","journal-title":"IEEE Softw."},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0155","first-page":"31","article-title":"A survey on software product line testing","volume":"vol. 1","author":"Lee","year":"2012"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0160","series-title":"Handbook of Scheduling: Algorithms, Models, and Performance Analysis","author":"Leung","year":"2004"},{"issue":"1","key":"10.1016\/B978-0-12-417009-4.00009-0_bb0165","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","article-title":"Scheduling algorithms for multiprogramming in a hard-real-time environment","volume":"20","author":"Liu","year":"1973","journal-title":"J. ACM"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0170","first-page":"111","article-title":"Dealing with variability in architecture descriptions to support automotive product lines","author":"Mann","year":"2009"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0175","series-title":"Testing a Software Product Line","author":"McGregor","year":"2001"},{"issue":"8","key":"10.1016\/B978-0-12-417009-4.00009-0_bb0180","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/62.90950","article-title":"Integrated modular avionics for next generation commercial airplanes","volume":"6","author":"Morgan","year":"1991","journal-title":"Aerospace and Electronic Systems Magazine, IEEE"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0185","series-title":"Art of Software Testing","author":"Myers","year":"1979"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0190","first-page":"41","article-title":"A systematically conducted literature review: quality attribute variability in software product lines","volume":"vol. 1","author":"Myll\u00e4rniemi","year":"2012"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0195","first-page":"203","article-title":"Towards the integration of quality attributes into a software product line cost model","author":"Nolan","year":"2011"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0200","series-title":"Unified Modeling Language (UML). Object Management Group, Needham, MA","author":"OMG","year":"2011"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0205","unstructured":"OMG, 2012, August. Common Variability Language (CVL)\u2014OMG Revised Submission. OMG Revised Submission, OMG document: ad\/2012-08-05, submitted by IBM, Fraunhofer FOKUS, Thales, and Tata Consultancy Services."},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0210","first-page":"79","article-title":"MoSo-PoLiTe: tool support for pairwise and model-based software product line testing","author":"Oster","year":"2011"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0215","series-title":"Scheduling: Theory, Algorithms, and Systems","author":"Pinedo","year":"2008"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0220","first-page":"537","article-title":"Model-based testing in practice","author":"Pretschner","year":"2005"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0225","first-page":"392","article-title":"One evaluation of model-based testing and its automation","author":"Pretschner","year":"2005"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0230","first-page":"161","article-title":"The effect of program and model structure on MC\/DC test adequacy coverage","author":"Rajan","year":"2008"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0235","first-page":"680","article-title":"Scheduling and analysis of real-time software families","author":"Sabouri","year":"2012"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0240","series-title":"Software Architecture: Foundations, Theory, and Practice","author":"Taylor","year":"2009"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0245","first-page":"95","article-title":"Safe composition of product lines","author":"Thaker","year":"2007"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0250","series-title":"Analysis Strategies for Software Product Lines","author":"Th\u00fcm","year":"2012"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0255","series-title":"Practical Model-Based Testing: A Tools Approach","author":"Utting","year":"2006"},{"issue":"5","key":"10.1016\/B978-0-12-417009-4.00009-0_bb0260","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/stvr.456","article-title":"A taxonomy of model-based testing approaches","volume":"22","author":"Utting","year":"2012","journal-title":"Softw. Test. Verif. Reliab."},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0265","series-title":"Ada-Europe International Conference on Reliable Software Technologies","first-page":"35","article-title":"Model-based deployment of mission-critical spacecraft applications on multicore processors","volume":"Vol. 7896","author":"van Kampenhout","year":"2013"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0270","first-page":"233","article-title":"Product line implementation using aspect-oriented and model-driven software development","author":"Voelter","year":"2007"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0275","doi-asserted-by":"crossref","DOI":"10.1145\/2430502.2430522","article-title":"The PLA model: on the combination of product-line analyses","author":"von Rhein","year":"2013"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0280","doi-asserted-by":"crossref","DOI":"10.1109\/DASC.2007.4391842","article-title":"Transitioning from federated avionics architectures to Integrated Modular Avionics","author":"Watkins","year":"2007"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0285","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-04425-0_16","article-title":"Influencing factors in model-based testing with UML state machines: report on an industrial cooperation","author":"Wei\u00dfleder","year":"2009"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0290","doi-asserted-by":"crossref","DOI":"10.1109\/ICST.2010.28","article-title":"Simulated satisfaction of coverage criteria on UML state machines","author":"Wei\u00dfleder","year":"2010"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0295","first-page":"13","article-title":"Top-down and bottom-up approach for model-based testing of product lines","author":"Wei\u00dfleder","year":"2013"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0300","series-title":"Model-Based Testing in Practice (MoTiP)","article-title":"Reusing state machines for automatic test generation in product lines","author":"Wei\u00dfleder","year":"2008"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0305","first-page":"59","article-title":"Modellbasiertes testen: hype oder realit\u00e4t?","volume":"6","author":"Wei\u00dfleder","year":"2011","journal-title":"OBJEKTSpektrum"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0310","series-title":"Model-Based Testing for Embedded Systems","year":"2011"},{"key":"10.1016\/B978-0-12-417009-4.00009-0_bb0315","article-title":"A propositional logic-based method for verification of feature models","volume":"Vol. 3308","author":"Zhang","year":"2004"}],"container-title":["Relating System Quality and Software Architecture"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780124170094000090?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780124170094000090?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T14:40:28Z","timestamp":1565707228000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780124170094000090"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9780124170094"],"references-count":62,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-417009-4.00009-0","relation":{},"subject":[],"published":{"date-parts":[[2014]]}}}