FREAS: Forensic-Ready Analysis Suite
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F24%3A00140220" target="_blank" >RIV/00216224:14330/24:00140220 - isvavai.cz</a>
Result on the web
<a href="https://freas-tools.github.io/wiki/" target="_blank" >https://freas-tools.github.io/wiki/</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
FREAS: Forensic-Ready Analysis Suite
Original language description
Forensic-Ready Analysis Suite (FREAS) provides support in designing forensic-ready software. It is composed of two components. First, a graphical editor for creating system models in BPMN4FRSS notation. Second, an analyser utilising Z3 solver for satisfiability checking of formulas derived from the models. The analysis focuses on the models' validity, provides targeted hints to enhance forensic readiness capabilities, and allows for what-if analysis of potential evidence quality.
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2024
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
FREAS-v1
Technical parameters
Forensic-Ready Analysis Suite (FREAS) combines tools for software modelling and subsequent analysis of the models. Thus, it provides a unified graphical interface for creating or modifying BPMN4FRSS models (extension of BPMN) and their analysis based on the Z3 solver. The separation of modules allows for the inclusion of other model analysis methods into the suite, which can be operated from the unified interface. Software is distributed as open-source under MIT licence; the owner of the result is Masaryk University, IČO 00216224. Contact person: RNDr. Lukáš Daubner, Ph.D., Botanická 68a, 602 00 Brno, Czech Republic, e-mail: daubner@mail.muni.cz
Economical parameters
The main contribution of the software is to support the design of forensic-ready software, bridge the knowledge gap, and enable forensic readiness to a broader audience. It eases the creation of BPMN4FRSS models, for which no dedicated tool existed, barring simple diagramming. Furthermore, the model analysis methods assist in the timely detection of design issues. Thus, it contributes to the more seamless adoption of forensic-ready systems and ultimately reduces expenses when implementing forensic readiness.
Owner IČO
00216224
Owner name
Masaryk University