Scheduling techniques have been applied to a large category of software systems, such as, processor scheduling in operating systems, car scheduling in elevator systems, facility scheduling at airports, antenna scheduling in radar systems, scheduling of events, control signals and data in cyber-physical systems, etc. Designing and implementing software systems that incorporate scheduling techniques are not trivial, due to complexity, large size and safety-critical nature of such systems. To manage complexity, one may adopt domain-specific abstraction techniques. Adopting Software Product Line Engineering (SPLE) approaches can reduce the cost of developing large size of scheduling software. Built-in analysis tools may be utilized to assure that the scheduling process can be realized correctly. This paper introduces a comprehensive SPLE approach to foster reuse in implementing scheduler product families. As a part of the SPLE approach, a feature model, a wizard-based product configuration tool and a set of integrated verification tools have been designed and implemented. To the best of our knowledge, this is the first paper in the literature that presents an SPLE approach in the scheduling domain which covers a large category of scheduling techniques, with built- in product configuration, implementation and verification tools.
|Title of host publication||SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions|
|Editors||Leon Jololian, David E. Robbins, Steven L. Fernandes|
|Number of pages||16|
|Publication status||Published - Nov 2017|
|Event||22nd International Conference of the Society for Design and Process Science - Double Tree by Hilton hotel, Birmingham, United States|
Duration: 5 Nov 2017 → 9 Nov 2017
Conference number: 22
|Name||Integrated design and process technology|
|Conference||22nd International Conference of the Society for Design and Process Science|
|Abbreviated title||SDPS 2017|
|Period||5/11/17 → 9/11/17|
- Software product line
- Schedulability Analysis
- Constraint Programming
Orhan, G., Aksit, M., & Rensink, A. (2017). A Formal Product-Line Engineering Approach for Schedulers. In L. Jololian, D. E. Robbins, & S. L. Fernandes (Eds.), SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions (pp. 15-30). (Integrated design and process technology; Vol. 22).