Hybrid object-oriented real-time software development with VDM++

被引：1
|
作者：
vanKatwijk, J
Durr, E
Goldsack, S
机构：
来源：
FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS | 1997年
关键词：
D O I：
10.1109/ICFEM.1997.630393
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
VDM++ is a formal object oriented Specification language, which extends VDM by providing object-orientation as well as real-time and parallel features. The use of the language is supported by an extensive toolset and design guidelines. The former offers graphical representations, syntactic and semantic checking, pretty printing and code generation. The latter aim at presenting guidelines for modelling and subsequent development. In this paper, we argue that, despite its formal character, VDM++ is a practically applicable vehicle for software development for real-time control systems. An outline specification case study is included.
引用
收藏
页码：17 / 26
页数：10
相关论文
共 50 条
  • [21] REAL-TIME OBJECT-ORIENTED PROGRAMMING SYSTEMS
    BARRY, BM
    COMPUTER DESIGN, 1992, 31 (09): : 105 - 105
  • [22] Object-oriented real-time distributed computing
    Hammer, DK
    Kikuno, T
    Lee, I
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1999, 14 (04): : 195 - 196
  • [23] AN OBJECT-ORIENTED REAL-TIME PROGRAMMING LANGUAGE
    ISHIKAWA, Y
    TOKUDA, H
    MERCER, CW
    COMPUTER, 1992, 25 (10) : 66 - 73
  • [24] Real-time design goes object-oriented
    Grehan, R
    COMPUTER DESIGN, 1997, 36 (12): : 57 - +
  • [25] An object-oriented language for real-time systems
    Pons, A.P.
    International Journal of Computers and Applications, 2004, 26 (01) : 31 - 37
  • [26] Software design and implementation using the real-time object-oriented modeling language
    McCormick, B
    1996 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING - CONFERENCE PROCEEDINGS, VOLS I AND II: THEME - GLIMPSE INTO THE 21ST CENTURY, 1996, : 286 - 289
  • [27] Formal verification of real-time embedded software in an object-oriented application framework
    Hsiung, PA
    Lee, TY
    Fu, JM
    See, WB
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2004, 151 (06): : 417 - 434
  • [28] OBJECT-ORIENTED AND FUNCTIONAL SOFTWARE-DESIGN FOR DISTRIBUTED REAL-TIME SYSTEMS
    YAU, SS
    BAE, DH
    COMPUTER COMMUNICATIONS, 1994, 17 (10) : 691 - 888
  • [29] Object-oriented behaviour modelling for real-time design
    Hanish, AA
    Dillon, TS
    THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 74 - 82
  • [30] Expressing Real-Time Constraints in an Object-Oriented approach
    Babau, JP
    Sourrouille, JL
    REAL TIME PROGRAMMING 1997: (WRTP 97), 1998, : 53 - 58
12345