Project

General

Profile

News

Requality: Requality 1.0 released

Added by Alexey Khoroshilov 27 days ago

After more than 10 years of development we are happy to announce the release of Requality 1.0.

The new version emphasizes the readiness of the tool to support requirements management process of safety-critical software development.
There are ongoing projects aimed to develop avionics software according to DO-178C Level A that uses the Requality as the main requirements management tool.

The main new features of Requality 1.0 in comparison with version 0.20 includes:
  • Server repository for storing history of development of requirements catalogue and team collaboration with explicit operations:
    • for storing local version of requirements catalogue into the repository;
    • for checking out requirements from the repository for local edit/review.
  • Presentation of history of modifications of requirements catalogue.
  • Presentation of differences between particular versions of requirements catalogue.
  • Automatic per-object versioning:
    • Each element of requirements catalogue gets an individual version that is incremented automatically when one of internal attributes is modified and the modification is committed to the repository.
    • Which attributes are considered as internal is configured on per project basis.
  • Support for cross-project references.
  • Explicit support for "define term"-"use term" relation between objects.
  • Search through requirements catalogue:
    • Search in Requality project for elements by any attribute including all kind of identifiers.
    • All editors get support for search of specific string in text.
  • New report template "Table View" that represents requirements specification in the form convenient for formal review as far as:
    • it includes references to related objects (including definition of terms used);
    • it allows to generate report for several related projects (e.g. high-level requirements and low-level requirements) with HTML cross-references between them.
  • Export/import requirements to LibreOffice Writer for editing in office suite environment.
  • Mass operations support:
    • Attribute Value change.
    • Attribute Type/Name change.
  • Support for ReqIF export and import (in the form compatible with IBM DOORS 9.4).
  • WebAPI provided to simplify integration with external tools.
  • The speed of report generation is significantly increased.

Klever: Klever 1.1

Added by Evgeny Novikov about 1 month ago

Klever 1.1 includes quite many high demanded features and fixes of the most annoying bugs:

  • Improving coverage calculation and visualization. Now one can easily navigate through covered and uncovered functions.
  • Updating CPALockator used for finding data races.
  • Proper processing of wall timeouts that is especially important for highly overloaded machines.
  • Advanced verification tasks scheduling allows:
    • Solving verification tasks faster by means of adaptation of computational resource limits.
    • Solving more verification tasks when having free computational resources after ensuring a minimally required quality of service.
  • Getting rid of some database caches helps to avoid unpleasant bugs in various statistics.
  • Considerable fixing and improving local and OpenStack deployments.
  • Numerous minor bug fixes, optimizations and improvements.

Castle: Castle 0.1.1 released

Added by Sergey Smolov about 2 months ago

We are happy to announce the first release of the Castle library.

Castle (Control flow & Abstract Syntax Tree Library, Etc.) is a library for developing translators and code generators.

The release includes the following features:

 - ANTLR-based utilities: include file search engine;
 - ANTLR-based utilities: token source stack for hierarchical structures;
 - AST: symbol table, walker, visitor;
 - AST: assignment, ranged variable, use-def interface;
 - StringTemplate-based code generation utilities;
 - General Utils: system, file processing, logging.

The package can be downloaded from here

MicroTESK for RISC-V: MicroTESK for RISC-V 0.0.5 released

Added by Andrei Tatarnikov 3 months ago

MicroTESK for RISC-V 0.0.5 has been released:

  • Specifications: Bug fixes
  • Test Templates: Test templates for generating torture tests
  • Test Templates: Test templates for validating floating-point instructions
  • Tool Functions: Improved floating-point support
  • Tool Functions: Improved register allocation mechanism
  • Tool Functions: Support for operations with dynamic immediate values in test templates (_AND, _OR, _XOR, _ADD, _SUB, _PLUS, _MINUS, _NOT, _SLL)
  • Tests: Improved Make scripts for running test templates
  • Tests: Specification code coverage is measured
  • Tests: Test suite uses QEMU4V 0.2.2

MicroTESK for RISC-V can be downloaded from http://forge.ispras.ru/projects/microtesk-riscv/files

MicroTESK: MicroTESK 2.4.42 released

Added by Andrei Tatarnikov 3 months ago

The new release contains the following changes:

  • Improved template facilities: support for addressing modes (registers) in printing functions (such as trace)
  • Improved template facilities: support for the _SLL operation with dynamic immediate values
  • Improved register allocation: support for the retain attribute

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

MicroTESK: MicroTESK 2.4.41 released

Added by Andrei Tatarnikov 3 months ago

The new release contains the following changes:

  • Support for floating-point types in data sections
  • Support for formatted printing of values in data sections
  • Support for register reservation
  • Support for basic operations (_AND, _OR, _XOR, _ADD, _SUB, _PLUS, _MINUS, _NOT) with dynamic immediate values in test templates
  • Improved register allocation strategies
  • New permutator exhaustive (aliased as full)
  • Support for i386 in x86 specifications
  • Support for the NASM and GNU assembler in x86 specifications and test templates
  • miniMIPS test programs are compiled with the GNU assembler and simulated in QEMU
  • x86 test programs are compiled with the GNU and NASM assemblers and simulated in QEMU
  • New option --model-name to allow building several ISA models from the same specifications
  • New option --base-template-path for automated template generation
  • Bug fixes and code improvements

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

(1-10/314)

Also available in: Atom