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 条

[31] Non-Blocking Synchronization Between Real-Time and Non-Real-Time Applications [J].

Ruiz, Alejandro Perez ;

Rivas, Mario Aldea ;

Harbour, Michael Gonzalez .

IEEE ACCESS, 2020, 8 :147618-147634

[32] Real-Time Simulation in Non Real-Time Environment [J].

Tarnawski, Jaroslaw ;

Karla, Tomasz .

2016 21ST INTERNATIONAL CONFERENCE ON METHODS AND MODELS IN AUTOMATION AND ROBOTICS (MMAR), 2016, :577-582

[33] Flexible real-time architecture for hybrid mobile robotic applications [J].

Hassan, H ;

Crespo, A ;

Simó, J .

ARTIFICIAL INTELLIGENCE IN REAL-TIME CONTROL 2000, 2001, :271-278

[34] Guidelines for supporting real-time multi-touch applications [J].

Richardson, Thomas ;

Burd, Liz ;

Smith, Shamus .

SOFTWARE-PRACTICE & EXPERIENCE, 2014, 44 (08) :931-949

[35] An adaptive model for programming distributed real-time applications in CORBA [J].

Montez, C ;

de Oliveira, RS ;

Fraga, J .

SCCC'98 - XVIII INTERNATIONAL CONFERENCE OF THE CHILEAN SOCIETY OF COMPUTER SCIENCE, PROCEEDINGS, 1998, :122-129

[36] A Predictive Control Scheme for Real-Time Demand Response Applications [J].

Lampropoulos, Ioannis ;

Baghina, Nadina ;

Kling, Wil L. ;

Ribeiro, Paulo F. .

IEEE TRANSACTIONS ON SMART GRID, 2013, 4 (04) :2049-2060

[37] Electrical Tomography Hardware Systems for Real-Time Applications: a Review [J].

Tiwari, Varun Kumar ;

Meribout, Mahmoud ;

Khezzar, Lyes ;

Alhammadi, Khalid ;

Tarek, Mohamed .

IEEE ACCESS, 2022, 10 :93933-93950

[38] Minimizing End-to-End Delay on Real-Time Applications [J].

Mishra, Tapas Kumar ;

Tripathi, Sachin .

WIRELESS PERSONAL COMMUNICATIONS, 2019, 107 (01) :41-55

[39] Minimizing End-to-End Delay on Real-Time Applications [J].

Tapas Kumar Mishra ;

Sachin Tripathi .

Wireless Personal Communications, 2019, 107 :41-55

[40] ObsCon: Integrated Monitoring and Control for Parallel, Real-time Applications [J].

Nussbaum, Alan ;

Choodamani, Shwetha Mathangi Chandra ;

Schwan, Karsten .

2015 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING - CLUSTER 2015, 2015, :474-477

← 1 2 3 4 5 →