Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude

被引：0

作者：

Olveczky, Peter Csaba ^{[1
]}

Prabhakar, Pavithra ^{[2
]}

Liu, Xue ^{[3
]}

机构：

[1] Univ Oslo, Dept Informat, N-0316 Oslo, Norway

[2] Univ Illinois, Dept Comp Sci, Urbana, IL USA

[3] McGill Univ, Sch Comp Sci, Montreal, PQ H3A 0G4, Canada

来源：

2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8 | 2008年

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The "scheduling subset" of our techniques has been used to find a previously unknown subtle bug in a state-of-the-art scheduling algorithm. This paper also shows how our general techniques can be instantiated to model and analyze the well known priority inheritance protocol.

引用

页码：3774 / +

页数：2

共 50 条

[41] On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL
El Hamzaoui, Asma
En-Nouaary, Abdeslam
Bensaid, Hicham
[J]. 9TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT 2018) / THE 8TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2018) / AFFILIATED WORKSHOPS, 2018, 130 : 1005 - 1012
[42] Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
Olveczky, Peter Csaba
Thorvaldsen, Stian
[J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (2-3) : 254 - 280
[43] Modeling and analyzing mobile ad hoc networks in Real-Time Maude
Liu, Si
Olveczky, Peter Csaba
Meseguer, Jose
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 34 - 66
[44] Modeling time-triggered protocols and verifying their real-time schedules
Pike, Lee
[J]. FMCAD 2007: FORMAL METHODS IN COMPUTER AIDED DESIGN, PROCEEDINGS, 2007, : 231 - 238
[45] Real-time resource 1.0
Stone, N
[J]. HARVARD BUSINESS REVIEW, 1996, 74 (04) : 16 - 16
[46] Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages
Lin, Shiyao
Wellings, Andy
Burns, Alan
[J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2013, 25 (16): : 2227 - 2251
[47] A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude
Duran, Francisco
Olveczky, Peter Csaba
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (03) : 83 - 102
[48] Formal development of a real-time kernel
Fowler, S
Wellings, A
[J]. 18TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1997, : 220 - 229
[49] Real-Time Animation for Formal Specification
Mery, Dominique
Singh, Neeraj Kumar
[J]. COMPLEX SYSTEMS DESIGN AND MANAGEMENT, 2010, : 49 - 60
[50] CONSTRUCTING REAL-TIME MULTICHANNEL PROTOCOLS
KAPUSKOLAR, M
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 485 - 490

← 1 2 3 4 5 →