A Formal Product-Line Engineering Approach for Schedulers

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Abstract

    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.
    Original languageEnglish
    Title of host publicationSDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions
    EditorsLeon Jololian, David E. Robbins, Steven L. Fernandes
    Pages15-30
    Number of pages16
    Publication statusPublished - Nov 2017
    Event22nd International Conference of the Society for Design and Process Science - Double Tree by Hilton hotel, Birmingham, United States
    Duration: 5 Nov 20179 Nov 2017
    Conference number: 22
    https://www.sdpsnet.org/sdps/index.php/conferences/sdps-2017

    Publication series

    NameIntegrated design and process technology
    Volume22
    ISSN (Electronic)1090-9389

    Conference

    Conference22nd International Conference of the Society for Design and Process Science
    Abbreviated titleSDPS 2017
    CountryUnited States
    CityBirmingham
    Period5/11/179/11/17
    Internet address

    Fingerprint

    Scheduling
    Elevators
    Radar systems
    Airports
    Railroad cars
    Antennas
    Costs

    Keywords

    • Software product line
    • Scheduling
    • Reusability
    • Verification
    • Schedulability Analysis
    • Constraint Programming

    Cite this

    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).
    Orhan, Güner ; Aksit, Mehmet ; Rensink, Arend . / A Formal Product-Line Engineering Approach for Schedulers. SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions. editor / Leon Jololian ; David E. Robbins ; Steven L. Fernandes. 2017. pp. 15-30 (Integrated design and process technology).
    @inproceedings{f38fcbeb7e564134a19910193d39aa1e,
    title = "A Formal Product-Line Engineering Approach for Schedulers",
    abstract = "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.",
    keywords = "Software product line, Scheduling, Reusability, Verification, Schedulability Analysis, Constraint Programming",
    author = "G{\"u}ner Orhan and Mehmet Aksit and Arend Rensink",
    year = "2017",
    month = "11",
    language = "English",
    series = "Integrated design and process technology",
    pages = "15--30",
    editor = "Leon Jololian and Robbins, {David E.} and Fernandes, {Steven L.}",
    booktitle = "SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions",

    }

    Orhan, G, Aksit, M & Rensink, A 2017, A Formal Product-Line Engineering Approach for Schedulers. in L Jololian, DE Robbins & SL Fernandes (eds), SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions. Integrated design and process technology, vol. 22, pp. 15-30, 22nd International Conference of the Society for Design and Process Science, Birmingham, United States, 5/11/17.

    A Formal Product-Line Engineering Approach for Schedulers. / Orhan, Güner ; Aksit, Mehmet ; Rensink, Arend .

    SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions. ed. / Leon Jololian; David E. Robbins; Steven L. Fernandes. 2017. p. 15-30 (Integrated design and process technology; Vol. 22).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    TY - GEN

    T1 - A Formal Product-Line Engineering Approach for Schedulers

    AU - Orhan, Güner

    AU - Aksit, Mehmet

    AU - Rensink, Arend

    PY - 2017/11

    Y1 - 2017/11

    N2 - 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.

    AB - 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.

    KW - Software product line

    KW - Scheduling

    KW - Reusability

    KW - Verification

    KW - Schedulability Analysis

    KW - Constraint Programming

    M3 - Conference contribution

    T3 - Integrated design and process technology

    SP - 15

    EP - 30

    BT - SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions

    A2 - Jololian, Leon

    A2 - Robbins, David E.

    A2 - Fernandes, Steven L.

    ER -

    Orhan G, Aksit M, Rensink A. A Formal Product-Line Engineering Approach for Schedulers. In Jololian L, Robbins DE, Fernandes SL, editors, SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions. 2017. p. 15-30. (Integrated design and process technology).