Tool Support for Engineering Certifiable Software

CímTool Support for Engineering Certifiable Software
Közlemény típusaJournal Article
Kiadás éve2008
SzerzőkGönczy, L., Majzik, I., Horváth, Á., Varró, D., Balogh, A., Micskei, Z., and Pataricza, A.
FolyóiratElectr. Notes Theor. Comput. Sci.

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.