Event-B: From Systems to Sub-systems Modeling

被引：0
|
作者：
Kraibi, Kenza [1 ]
机构：
[1] Inst Rech Technol Railenium, F-59300 Famars, France
来源：
RIGOROUS STATE-BASED METHODS, ABZ 2020 | 2020年 / 12071卷
关键词：
DECOMPOSITION;
D O I：
10.1007/978-3-030-48077-6_35
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：418 / 422
页数：5
相关论文
共 50 条
  • [1] Event-B Decomposition Analysis for Systems Behavior Modeling
    Kraibi, Kenza
    Ben Ayed, Rahma
    Rehm, Joris
    Collart-Dutilleul, Simon
    Bon, Philippe
    Petit, Dorian
    ICSOFT: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES, 2019, : 278 - 286
  • [2] Modeling of Timing Constraints in Hybrid Systems Using Event-B
    Su, Wen
    IEEE TRANSACTIONS ON RELIABILITY, 2020, 69 (02) : 581 - 593
  • [3] Modeling and Verifying Imprecise Requirements of Systems Using Event-B
    Hong Anh Le
    Loan Dinh Thi
    Ninh Thuan Truong
    KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2013), VOL 1, 2014, 244 : 313 - 325
  • [4] Modelling Resilient Systems-of-Systems in Event-B
    Laibinis, Linas
    Pereverzeva, Inna
    Troubitsyna, Elena
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2014, 8696 : 157 - 166
  • [5] Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks
    Banach, Richard
    Butler, Michael
    FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2016, 2016, 10009 : 90 - 105
  • [6] Modeling and Proof of Event-driven Interaction in Multi Agent Systems in Event-B
    Negreanu, Lorina
    Popovici, Matei
    19TH INTERNATIONAL CONFERENCE ON CONTROL SYSTEMS AND COMPUTER SCIENCE (CSCS 2013), 2013, : 180 - 183
  • [7] Automated testing reactive systems from Event-B model
    Dieu Huong Vu
    Anh Hoang Truong
    Chiba, Yuki
    Aoki, Toshiaki
    2017 4TH NAFOSTED CONFERENCE ON INFORMATION AND COMPUTER SCIENCE (NICS), 2017, : 207 - 212
  • [8] Incremental Design of Distributed Systems with Event-B
    Butler, Michael
    ENGINEERING METHODS AND TOOLS FOR SOFTWARE SAFETY AND SECURITY, 2009, 22 : 131 - 159
  • [9] Timing modeling of latch-controlled sub-systems
    Do, Kyung Tae
    Kim, Young Hwan
    Son, Haeng Seon
    INTEGRATION-THE VLSI JOURNAL, 2007, 40 (02) : 62 - 73
  • [10] Modeling of a Traditional Aircraft Generator and Its Sub-systems
    Dinesh, Gopalasetti
    Adithya, B. Viswa
    Vedula, Sastry V.
    2015 IEEE INTERNATIONAL CONFERENCE ON ELECTRICAL, COMPUTER AND COMMUNICATION TECHNOLOGIES, 2015,
12345