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 条
  • [41] Time requirement specification in the graphical design of real-time software
    Skubich, JJ
    Schwarz, JJ
    Maranzana, M
    Szmuc, T
    CONTROL ENGINEERING PRACTICE, 1996, 4 (02) : 207 - 215
  • [42] Scheduling in Real-Time Mobile Systems
    Chen, Cong
    Hong, Zhong
    Jiang, Jian-Min
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2022, 21 (03)
  • [43] Digital Neuromorphic Design of a Liquid State Machine for Real-Time Processing
    Polepalli, Anvesh
    Soures, Nicholas
    Kudithipudi, Dhireesha
    2016 IEEE INTERNATIONAL CONFERENCE ON REBOOTING COMPUTING (ICRC), 2016,
  • [44] Incremental Feature Forest for Real-Time SLAM on Mobile Devices
    Guo, Yuke
    Pei, Yuru
    PATTERN RECOGNITION AND COMPUTER VISION (PRCV 2018), PT I, 2018, 11256 : 431 - 438
  • [45] Real-Time Fully Incremental Scene Understanding on Mobile Platforms
    Wald, Johanna
    Tateno, Keisuke
    Sturm, Juergen
    Navab, Nassir
    Tombari, Federico
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2018, 3 (04): : 3402 - 3409
  • [46] State estimator design for real-time controlled restraint systems
    van der Laan, Ewout
    Veldpaus, Frans
    van Schie, Cees
    Steinbuch, Maarten
    2007 AMERICAN CONTROL CONFERENCE, VOLS 1-13, 2007, : 4404 - +
  • [47] Incremental Similarity for real-time on-line incremental learning systems
    Reznakova, Marta
    Tencer, Lukas
    Cheriet, Mohamed
    PATTERN RECOGNITION LETTERS, 2016, 74 : 61 - 67
  • [48] Design of a Real-Time ECG Filter for Portable Mobile Medical Systems
    Li, Jianqiang
    Deng, Genqiang
    Wei, Wei
    Wang, Huihui
    Ming, Zhong
    IEEE ACCESS, 2017, 5 : 696 - 704
  • [49] SYSTEM REQUIREMENTS SPECIFICATION FOR REAL-TIME SYSTEMS.
    Uhrig, J.L.
    1978, : 241 - 246
  • [50] Specification and modeling of dynamic, distributed real-time systems
    Welch, LR
    Ravindran, B
    Shirazi, BA
    Bruggeman, C
    19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1998, : 72 - 81
12345