TY - GEN
T1 - Modeling and analysis of thread-pools in an industrial communication platform
AU - De Boer, Frank S.
AU - Grabe, Immo
AU - Jaghoori, Mohammad Mahdi
AU - Stam, Andries
AU - Yi, Wang
PY - 2009
Y1 - 2009
N2 - Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other, which urges the need to analyze these differences in a formal manner. We use an object-oriented paradigm to model different thread pools in the context of the ASK system, an industrial communication platform. We use behavioral interfaces, high-level behavioral specifications for the objects, as a starting-point for analysis. Based on these behavioral interfaces, functional aspects are modeled in Creol, a high-level modeling language for concurrent objects. We use Uppaal to create real-time models and to perform schedulability analysis with respect to the behavioral interfaces. We finally check conformance between the real-time and Creol models using test-cases generated from the behavioral interfaces.
AB - Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other, which urges the need to analyze these differences in a formal manner. We use an object-oriented paradigm to model different thread pools in the context of the ASK system, an industrial communication platform. We use behavioral interfaces, high-level behavioral specifications for the objects, as a starting-point for analysis. Based on these behavioral interfaces, functional aspects are modeled in Creol, a high-level modeling language for concurrent objects. We use Uppaal to create real-time models and to perform schedulability analysis with respect to the behavioral interfaces. We finally check conformance between the real-time and Creol models using test-cases generated from the behavioral interfaces.
UR - https://www.scopus.com/pages/publications/78249243214
U2 - 10.1007/978-3-642-10373-5_19
DO - 10.1007/978-3-642-10373-5_19
M3 - 会议稿件
AN - SCOPUS:78249243214
SN - 3642103723
SN - 9783642103728
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 367
EP - 386
BT - Formal Methods and Software Engineering - 11th International Conference on Formal Engineering Methods, ICFEM 2009, Proceedings
T2 - 11th International Conference on Formal Engineering Methods, ICFEM 2009
Y2 - 9 December 2009 through 12 December 2009
ER -