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 条
[21]   Analysis and Design of Real-Time Servers for Control Applications [J].
Aminifar, Amir ;
Bini, Enrico ;
Eles, Petru ;
Peng, Zebo .
IEEE TRANSACTIONS ON COMPUTERS, 2016, 65 (03) :834-846
[22]   Scheduling imprecise task graphs for real-time applications [J].
Ravindran, R. C. ;
Krishna, C. Mani ;
Koren, Israel ;
Koren, Zahava .
INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2014, 6 (01) :73-85
[23]   Design of component-based real-time applications [J].
Lopez Martinez, Patricia ;
Barros, Laura ;
Drake, Jose M. .
JOURNAL OF SYSTEMS AND SOFTWARE, 2013, 86 (02) :449-467
[24]   Partitioning Real-Time Applications Over Multicore Reservations [J].
Buttazzo, Giorgio ;
Bini, Enrico ;
Wu, Yifan .
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2011, 7 (02) :302-315
[25]   Supporting soft real-time parallel applications on multiprocessors [J].
Liu, Cong ;
Anderson, James H. .
JOURNAL OF SYSTEMS ARCHITECTURE, 2014, 60 (02) :152-164
[26]   An Approach to Message Arbitration in Hard Real-Time Applications [J].
Soloviev, Vassily N. .
2008 International Conference on Telecommunications, Vols 1 and 2, 2008, :441-447
[27]   An integrated environment for developing real-time DSP applications [J].
Fainguelernt, Jacob ;
Reith, Graham ;
Sikora, Richard .
2008 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING, VOLS 1-12, 2008, :2653-+
[28]   Real-Time Outlier Detection with Dynamic Process Limits [J].
Wadinger, Marek ;
Kvasnica, Michal .
2023 24TH INTERNATIONAL CONFERENCE ON PROCESS CONTROL, PC, 2023, :138-143
[29]   RTPA: A new approach to real-time system specification [J].
Wang, YX .
IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, :663-668
[30]   SPECIFICATION OF REAL-TIME SYSTEMS [J].
PATNAIK, LM ;
MALL, R .
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) :267-285
12345