Interface specification assurance methods

被引:0
|
作者
Jin, Naiyong
Ni, Taoyong
机构
来源
ISQED 2007: Proceedings of the Eighth International Symposium on Quality Electronic Design | 2007年
关键词
component-based methodology; specification assurance; PSL; SAT;
D O I
暂无
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
PSL supports property inheritance by verification units. The lack of formal semantics of the inherit operator is an obstacle to reduce the complexity of system design and verification. This paper presents a verification-layer specification assurance tool. Based on the component-based design methodology, we propose a principled organization of component specifications, and apply SAT solvers to verify the consistency of specifications, the compatibility of components, the refinement relation among specifications, and the correctness of specification inheritance. We also discuss the implementation aspect of such a tool.
引用
收藏
页码:269 / 274
页数:6
相关论文
共 50 条
  • [41] Systematic Testing of a ROS Interface Specification Backend
    Mey, Johannes
    Podlubne, Ariel
    Schoene, Rene
    Gottschaldt, Paul
    Gohringer, Diana
    Assmann, Uwe
    PROCEEDINGS OF 2024 IEEE/ACM 6TH INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING, ROSE 2024, 2024, : 25 - 30
  • [42] INTERACTIVE SPECIFICATION OF FLEXIBLE USER INTERFACE DISPLAYS
    HUDSON, SE
    MOHAMED, SP
    ACM TRANSACTIONS ON INFORMATION SYSTEMS, 1990, 8 (03) : 269 - 288
  • [43] GRAPHICAL SPECIFICATION OF FLEXIBLE USER INTERFACE DISPLAYS
    HUDSON, SE
    PROCEEDINGS OF THE ACM SIGGRAPH SYMPOSIUM ON USER INTERFACE SOFTWARE AND TECHNOLOGY, 1989, : 105 - 114
  • [44] ISML: An interface specification meta-language
    Crowle, S
    Hole, L
    INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, 2003, 2844 : 362 - 376
  • [45] INTERFACE SPECIFICATION FOR AMPLIFIERS AND DIRECT RADIATOR LOUDSPEAKERS
    ASHLEY, JR
    JOURNAL OF THE AUDIO ENGINEERING SOCIETY, 1972, 20 (08): : 687 - &
  • [46] A graphical user interface for Boolean query specification
    Jones S.
    Mclnnes S.
    Staveley M.S.
    International Journal on Digital Libraries, 1999, 2 (2-3) : 207 - 223
  • [47] A uniform specification of mixed reality interface components
    Figueroa, Pablo
    Dachselt, Raimund
    Lindt, Irma
    IEEE VIRTUAL REALITY 2006, PROCEEDINGS, 2006, : 289 - +
  • [48] Intelligent graphical interface for tunnel support specification
    Brown, David C.
    Salazar, Guillermo F.
    Liu, Shawna X.
    Proceedings of the World Congress on Expert Systems, 1991,
  • [49] IBDL: A language for interface behavior specification and testing
    Viswanadha, S
    Kapur, D
    PROCEEDINGS OF THE FOURTH USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS: COOTS, 1998, : 235 - 248
  • [50] Towards hybrid interface specification for virtual environments
    Massink, M
    Duke, D
    Smith, S
    DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99, 1999, : 30 - 51