Prema: A Tool for Precise Requirements Editing, Modeling and Analysis

12/17/2019
by   Yihao Huang, et al.
0

We present Prema, a tool for Precise Requirement Editing, Modeling and Analysis. It can be used in various fields for describing precise requirements using formal notations and performing rigorous analysis. By parsing the requirements written in formal modeling language, Prema is able to get a model which aptly depicts the requirements. It also provides different rigorous verification and validation techniques to check whether the requirements meet users' expectation and find potential errors. We show that our tool can provide a unified environment for writing and verifying requirements without using tools that are not well inter-related. For experimental demonstration, we use the requirements of the automatic train protection (ATP) system of CASCO signal co. LTD., the largest railway signal control system manufacturer of China. The code of the tool cannot be released here because the project is commercially confidential. However, a demonstration video of the tool is available at https://youtu.be/BX0yv8pRMWs.

READ FULL TEXT
research
12/23/2019

Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability

Development processes in various engineering disciplines are incorporati...
research
02/11/2022

Why just FRET when you can Refactor? Retuning FRETISH Requirements

Formal verification of a software system relies on formalising the requi...
research
06/02/2023

FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain

Formal methods are promising for modeling and analyzing system requireme...
research
11/06/2019

A Domain-Specific Language for Verifying Software Requirement Constraints

Software requirement analysis can certainly benefit from prevention and ...
research
11/06/2019

The role of formalism in system requirements (extended version)

A major determinant of the quality of software systems is the quality of...
research
11/06/2019

The role of formalism in system requirements (full version)

A major determinant of the quality of software systems is the quality of...
research
11/06/2019

Formality in Software Requirements

A major determinant of the quality of software systems is the quality of...

Please sign up or login with your details

Forgot password? Click here to reset