Scheduling and Analysis of Real-Time Software Families

Authors:
Hamideh Sabouri;Mohammad Mahdi Jaghoori;Frank de Boer;Ramtin Khosravi
Affiliations:
-;-;-;-
Venue:
COMPSAC '12 Proceedings of the 2012 IEEE 36th Annual Computer Software and Applications Conference
Year:
2012

Citing 0
Cited 2

Discrete time Markov chain families: modeling and verification of probabilistic software product lines

Proceedings of the 17th International Software Product Line Conference co-located workshops
Reducing the verification cost of evolving product families using static analysis techniques

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

A software product line describes explicitly the commonalities of and differences between different products in a family of (software) systems. A formalization of these commonalities and differences amounts to reduced development, analysis and maintenance costs in the practice of software engineering. An important feature common to next-generation real-time software systems is the need of application-level control over scheduling for optimized utilization of resources provided by for example many-core and cloud infrastructures. In this paper, we introduce a formal model of real-time software product lines which supports variability in scheduling policies and rigorous and efficient techniques for modular schedulability analysis.