Formal methods in industrial software standards enforcement

被引：0
|
作者：
Grinevich, Alexey [1 ]
Khoroshilov, Alexey [1 ]
Kuliamin, Victor [1 ]
Markovtsev, Denis [1 ]
Petrenko, Alexander [1 ]
Rubanov, Vladimir [1 ]
机构：
[1] Russian Acad Sci, Inst Syst Programming, ISPRAS, B Communisticheskaya 25, Moscow, Russia
来源：
PERSPECTIVES OF SYSTEMS INFORMATICS | 2007年 / 4378卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test derivation from the resulting formal specifications. Strong technological support of such a process in its engineering aspects makes it applicable to software standards of real-life complexity. This is illustrated by its application to Linux Standard Base. The work stands in line with goals of international initiative Grand Challenge 6: Dependable Systems Evolution [1].
引用
收藏
页码：456 / +
页数：3
相关论文
共 50 条
  • [21] FORMAL METHODS TO AID THE EVOLUTION OF SOFTWARE
    WARD, MP
    BENNETT, KH
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1995, 5 (01) : 25 - 47
  • [22] Software Mythbusters Explore Formal Methods
    Jaspan, Ciera
    Keeling, Michael
    Maccherone, Larry
    Zenarosa, Gabriel L.
    Shaw, Mary
    [J]. IEEE SOFTWARE, 2009, 26 (06) : 60 - 63
  • [23] Formal methods integration in software engineering
    Perseil, Isabelle
    Pautet, Laurent
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (1-2) : 5 - 11
  • [24] Formal methods for integration of automotive software
    Jersak, M
    Richter, K
    Racu, R
    Staschulat, J
    Ernst, R
    Braam, JC
    Wolf, F
    [J]. EMBEDDED SOFTWARE FOR SOC, 2003, : 11 - 24
  • [25] EDUCATION IN FORMAL METHODS FOR SOFTWARE ENGINEERING
    WORDSWORTH, J
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1987, 29 (01) : 27 - 32
  • [26] SEFM: software engineering and formal methods
    Barthe, Gilles
    Pardo, Alberto
    Schneider, Gerardo
    [J]. SOFTWARE AND SYSTEMS MODELING, 2015, 14 (01): : 3 - 4
  • [27] Formal methods in software practice - Introduction
    Dillon, LK
    Sankar, S
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) : 265 - 266
  • [28] FORMAL METHODS APPLIED TO SOFTWARE PRODUCTION
    FRASER, AG
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 3 - 9
  • [29] SEFM: software engineering and formal methods
    Gilles Barthe
    Alberto Pardo
    Gerardo Schneider
    [J]. Software & Systems Modeling, 2015, 14 : 3 - 4
  • [30] Formal Methods for Industrial Interlocking Verification
    Chadwick, Simon
    James, Phillip
    Roggenbach, Markus
    Werner, Tom
    [J]. 2018 INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2018,
12345