A formal modeling and analysis framework for software product line of preemptive real-time systems

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 35
  • Download : 0
This paper presents a formal analysis framework to analyze a family of platform products w.r.t. real-time properties. First, we propose an extension of the widely-used feature model, called Property Feature Model (PFM), that distinguishes features and properties explicitly Second, we present formal behavioral models of components of a realtime scheduling unit such that all real-time scheduling units implied by a PFM are automatically composed to be analyzed against the properties given by the PFM. We apply our approach to the verification of the schedulability of a family of scheduling units using the symbolic and statistical model checkers of Uppaal.
Publisher
ACM Special Interest Group on Applied Computing (SIGAPP)
Issue Date
2016-04
Language
English
Citation

31st Annual ACM Symposium on Applied Computing, SAC 2016, pp.1562 - 1565

DOI
10.1145/2851613.2851977
URI
http://hdl.handle.net/10203/313201
Appears in Collection
CS-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0