Cargando…

Formulating Requirements with FRET for PLCVerif

This report describes two months work on integrating PLCVerif and FRET. PLCVerif is a tool developed at CERN to formally verify PLC programs, while FRET is a tool for specification, formalization and validation of requirements in a user friendly way. PLCVerif already offers several user friendly pos...

Descripción completa

Detalles Bibliográficos
Autor principal: Adam, Zsofia
Lenguaje:eng
Publicado: 2022
Materias:
Acceso en línea:http://cds.cern.ch/record/2826074
_version_ 1780973803816353792
author Adam, Zsofia
author_facet Adam, Zsofia
author_sort Adam, Zsofia
collection CERN
description This report describes two months work on integrating PLCVerif and FRET. PLCVerif is a tool developed at CERN to formally verify PLC programs, while FRET is a tool for specification, formalization and validation of requirements in a user friendly way. PLCVerif already offers several user friendly possibilities, but these have their own limits and lack useful features, such as simulation of the requirement. I added the possibility of using FRET for the specification and formalization of requirement, integrated into the user interface of PLCVerif. This enables requirement engineers to write requirements more freely and also to better understand and validate their requirements.
id cern-2826074
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2022
record_format invenio
spelling cern-28260742022-09-02T21:40:57Zhttp://cds.cern.ch/record/2826074engAdam, ZsofiaFormulating Requirements with FRET for PLCVerifEngineeringComputing and ComputersThis report describes two months work on integrating PLCVerif and FRET. PLCVerif is a tool developed at CERN to formally verify PLC programs, while FRET is a tool for specification, formalization and validation of requirements in a user friendly way. PLCVerif already offers several user friendly possibilities, but these have their own limits and lack useful features, such as simulation of the requirement. I added the possibility of using FRET for the specification and formalization of requirement, integrated into the user interface of PLCVerif. This enables requirement engineers to write requirements more freely and also to better understand and validate their requirements.CERN-STUDENTS-Note-2022-107oai:cds.cern.ch:28260742022-09-02
spellingShingle Engineering
Computing and Computers
Adam, Zsofia
Formulating Requirements with FRET for PLCVerif
title Formulating Requirements with FRET for PLCVerif
title_full Formulating Requirements with FRET for PLCVerif
title_fullStr Formulating Requirements with FRET for PLCVerif
title_full_unstemmed Formulating Requirements with FRET for PLCVerif
title_short Formulating Requirements with FRET for PLCVerif
title_sort formulating requirements with fret for plcverif
topic Engineering
Computing and Computers
url http://cds.cern.ch/record/2826074
work_keys_str_mv AT adamzsofia formulatingrequirementswithfretforplcverif