A formal design notation for real-time systems

被引：7
|
作者：
Felder, M
Pezzè, M
机构：
[1] Univ Buenos Aires, FCEN, Dept Computac, RA-1428 Buenos Aires, DF, Argentina
[2] Univ Milan, Dipartimento Informat, I-2026 Milan, Italy
来源：
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY | 2002年 / 11卷 / 02期
关键词：
design; formal design specification; design of real time systems; structured design; formal analysis of design specification;
D O I：
10.1145/505145.505146
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The development of real-time systems is based on a variety of different methods and notations. Despite the purported benefits of formal methods, informal techniques still play a predominant role in current industrial practice. Formal and informal methods have been combined in various ways to smoothly introduce formal methods in industrial practice. The combination of real-time structured analysis (SA-RT) with Petri nets is among the most popular approaches, but has been applied only to requirements specifications. This paper extends SA-RT to specifications of the detailed design of embedded real-time systems, and combines the proposed notation with Petri nets.
引用
收藏
页码：149 / 190
页数：42
相关论文
共 50 条
  • [1] A formal design language for real-time systems with data
    Bradley, S
    Henderson, W
    Kendall, D
    Robson, A
    SCIENCE OF COMPUTER PROGRAMMING, 2001, 40 (01) : 3 - 29
  • [2] Signal: A formal design environment for real-time systems
    LeGuernic, P
    TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 789 - 790
  • [3] A practical approach to formal design of real-time systems
    Baresi, L
    Braberman, V
    Felder, M
    Pezze, M
    Piezianek, F
    INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 1014 - 1019
  • [4] Formal platform-independent design of real-time systems
    Sintotski, A
    Hammer, DK
    van Roosmalen, O
    Hooman, J
    13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2001, : 163 - 170
  • [5] AUTOMATED SUPPORT FOR THE FORMAL SPECIFICATION AND DESIGN OF REAL-TIME SYSTEMS
    HOSTUART, C
    ZEDAN, H
    FANG, M
    MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 79 - 86
  • [6] An ADL centric approach for the formal design of real-time systems
    Faucou, S
    Déplanche, AM
    Trinquet, Y
    Architecture Description Languages, 2004, 176 : 67 - 82
  • [7] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
    GORSKI, J
    COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
  • [8] Formal methods in real-time systems
    Olderog, ER
    10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS, 1998, : 254 - 263
  • [9] FORMAL METHODS FOR THE SPECIFICATION AND DESIGN OF REAL-TIME SAFETY CRITICAL SYSTEMS
    OSTROFF, JS
    JOURNAL OF SYSTEMS AND SOFTWARE, 1992, 18 (01) : 33 - 60
  • [10] Integration of formal verification with real-time design
    Krasovec, G
    Shankar, N
    Ward, P
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 128 - 136
12345