Modeling heterogeneous real-time components in BIP

被引:0
|
作者
Basu, Ananda
Bozga, Marius
Sifakis, Joseph
机构
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior specified as a set of transitions; Interactions between transitions of the behavior; Priorities, used to choose amongst possible interactions. A parameterized binary composition operator is used to compose components layer by layer. We present the BIP language for the description and composition of layered components as well as associated tools for executing and analyzing components on a dedicated platform. The language provides a powerful mechanism for structuring interactions involving rendezvous and broadcast. We show that synchronous and timed systems are particular classes of components. Finally, we provide examples and compare the BIP framework to existing ones for heterogeneous component-based modeling.
引用
收藏
页码:3 / 12
页数:10
相关论文
共 50 条
  • [1] Component-based Construction of Heterogeneous Real-time Systems in BIP
    Sifakis, Joseph
    [J]. FUTURE OF SOFTWARE ENGINEERING, 2011, : 150 - 150
  • [2] MODELING HETEROGENEOUS PROCESSOR SCHEDULING FOR REAL-TIME SYSTEMS
    LEATHRUM, JF
    MIELKE, RR
    STOUGHTON, JW
    [J]. ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1994, 11 (02) : 91 - 98
  • [3] A generic framework for modeling heterogeneous real-time systems
    He, H
    Zhong, YF
    Cai, CL
    [J]. COMPUTER STANDARDS & INTERFACES, 2005, 28 (01) : 43 - 58
  • [4] MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS
    Li, Guoquiang
    Cai, Xiaojuan
    Yuen, Shoji
    [J]. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2012, 23 (04) : 831 - 851
  • [5] Unified Modeling of Active and Reactive Components for Real-time Systems
    Shao, Zhucheng
    Liu, Jing
    Chen, Xiaohong
    Ding, Zuohua
    Yuan, Zhengheng
    [J]. 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2013, : 145 - 148
  • [6] Modeling and designing a real-time event manager in a heterogeneous distributed system
    Ariza, T
    Rubio, FR
    [J]. ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997, 1997, : 97 - 98
  • [7] Translating AADL into BIP - Application to the Verification of Real-Time Systems
    Chkouri, M. Yassin
    Robert, Anne
    Bozga, Marius
    Sifakis, Joseph
    [J]. MODELS IN SOFTWARE ENGINEERING, 2009, 5421 : 5 - 19
  • [8] Modeling of Components in Smart Distribution Systems for Real-time Security Analysis
    Xiao, Jun
    Li, Chengjin
    Jiao, Heng
    [J]. Dianli Xitong Zidonghua/Automation of Electric Power Systems, 2023, 47 (24): : 39 - 51
  • [9] Analysis of components' reliability modeling based on real-time operating conditions
    He, Jian
    Cheng, Lin
    Sun, Yuanzhang
    [J]. 2006 INTERNATIONAL CONFERENCE ON POWER SYSTEMS TECHNOLOGY: POWERCON, VOLS 1- 6, 2006, : 1637 - +
  • [10] Modeling Legacy Code with BIP: how to Reduce the Gap between Formal Description and Real-Time Implementation
    Le Nabec, Briag
    Ben Hedia, Belgacem
    Babau, Jean-Philippe
    Jan, Mathieu
    Guesmi, Hela
    [J]. 2016 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2016,