A refinement driven component-based design

被引：3
|
作者：
Chen, Zhenbang [1 ]
Liu, Zhiming [1 ]
Stolz, Volker [1 ]
Yang, Lu [1 ]
Ravn, Anders P. [2 ]
机构：
[1] United Nations Univ, Int Inst Software Technol, Tokyo, Japan
[2] Aalborg Univ, Dept Comp Sci, Aalborg, Denmark
来源：
12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS | 2007年
关键词：
software development process; object-orientation; component-based modeling; refinement;
D O I：
10.1109/ICECCS.2007.12
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Modem software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effective means to handle complexity is separation of concerns and incremental development, and assurance of dependability requires formal methods. We report here our experience on these issues in an application of a formal calculus, rCOS, to a component-based design of the point of sale system (POS). We demonstrate the possibility in scaling-up correctness by design and discuss how rCOS may be integrated with current and emerging software engineering tools. Keywords: Software development process, object-orientation, component-based modeling, refinement.
引用
收藏
页码：277 / +
页数：3
相关论文
共 50 条
  • [31] The design of a component-based encryption scheme
    Dowling, T
    Malloy, BA
    PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2, 2000, : 611 - 614
  • [32] Probabilistic contracts for component-based design
    Goessler, Gregor
    Xu, Dana N.
    Girault, Alain
    FORMAL METHODS IN SYSTEM DESIGN, 2012, 41 (02) : 211 - 231
  • [33] A model driven component-based development framework for agents
    Jayatilleke, GB
    Padgham, L
    Winikoff, M
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2005, 20 (04): : 273 - 282
  • [34] Contracts-refinement proof system for component-based embedded systems
    Cimatti, Alessandro
    Tonetta, Stefano
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 97 : 333 - 348
  • [35] A CSCWD framework for component-based SOC design
    Zhou, XY
    Peng, CL
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 2, 2004, : 508 - 511
  • [36] An extensible type system for component-based design
    Xiong, YH
    Lee, EA
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 20 - 37
  • [37] A Modal Interface Theory for Component-based Design
    Raclet, Jean-Baptiste
    Benveniste, Albert
    Legay, Axel
    Badouel, Eric
    Caillaud, Benoit
    Passerone, Roberto
    FUNDAMENTA INFORMATICAE, 2011, 108 (1-2) : 119 - 149
  • [38] Component-based design approach for multicore SoCs
    Cesário, W
    Baghdadi, A
    Gauthier, L
    Lyonnard, D
    Nicolescu, G
    Paviot, Y
    Yoo, S
    Jerraya, AA
    Diaz-Nava, M
    39TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2002, 2002, : 789 - 794
  • [39] Concept design visualization - A component-based approach
    Iwamasa, M
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 1192 - 1197
  • [40] Integrating Safety Analyses and Component-Based Design
    Domis, Dominik
    Trapp, Mario
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 58 - 71
12345