|
SENSORIA All Publications |
|
Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Tool Support for Engineering Certifiable Software
@inproceedings{Safecert08,
author = {L{\\'a}szl{\\'o} G{\\"o}nczy and Istv\\'an Majzik and A\\'kos Horv\\'ath and D{\\'a}niel Varr{\\'o} and Andr\\'as Balogh and Zolt\\'an Micskei and Andr\\'as Pataricza},
title = {{Tool Support for Engineering Certifiable Software}},
booktitle = {Proc. of First Workshop on the Certification of Safety-Critical Software Controlled
Systems (SafeCert08)},
editor = {Michaela Huhn and Hardi Hungar},
series = {},
publisher = {},
note={},
pages = {68-73},
year = {2008},
address = {Budapest, Hungary},
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.}
}
|
