Analyzing partially-implemented real-time systems

被引：5

作者：

Avrunin, GS

Corbett, JC

Dillon, LK

机构：

来源：

PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING | 1997年

关键词：

real-time; concurrency; static analysis; Ada; temporal logic; hybrid systems; Graphical Interval Logic;

D O I：

10.1145/253228.253275

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We propose a method for analyzing partially-implemented real-time systems. Here we consider real-time concurrent systems for which some components are implemented in Ada and some are partially specified using regular expressions and Graphical Interval Logic (GIL), a real-time temporal logic. We show how to construct models of the partially-implemented systems that account for such properties as run-time overhead and scheduling of processes, yet support tractable analysis of nontrivial programs. The approach can be fully automated, and we illustrate it by analyzing a small example.

引用

页码：228 / 238

页数：11

共 50 条

[1] Analyzing partially-implemented real-time systems
Avrunin, GS
Corbett, JC
Dillon, LK
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (08) : 602 - 614
[2] Analyzing Parallel Real-Time Tasks Implemented with Thread Pools
Casini, Daniel
Biondi, Alessandro
Buttazzo, Giorgio
PROCEEDINGS OF THE 2019 56TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2019,
[3] A design methodology for real-time systems to be implemented on multiprocessor machines
Zhang, LC
Chaibdraa, B
JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 33 (01) : 37 - 56
[4] Testing for the Conformance of Real-time Protocols Implemented by Operating Systems
Zoebel, Dieter
Polock, David
van Arkel, Andreas
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 133 : 315 - 332
[5] Design methodology for real-time systems to be implemented on multiprocessor machines
Universite Laval, Sainte-Foy, Canada
J Syst Software, 1 (37-56):
[6] A graphical language for specifying and analyzing real-time systems
Ben-Abdallah, H
Lee, I
INTEGRATED COMPUTER-AIDED ENGINEERING, 1998, 5 (04) : 279 - 301
[7] Analyzing the security and survivability of real-time control systems
Oman, P
Krings, A
de Leon, DC
Alves-Foss, J
PROCEEDINGS FROM THE FIFTH IEEE SYSTEMS, MAN AND CYBERNETICS INFORMATION ASSURANCE WORKSHOP, 2004, : 342 - 349
[8] ANALYZING A REAL-TIME SYSTEM
WEINGART.A
COMMUNICATIONS OF THE ACM, 1966, 9 (07) : 478 - &
[9] Performance models for studying and analyzing real-time multimedia systems
Koriem, Samir M.
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2006, 15 (04) : 571 - 606
[10] Verification and Control of Partially Observable Probabilistic Real-Time Systems
Norman, Gethin
Parker, David
Zou, Xueyi
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015), 2015, 9268 : 240 - 255

← 1 2 3 4 5 →