Tool Support for Engineering Certifiable Software

László Gönczy, István Majzik, Akos Horváth, Dániel 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

Keywords

  • Model based design
  • model transformation
  • tool integration

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Tool Support for Engineering Certifiable Software'. Together they form a unique fingerprint.

  • 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