A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

被引：14

作者：

Akhlaki, K. Benghazi ^{[1
]}

Tunon, M. I. Capel

Terriza, J. A. Holgado

Morales, L. E. Mendoza

机构：

[1] Univ Granada, Dept Lenguajes & Sistemas Informat, ETSI Informat & Telecomunicac, E-18071 Granada, Spain

[2] Univ Simon Bolivar, Dept Proc & Sistemas, Caracas 1080A, Venezuela

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2007年 / 65卷 / 01期

关键词：

CSP plus T; formal specification; real-time software systems; UML-RT;

D O I：

10.1016/j.scico.2006.08.005

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

By following a methodological approach, introduced in a previous work, a correct system specification in terms of CSP+T process algebra is systematically obtained from the UML-RT model of a real-time software system. Among other contributions, this article aims at integrating collaboration diagrams into our approach to facilitate the specification of capsules in UML-RT design models. Thus, an improved systematic transformation procedure for deriving a correct and complete formal system specification of real-time systems is established here. Temporal requirements integration in the design and system specification stages of a real-time system is also addressed, so that the approach now opens up the possibility of carrying out scheduling and dependability analysis at the design phase of the system development life cycle for hard real-time systems. The article also discusses a practical application to present a systematic transformation from a UML-RT model of a well known manufacturing-industry paradigmatic case, the "Production Cell". (c) 2006 Elsevier B.V. All rights reserved.

引用

页码：41 / 56

页数：16

共 50 条

[1] Consistent design of embedded real-time systems with UML-RT
Küster, JM
Stroop, J
[J]. FOURTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2001, : 31 - 40
[2] From UML-RT models to a graphical design environment of real-time multitasking
Liu Xiaoyan
Zhang Yunsheng
Schwarz, Jean Jacques
Li Junchang
[J]. PROCEEDINGS OF THE 26TH CHINESE CONTROL CONFERENCE, VOL 3, 2007, : 164 - +
[3] UML-RT as a candidate for modeling embedded real-time systems in the telecommunication domain
Herzberg, D
[J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 330 - 338
[4] Modelling and Code Generation for Real-Time Embedded Systems with UML-RT and Papyrus-RT
Hili, Nicolas
Dingel, Juergen
Beaulieu, Alain
[J]. PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), 2017, : 509 - 510
[5] Combining the description features of UML-RT and CSP+T specifications applied to a complete design of real-time systems
Akhlaki, KB
Capel-Tuñón, MI
[J]. ENFORMATIKA, VOL 7: IEC 2005 PROCEEDINGS, 2005, : 193 - 198
[6] Combining the Description Features of UML-RT and CSP plus T Specifications Applied to a Complete Design of Real-Time Systems
Akhlaki, Kawtar Benghazi
Capel-Tunon, Manuel I.
[J]. PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 7, 2005, 7 : 193 - 198
[7] Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications
Akhlaki, K. Benghazi
Tunon, M. I. Capel
Terriza, J. A. Holgado
[J]. ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 290 - +
[8] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
GORSKI, J
[J]. COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
[9] UML specification of real-time imaging systems
Neill, CJ
Laplante, PA
[J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT II, 2002, : 273 - 277
[10] AUTOMATED SUPPORT FOR THE FORMAL SPECIFICATION AND DESIGN OF REAL-TIME SYSTEMS
HOSTUART, C
ZEDAN, H
FANG, M
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 79 - 86

← 1 2 3 4 5 →