Integrating methods for the design of real-time systems

被引：2
|
作者：
Hooman, J [1 ]
Vain, J [1 ]
机构：
[1] INST CYBERNET,EE-0026 TALLINN,ESTONIA
来源：
JOURNAL OF SYSTEMS ARCHITECTURE | 1996年 / 42卷 / 6-7期
关键词：
conceptual modeling; formal specification; refinement; compositional verification; real-time;
D O I：
10.1016/S1383-7621(96)00036-7
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
With the aim of designing complex real-time systems, we investigate the integration of conceptual modeling techniques, formal specification, and compositional verification. A constructive transformation is defined from a conceptual meta-model to a real-time specification language. Refinement steps can be verified formally by means of compositional proof rules. The approach is illustrated by the design of a mine pump control system.
引用
收藏
页码：489 / 502
页数：14
相关论文
共 50 条
  • [1] Integrating Petri nets with design methods for concurrent and real-time systems
    Pettit, RG
    Gomaa, H
    [J]. SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 168 - 171
  • [2] Courses on software design methods for concurrent and real-time systems
    Gomaa, H
    [J]. REAL-TIME SYSTEMS EDUCATION, 1996, : 6 - 12
  • [3] Integrating real-time systems with corporate information systems
    Derynck, RR
    Hutchinson, TW
    [J]. HEWLETT-PACKARD JOURNAL, 1998, 50 (01): : 26 - 28
  • [4] Formal methods in real-time systems
    Olderog, ER
    [J]. 10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS, 1998, : 254 - 263
  • [5] DEVELOPMENT METHODS FOR REAL-TIME SYSTEMS
    HULL, MEC
    ODONOGHUE, PG
    HAGAN, BJ
    [J]. COMPUTER JOURNAL, 1991, 34 (02): : 164 - 172
  • [6] Development methods for real-time systems
    [J]. Hull, M.E.C, 1600, (34):
  • [7] FORMAL METHODS FOR THE SPECIFICATION AND DESIGN OF REAL-TIME SAFETY CRITICAL SYSTEMS
    OSTROFF, JS
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1992, 18 (01) : 33 - 60
  • [8] Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints
    Mello, Braulio A.
    Wainer, Gabriel A.
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2022, 98 (12): : 1143 - 1159
  • [9] Integrating real-time structured design and formal techniques
    Priddin, D
    Burns, A
    [J]. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 92 - 102
  • [10] DESIGN AND TESTING OF REAL-TIME SYSTEMS
    KARJALAINEN, J
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 109 - 109
12345