Model based code verification

被引：0
|
作者：
O'Halloran, C
机构：
来源：
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS | 2003年 / 2885卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Model based development languages, such as Simulink and UML, are increasing in popularity. Simulink is a de-facto standard in control systems engineering and UML is the subject of a significant standardisation effort. These "standardised" model based languages have commercial tool support, which primarily address the customer's immediate demands. In this paper I shall discuss the trends that are leading to an opportunity for formal methods to deliver significant benefits to industrial software development. Insights are drawn from an industrial application of formal methods and an experiment that compares a formal and a conventional development.
引用
收藏
页码：16 / 25
页数：10
相关论文
共 50 条
  • [1] Formal Model and Code Verification in Model-Based Design
    Popovici, Katalin
    Lalo, Marc
    [J]. 2009 JOINT IEEE NORTH-EAST WORKSHOP ON CIRCUITS AND SYSTEMS AND TAISA CONFERENCE, 2009, : 392 - 395
  • [2] Hamming code based watermarking scheme for 3D model verification
    Wang, Jen-Tse
    Chang, Yi-Ching
    Yu, Shyr-Shen
    Yu, Chun-Yuan
    [J]. 2014 INTERNATIONAL SYMPOSIUM ON COMPUTER, CONSUMER AND CONTROL (IS3C 2014), 2014, : 1095 - 1098
  • [3] Hamming Code Based Watermarking Scheme for 3D Model Verification
    Wang, Jen-Tse
    Chang, Yi-Ching
    Yu, Chun-Yuan
    Yu, Shyr-Shen
    [J]. MATHEMATICAL PROBLEMS IN ENGINEERING, 2014, 2014
  • [4] Byte code verification for Java']Java smart cards based on model checking
    Posegga, J
    Vogt, H
    [J]. COMPUTER SECURITY - ESORICS 98, 1998, 1485 : 175 - 190
  • [5] An analytical model for source code distributability verification
    Ayaz ISAZADEH
    Jaber KARIMPOUR
    Islam ELGEDAWY
    Habib IZADKHAH
    [J]. Frontiers of Information Technology & Electronic Engineering, 2014, 15 (02) : 126 - 138
  • [6] An analytical model for source code distributability verification
    Isazadeh, Ayaz
    Karimpour, Jaber
    Elgedawy, Islam
    Izadkhah, Habib
    [J]. JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE C-COMPUTERS & ELECTRONICS, 2014, 15 (02): : 126 - 138
  • [7] An analytical model for source code distributability verification
    Ayaz Isazadeh
    Jaber Karimpour
    Islam Elgedawy
    Habib Izadkhah
    [J]. Journal of Zhejiang University SCIENCE C, 2014, 15 : 126 - 138
  • [8] PLCStudio: SIMULATION BASED PLC CODE VERIFICATION
    Park, Sang C.
    Park, Chang Mok
    Wang, Gi-Nam
    Kwak, Jongeun
    Yeo, Sungjoo
    [J]. 2008 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2008, : 222 - +
  • [9] Handwritten signature verification based on code representation
    Alekseev K.V.
    Egorova S.D.
    [J]. Pattern Recognition and Image Analysis, 2007, 17 (04) : 487 - 492
  • [10] Modular Code-Based Cryptographic Verification
    Fournet, Cedric
    Kohlweiss, Markulf
    Strub, Pierre-Yves
    [J]. PROCEEDINGS OF THE 18TH ACM CONFERENCE ON COMPUTER & COMMUNICATIONS SECURITY (CCS 11), 2011, : 341 - 350
12345