MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces

被引：0
|
作者：
Bauer, Sebastian S. [1 ]
Mayer, Philip [1 ]
Legay, Axel [2 ]
机构：
[1] Univ Munich, Munich, Germany
[2] INRIA IRISA, Rennes, France
来源：
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS | 2011年 / 6996卷
关键词：
COMPATIBILITY;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Modal Input/Output interfaces (MIOs) is a new specification theory for systerns communicating via inputs and outputs. The approach combines the advantages of both modal automata and interface automata, two dominant specification theories for component-based design. This paper presents the MIO Workbench that is the first complete implementation of the MIO theory.
引用
收藏
页码：418 / +
页数：2
相关论文
共 50 条
  • [1] On Weak Modal Compatibility, Refinement, and the MIO Workbench
    Bauer, Sebastian S.
    Mayer, Philip
    Schroeder, Andreas
    Hennicker, Rolf
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2010, 6015 : 175 - 189
  • [2] Unifying modal interface theories and compositional input/output conformance testing
    Luthmann, Lars
    Mennicke, Stephan
    Lochau, Malte
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2019, 172 : 27 - 47
  • [3] DESIGN OF INPUT OUTPUT MODAL CONTROLLERS FOR THE LINEAR PLANT
    VORONOV, AA
    [J]. DOKLADY AKADEMII NAUK, 1992, 325 (04) : 674 - 678
  • [4] DESIGN OF MULTIPLE INPUT OUTPUT MODAL-ANALYSIS INSTRUMENTATION
    VANDERAUWERAER, HD
    VANHERCK, P
    SNOEYS, R
    [J]. IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 1987, 36 (03) : 743 - 749
  • [5] Design of Video Processing Platform with Interchangeable Input-Output Interfaces
    Taron, Kaplanyan K.
    Lusine, Mikaelyan A.
    Artur, Petrosyan A.
    Arsen, Momjyan M.
    Narek, Shukhyan S.
    Vardan, Amiryan H.
    Suren, Avushyan A.
    [J]. 2019 IEEE 39TH INTERNATIONAL CONFERENCE ON ELECTRONICS AND NANOTECHNOLOGY (ELNANO), 2019, : 201 - 205
  • [6] The design for environmental compliance workbench tool
    Roche, T
    [J]. Product Engineering: Eco-Design, Technologies and Green Energy, 2004, : 3 - 16
  • [7] A modal interface contract theory for guarded input/output automata with an application in traffic system design
    Tung Phan-Minh
    Guo, Steve
    Schurmann, Bastian
    Althoff, Matthias
    Murray, Richard M.
    [J]. 2019 AMERICAN CONTROL CONFERENCE (ACC), 2019, : 1704 - 1711
  • [8] Sound and mechanised compositional verification of input-output conformance
    Sampaio, Augusto
    Nogueira, Sidney
    Mota, Alexandre
    Isobe, Yoshinao
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2014, 24 (04): : 289 - 319
  • [9] Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs
    Penninckx, Willem
    Jacobs, Bart
    Piessens, Frank
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2015, 9032 : 158 - 182
  • [10] Input and output interfaces between RSFQ and semiconductor circuits
    Koch, R
    Jutzi, W
    [J]. PHYSICA C-SUPERCONDUCTIVITY AND ITS APPLICATIONS, 1999, 326-27 : 122 - 132
12345