@article{gonczy-safecert-2008,
title = "Tool Support for Engineering Certifiable Software",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "238",
number = "4",
pages = "79 - 85",
year = "2009",
note = "Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert 2008)",
issn = "1571-0661",
doi = "DOI: 10.1016/j.entcs.2009.09.008",
author = "László Gönczy and István Majzik and Akos Horváth and Dániel Varró and András Balogh and Zoltán Micskei and András Pataricza",
keywords = "Model based design",
keywords = "model transformation",
keywords = "tool integration",
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."
}