:: Logic Technology :: - Logic Technology Products

Products > Model Driven Software Engineering

	Arttest Arttest is a powerful tool for functional testing of MATLAB®/Simulink® models as recommended by ISO 26262. Arttest provides solutions for authoring, managing and reviewing simulation-based tests. A domain-specific language reflects the elements of semi-formal textual requirements that are widely used in the industry to maintain a high reidentification between requirements and tests. Arttest is particularly suitable for rapidly specifying signal-based tests on a large scale without programming knowledge, executing them automatically and reusing the tests over product generations in large teams.

	Dezyne Dezyne is a new generation of model-driven software engineering tools that enables software engineers to create, explore and formally verify designs for state based, event driven or concurrent software systems. It leads to generated code that is robust, reliable and trustworthy. The results include a 50% reduction in development costs, 20% decrease in time to market and a 25% reduction in the cost of field defects.