A Model-Based Certification Framework for the EnergyBus Standard

被引：0
|
作者：
Graf-Brill, Alexander [1 ]
Hermanns, Holger [1 ]
Garavel, Hubert [2 ,3 ,4 ]
机构：
[1] Univ Saarland, Dept Comp Sci, D-66123 Saarbrucken, Germany
[2] Inst Natl Rech Informat & Automat, F-35042 Rennes, France
[3] Univ Grenoble Alpes, LIG, F-38000 Grenoble, France
[4] CNRS, LIG, F-38000 Grenoble, France
来源：
FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS | 2014年 / 8461卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The EnergyBus is an upcoming industrial standard for electric power transmission and management, based on the CANopen field bus. This paper reviews the particularities of the EnergyBus architecture and reports on the application of formal methods and protocol engineering tools to build a model-based conformance testing framework that is considered to become part of the certification process for EnergyBus-compliant products.
引用
收藏
页码：84 / 99
页数：16
相关论文
共 50 条
  • [1] PHYLOG: a model-based certification framework
    Boniol, Frederic
    Bouchebaba, Youcef
    Brunel, Julien
    Delmas, Kevin
    Pagetti, Claire
    Polacsek, Thomas
    Sensfelder, Nathanael
    [J]. 2018 IEEE/AIAA 37TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2018, : 1338 - 1346
  • [2] A model-based standard for SDL
    Prinz, Andreas
    Scheidgen, Markus
    Tveit, Merete S.
    [J]. SDL 2007: DESIGN FOR DEPENDABLE SYSTEMS, PROCEEDINGS, 2007, 4745 : 1 - +
  • [3] Dependability certification of services: a model-based approach
    Claudio A. Ardagna
    Ravi Jhawar
    Vincenzo Piuri
    [J]. Computing, 2015, 97 : 51 - 78
  • [4] Trustworthy Cloud Certification: A Model-Based Approach
    Anisetti, Marco
    Ardagna, Claudio A.
    Damiani, Ernesto
    El Ioini, Nabil
    [J]. DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS, SIMPDA 2014, 2015, 237 : 107 - 122
  • [5] Model-based Product-Oriented Certification
    Dechev, Damian
    Stroustrup, Bjarne
    [J]. 16TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2009, : 295 - 304
  • [6] Dependability certification of services: a model-based approach
    Ardagna, Claudio A.
    Jhawar, Ravi
    Piuri, Vincenzo
    [J]. COMPUTING, 2015, 97 (01) : 51 - 78
  • [7] Model-Based IMA Platform Development and Certification Ecosystem
    Uludag, Yildiz
    Bayoglu, Ozleyis
    Candan, Bulent
    Yilmaz, Hakan
    [J]. 2023 IEEE/AIAA 42ND DIGITAL AVIONICS SYSTEMS CONFERENCE, DASC, 2023,
  • [8] Evaluating OpenCL as a Standard Hardware Abstraction for a Model-based Synthesis Framework: A Case Study
    Rafique, Omair
    Schneider, Klaus
    [J]. MODELSWARD: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2019, 2019, : 386 - 393
  • [9] A framework for model-based integrated inspection
    Liu, Rui
    Duan, Gui-jiang
    Liu, Jian
    [J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2019, 103 (9-12): : 3643 - 3665
  • [10] A framework for model-based integrated inspection
    Rui Liu
    Gui-jiang Duan
    Jian Liu
    [J]. The International Journal of Advanced Manufacturing Technology, 2019, 103 : 3643 - 3665
12345