Tool Support for Engineering Certifiable Software

László Gönczy, István Majzik, Akos Horváth, D. Varró, András Balogh, Zoltán Micskei, András Pataricza

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

Formal methods can effectively support the model driven develoment and analysis of IT applications in many domains. Typically, the domain-specific engineering models are transformed to formal analysis models (to compute measures that help the designer in verifying the design decisions) and verified models are mapped to test and implementation related software artefacts. An overview of four European projects demonstrates the use of support tools and tool integration facilities in development processes of systems having in sight the demand of certification according to domain-specific standards.

Original languageEnglish
Pages (from-to)79-85
Number of pages7
JournalElectronic Notes in Theoretical Computer Science
Volume238
Issue number4
DOIs
Publication statusPublished - Sep 28 2009

Fingerprint

Tool Support
Software Engineering
Software engineering
Formal methods
Formal Analysis
Certification
Formal Methods
Model
Development Process
Engineering
Software
Demonstrate

Keywords

  • Model based design
  • model transformation
  • tool integration

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Gönczy, L., Majzik, I., Horváth, A., Varró, D., Balogh, A., Micskei, Z., & Pataricza, A. (2009). Tool Support for Engineering Certifiable Software. Electronic Notes in Theoretical Computer Science, 238(4), 79-85. https://doi.org/10.1016/j.entcs.2009.09.008

Tool Support for Engineering Certifiable Software. / Gönczy, László; Majzik, István; Horváth, Akos; Varró, D.; Balogh, András; Micskei, Zoltán; Pataricza, András.

In: Electronic Notes in Theoretical Computer Science, Vol. 238, No. 4, 28.09.2009, p. 79-85.

Research output: Contribution to journalArticle

Gönczy, L, Majzik, I, Horváth, A, Varró, D, Balogh, A, Micskei, Z & Pataricza, A 2009, 'Tool Support for Engineering Certifiable Software', Electronic Notes in Theoretical Computer Science, vol. 238, no. 4, pp. 79-85. https://doi.org/10.1016/j.entcs.2009.09.008
Gönczy, László ; Majzik, István ; Horváth, Akos ; Varró, D. ; Balogh, András ; Micskei, Zoltán ; Pataricza, András. / Tool Support for Engineering Certifiable Software. In: Electronic Notes in Theoretical Computer Science. 2009 ; Vol. 238, No. 4. pp. 79-85.
@article{7bb45017db2d45158df4f0471b4e4e9f,
title = "Tool Support for Engineering Certifiable Software",
abstract = "Formal methods can effectively support the model driven develoment and analysis of IT applications in many domains. Typically, the domain-specific engineering models are transformed to formal analysis models (to compute measures that help the designer in verifying the design decisions) and verified models are mapped to test and implementation related software artefacts. An overview of four European projects demonstrates the use of support tools and tool integration facilities in development processes of systems having in sight the demand of certification according to domain-specific standards.",
keywords = "Model based design, model transformation, tool integration",
author = "L{\'a}szl{\'o} G{\"o}nczy and Istv{\'a}n Majzik and Akos Horv{\'a}th and D. Varr{\'o} and Andr{\'a}s Balogh and Zolt{\'a}n Micskei and Andr{\'a}s Pataricza",
year = "2009",
month = "9",
day = "28",
doi = "10.1016/j.entcs.2009.09.008",
language = "English",
volume = "238",
pages = "79--85",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Elsevier",
number = "4",

}

TY - JOUR

T1 - Tool Support for Engineering Certifiable Software

AU - Gönczy, László

AU - Majzik, István

AU - Horváth, Akos

AU - Varró, D.

AU - Balogh, András

AU - Micskei, Zoltán

AU - Pataricza, András

PY - 2009/9/28

Y1 - 2009/9/28

N2 - Formal methods can effectively support the model driven develoment and analysis of IT applications in many domains. Typically, the domain-specific engineering models are transformed to formal analysis models (to compute measures that help the designer in verifying the design decisions) and verified models are mapped to test and implementation related software artefacts. An overview of four European projects demonstrates the use of support tools and tool integration facilities in development processes of systems having in sight the demand of certification according to domain-specific standards.

AB - Formal methods can effectively support the model driven develoment and analysis of IT applications in many domains. Typically, the domain-specific engineering models are transformed to formal analysis models (to compute measures that help the designer in verifying the design decisions) and verified models are mapped to test and implementation related software artefacts. An overview of four European projects demonstrates the use of support tools and tool integration facilities in development processes of systems having in sight the demand of certification according to domain-specific standards.

KW - Model based design

KW - model transformation

KW - tool integration

UR - http://www.scopus.com/inward/record.url?scp=70349088982&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70349088982&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2009.09.008

DO - 10.1016/j.entcs.2009.09.008

M3 - Article

AN - SCOPUS:70349088982

VL - 238

SP - 79

EP - 85

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 4

ER -