A Comprehensive Formalization of AADL with Behavior Annex

被引：0
|
作者：
Tan, Yu [1 ]
Zhao, Yongwang [2 ]
Ma, Dianfu [3 ]
Zhang, Xuejun [1 ]
机构：
[1] Beijing Institute of Control and Electronic Technology, Beijing,100038, China
[2] College of Computer Science and Technology, School of Cyber Science and Technology, Zhejiang University, Hangzhou,310058, China
[3] State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University, Beijing,100191, China
来源：
Scientific Programming | 2022年 / 2022卷
关键词：
723.5 Computer Applications - 914 Safety Engineering;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
26
引用
收藏
相关论文
共 50 条
  • [1] A Comprehensive Formalization of AADL with Behavior Annex
    Tan, Yu
    Zhao, Yongwang
    Ma, Dianfu
    Zhang, Xuejun
    SCIENTIFIC PROGRAMMING, 2022, 2022
  • [2] Towards a Formal Semantics for the AADL Behavior Annex
    Yang, Zhibin
    Hu, Kai
    Ma, Dianfu
    Pi, Lei
    DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2009, : 1166 - +
  • [3] A BEHAVIOR ANNEX FOR AADL USING THE DEVS FORMALISM
    Ahmad, Ehsan M.
    Sarjoughian, Hessam
    2019 SPRING SIMULATION CONFERENCE (SPRINGSIM), 2019,
  • [4] Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension
    Xu, Jinmiao
    Yang, Zhibin
    Huang, Zhiqiu
    Zhou, Yong
    Liu, Chengwei
    Xue, Lei
    Bodeveix, Jean-Paul
    Filali, Mamoun
    PROCEEDINGS OF THE 2018 16TH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2018, : 88 - 98
  • [5] Test Case Automatic Generation Research Based on AADL Behavior Annex
    Yang, Yu-Lan
    Qian, Hong-Bing
    Li, Yang-Zhao
    ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT I, 2011, 7002 : 137 - +
  • [6] An Implementation of the Behavior Annex in the AADL-toolset Osate2
    Lasnier, Gilles
    Pautet, Laurent
    Hugues, Jerome
    Wrage, Lutz
    2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2011, : 332 - 337
  • [7] The AADL behaviour annex -: experiments and roadmap
    Franca, Ricardo Bedin
    Bodeveix, Jean-Paul
    Filali, Mamoun
    Rolland, Jean-Francois
    Chemouil, David
    Thomas, Dave
    12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 377 - +
  • [8] Development of a Parser for the AADL Error Model Annex
    Gabsi, Wafa
    Zalila, Bechir
    Jmaiel, Mohamed
    2017 16TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS 2017), 2017, : 233 - 238
  • [9] AADS plus : AADL Simulation including the Behavioral Annex
    Varona-Gomez, Roberto
    Villar, Eugenio
    2010 15TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2010), 2010, : 379 - 384
  • [10] AADL Behavioral Annex Based on Generalized Rewriting Logic
    Benammar, Malika
    Belala, Faiza
    Latreche, Fateh
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE: RCIS 2008, 2007, : 1 - +
12345