Transformational formal development of real-time systems

被引：0
|
作者：
Lano, K
Sanchez, A
机构：
[1] Univ London Imperial Coll Sci Technol & Med, Dept Comp, London SW7 2BZ, England
[2] Univ London Imperial Coll Sci Technol & Med, Ctr Proc Syst Engn, London SW7 2BZ, England
来源：
TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT | 1997年 / 1231卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper presents techniques for the transformational formal development of reactive and real-time systems, using a combination of the VDM++ formal method and the HRT-HOOD method. A case study of a chemical control system is used to illustrate the techniques.
引用
收藏
页码：184 / 198
页数：15
相关论文
共 50 条
  • [1] TAM - A FORMAL FRAMEWORK FOR THE DEVELOPMENT OF DISTRIBUTED REAL-TIME SYSTEMS
    SCHOLEFIELD, DJ
    ZEDAN, HSM
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 411 - 428
  • [2] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
    GORSKI, J
    [J]. COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
  • [3] Formal methods in real-time systems
    Olderog, ER
    [J]. 10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS, 1998, : 254 - 263
  • [4] Formal development of a real-time kernel
    Fowler, S
    Wellings, A
    [J]. 18TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1997, : 220 - 229
  • [5] Transformational approach to the design of distributed real-time systems
    Tu, M.H.
    Yu, H.Q.
    [J]. Huadong Ligong Daxue Xuebao /Journal of East China University of Science and Technology, 2001, 27 (05):
  • [6] TRANSFORMATIONAL VS REACTIVE REFINEMENT IN REAL-TIME SYSTEMS
    ATKINSON, S
    SCHOLEFIELD, D
    [J]. INFORMATION PROCESSING LETTERS, 1995, 55 (04) : 201 - 210
  • [7] Formal analysis of real-time systems with SAM
    Yu, HQ
    He, XD
    Deng, Y
    Mo, LA
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 275 - 286
  • [8] Parallel real-time systems: Formal specification
    Choudhary, AN
    Gehlot, V
    Narahari, B
    [J]. FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS, 1997, : 186 - 191
  • [9] A formal design notation for real-time systems
    Felder, M
    Pezzè, M
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2002, 11 (02) : 149 - 190
  • [10] Integrating structured OO approaches with formal techniques for the development of real-time systems
    Chen, Z
    Cau, A
    Zedan, H
    Yang, H
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (07) : 435 - 450
12345