Incremental design of a state machine specification for mobile and real-time systems

被引：0
|
作者：
Itabashi, G [1 ]
Takahashi, K [1 ]
Kato, Y [1 ]
Suganuma, T [1 ]
Shiratori, N [1 ]
机构：
[1] Tohoku Univ, Scientis Corp, Grad Sch Informat Sci, Sendai, Miyagi 980, Japan
来源：
19th International Conference on Advanced Information Networking and Applications, Vol 1, Proceedings: AINA 2005 | 2005年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We introduce an inheritance concept into a specification method of mobile and real-time systems in order to reuse and refine existing specifications. Reusability by inheritance is emphasized in this paper. We take multiple inheritance to enable to reuse several specifications at a time. An upper specification can be skillfully divided into inherited parts and non-inherited ones. Therefore, a necessary part of the specification can be reused for a lower specification. As an application, the FIPA contract net interaction protocol is specified incrementally by using our method. We have been developing support tools for specifications described using our proposed method.
引用
收藏
页码：99 / 104
页数：6
相关论文
共 50 条
  • [31] Parallel real-time systems: Formal specification
    Choudhary, AN
    Gehlot, V
    Narahari, B
    FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS, 1997, : 186 - 191
  • [32] Specification and timing analysis of real-time systems
    Wang, SH
    Tsai, G
    REAL-TIME SYSTEMS, 2004, 28 (01) : 69 - 90
  • [33] Specification and analysis of real-time systems with PARAGON
    Sokolsky, O
    Lee, I
    Ben-Abdallah, H
    ANNALS OF SOFTWARE ENGINEERING, 1999, 7 : 211 - 234
  • [34] Incremental satisfiability counting for real-time systems
    Andrei, T
    Chin, WN
    RTAS 2004: 10TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2004, : 482 - 489
  • [35] An incremental verification algorithm for real-time systems
    Sahay, A
    Tsai, JJP
    Sistla, AP
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1999, 9 (02) : 203 - 216
  • [36] Object-oriented specification and design of embedded hard real-time systems
    Nebel, W
    Oppenheimer, F
    Schumacher, G
    Kabous, L
    Radetzki, M
    Putzke-Röming, W
    SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES, 2001, : 285 - 296
  • [37] Towards standard-based specification and design of embedded real-time systems
    Gumzej, R
    Colnaric, M
    Verber, D
    Halang, WA
    24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2, 1998, : 453 - 460
  • [38] Modular design of real-time systems using hierarchical communicating real-time state machines
    Furfaro, A
    Nigro, L
    Pupo, F
    REAL-TIME SYSTEMS, 2006, 32 (1-2) : 105 - 123
  • [39] Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines
    Angelo Furfaro
    Libero Nigro
    Francesco Pupo
    Real-Time Systems, 2006, 32 : 105 - 123
  • [40] Scheduling and mapping in an incremental design methodology for distributed real-time embedded systems
    Pop, P
    Eles, P
    Peng, Z
    Pop, T
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2004, 12 (08) : 793 - 811
12345