Real-Time Process Algebra and its applications

被引：0
作者：
Wang, YX [1 ]
机构：
[1] Univ Calgary, Dept Elect & Comp Engn, Theoret & Empir Software Engn Res Ctr, Calgary, AB T2N 1N4, Canada
来源：
FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT | 2003年 / 2757卷
关键词：
software engineering; descriptive mathematics; formal methods; real-time systems; algebraic specification; 3-D problems; architecture specification; static/dynamic behaviors specification;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
It is recognized that human and system behaviors may be modeled by a 3-D process comprising actions, time, and space. Software behaviors, similarly, can be modeled in the three dimensions known as the mathematical operations, event/process timing, and memory manipulation. This paper introduces Real-Time Process Algebra (RTPA) as a coherent software engineering notation system. RTPA is used to address the 3-D problem in software system description and specification in terms of architecture, static and dynamic behaviors. Case studies on applications of RTPA in real-time system modeling and specification are provided in this paper with real-world examples.
引用
收藏
页码：322 / 336
页数：15
相关论文
共 50 条
[41]   802.5 PRIORITY MECHANISM IN HARD REAL-TIME RMS APPLICATIONS [J].
SANTOS, J ;
GASTAMINZA, ML ;
OROZCO, J ;
MATRANGOLO, C .
COMPUTER COMMUNICATIONS, 1994, 17 (06) :439-442
[42]   Enhanced Classification System for Real-Time Embedded Vision Applications [J].
Khelifi, Ramzi ;
Nini, Brahim ;
Berkane, Mohamed .
IEEE ACCESS, 2024, 12 :162311-162326
[43]   Thermal imaging systems for real-time applications in smart cities [J].
Gade, Rikke ;
Moeslund, Thomas B. ;
Nielsen, Soren Zebitz ;
Skov-Petersen, Hans ;
Andersen, Hans Jorgen ;
Basselbjerg, Kent ;
Dam, Hans Thorhauge ;
Jensen, Ole B. ;
Jorgensen, Anders ;
Lahrmann, Harry ;
Madsen, Tanja Kidholm Osmann ;
Bala, Esben Skouboe ;
Povey, Bo O. .
INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2016, 53 (04) :291-308
[44]   CUPiDRT: Detecting Improper GPU Usage in Real-Time Applications [J].
Amert, Tanya ;
Anderson, James H. .
2021 IEEE 24TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2021), 2021, :86-95
[45]   Scheduling security-critical real-time applications on clusters [J].
Xie, Tao ;
Qin, Xiao .
IEEE TRANSACTIONS ON COMPUTERS, 2006, 55 (07) :864-879
[46]   A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems [J].
Hanene Ben-Abdallah ;
Jin-Young Choi ;
Duncan Clarke ;
Young Si Kim ;
Insup Lee ;
Hong-Liang Xie .
Real-Time Systems, 1998, 15 :189-219
[47]   A family of resource-bound real-time process algebras [J].
Lee, I ;
Choi, JY ;
Kwak, HH ;
Philippou, A ;
Sokolsky, O .
FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, 2001, 69 :443-458
[48]   A process algebraic approach to the schedulability analysis of real-time systems [J].
Ben-Abdallah, H ;
Choi, JY ;
Clarke, D .
REAL-TIME SYSTEMS, 1998, 15 (03) :189-219
[49]   DYNAMIC ADAPTATION OF REAL-TIME SOFTWARE [J].
BIHARI, TE ;
SCHWAN, K .
ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1991, 9 (02) :143-174
[50]   Predictable real-time software synthesis [J].
Huang, Jinfeng ;
Voeten, Jeroen ;
Corporaal, Henk .
REAL-TIME SYSTEMS, 2007, 36 (03) :159-198
12345