Modular design of real-time systems using hierarchical communicating real-time state machines

被引：6
|
作者：
Furfaro, A [1 ]
Nigro, L [1 ]
Pupo, F [1 ]
机构：
[1] Univ Calabria, Lab Ingn Software, Dipartimento Elettron Informat & Sistemist, I-87036 Arcavacata Di Rende, CS, Italy
来源：
REAL-TIME SYSTEMS | 2006年 / 32卷 / 1-2期
关键词：
modular modelling; hierarchical state machines; real-time constrains; prototyping; assertions; integrated development environment; !text type='Java']Java[!/text;
D O I：
10.1007/s11241-006-5318-0
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper proposes a methodology for the development of distributed real-time systems. The methodology consists of the Hierarchical Communicating Real-Time State Machines (H-CRSM) modelling language, and the VIOLIN toolset. H-CRSM combines Statecharts constructs with CSP-like timed communications. VIOLIN provides a visual environment supporting in a seamless way all the life-cycle development phases of an H-CRSM system. Temporal validation rests on assertion checking during system simulation. Code generation is based on Java and a customizable runtime. The practical use of H-CRSM/VIOLIN is shown by an example.
引用
收藏
页码：105 / 123
页数：19
相关论文
共 50 条
  • [1] Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines
    Angelo Furfaro
    Libero Nigro
    Francesco Pupo
    [J]. Real-Time Systems, 2006, 32 : 105 - 123
  • [2] COMMUNICATING REAL-TIME STATE MACHINES
    SHAW, AC
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (09) : 805 - 816
  • [3] Model checking hierarchical communicating Real-Time State Machines
    Furfaro, Angelo
    Nigro, Libero
    [J]. ETFA 2005: 10th IEEE International Conference on Emerging Technologies and Factory Automation, Vol 1, Pts 1 and 2, Proceedings, 2005, : 365 - 370
  • [4] Timed verification of hierarchical communicating real-time state machines
    Furfaro, Angelo
    Nigro, Libero
    [J]. COMPUTER STANDARDS & INTERFACES, 2007, 29 (06) : 635 - 646
  • [5] Real-time systems development using hierarchical state machines
    Furfaro, A
    Nigro, L
    Pupo, F
    [J]. MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2003, 2789 : 110 - 121
  • [6] Prototyping distributed multimedia systems using communicating real-time state machines
    Fortino, G
    Nigro, L
    [J]. EUROMICRO RTS 2000: 12TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2000, : 273 - 280
  • [7] Hazard Analysis of Real-time Safety Critical Systems using Hierarchical Communication Real-Time State Machines Formal Model
    Bakr, Ahmed M.
    Fouda, Mostafa M.
    Salama, May
    Alsammak, Abdelwahab K.
    Yahia, Hossam
    [J]. 2017 12TH INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND SYSTEMS (ICCES), 2017, : 628 - 634
  • [8] Temporal verification of Communicating Real-Time State Machines using Uppaal
    Furfaro, A
    Nigro, L
    [J]. 2003 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, VOLS 1 AND 2, PROCEEDINGS, 2003, : 399 - 404
  • [9] Supporting communicating real-time state machines by a customisable actor kernel
    Fortino, G
    Nigro, L
    Pupo, F
    [J]. REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 117 - 122
  • [10] MULTICAST CONGESTION CONTROL SRMSH APPROACH USING COMMUNICATING REAL-TIME STATE MACHINES
    Bonastre, O. M.
    Neville, S.
    Palau, C. E.
    [J]. INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, 2010, 20 (09): : 2965 - 2973
12345