Foresys
FORESYS is a software tool for conversion, analysis and reengineering of Fortran applications. It ensures software quality, protects and leverages software assets, fully automates Fortran 90 migration and reduces maintenance costs.
English
Supported Technologies
AIX,
HP/UX,
Linux,
Silicon Graphics IRIX,
Solaris/Sun OS
Software
Click on a technology to view similar products within this category.
Pricing
Users (# of seats)
7700 to 11000
info@simulog.fr
33130122700
Through a reseller network or Simulog.
Additional Product Information
FORESYS: The ultimate software suite for FORTRAN Engineering;Protect and leverage your software assets;Ensure your software quality;Fully automate your Fortran 90 migration;Reduce your maintenance costs;Protect and leverage your software assets;Can you afford to dump man-years of programming investment and strategic know-how?;· Feed to FORESYS Old Proprietary Code;Strategic applications were often coded without much concern for portability or reusability. FORESYS analyses old proprietary dialects, and lets you reverse-engineer ill-documented source code, even years after the original authors have moved on.;· Assess Quality of Legacy Fortran Software;Prior to planning for software re-engineering, use FORESYS to audit your code with objective criteria. Use state-of-the-art full program analysis with a couple of mouse clicks, uncover deviations from standard and bad coding practices, use software metrics to help you quantify a migration project.;· Untangle Spaghetti Code with FORESYS Restructurer;FORESYS Restructurer rebuilds control framework using structured constructs, enhancing readability for code understanding or future maintenance.;· Build SA/SD Structure Charts from Existing Code;Even if the original design documents are no longer available (if they even existed!), you can generate structure charts and data dictionary entries for your code in CASE systems. FORESYS/Rev migrates ForLib data to TeamWork/SD, a CASE tool by Cayenne Software Inc.;Ensure your software quality;Are you aiming for the highest software quality on tight schedule and budget?;· Define a realistic, measurable objective for your project;FORESYS Fortran Dialect lets you set your own software quality standard: specify allowed extensions, coding rules and applicable quality metrics.;· Use interprocedural analysis to uncover defects before they become costly bugs;Static analysis finds bugs before even executing the code. Over 400 kinds of potential defects can be diagnosed by FORESYS: uninitialized variables, caller/callee mismatch, common blocks mismatch, unreachable code.... Coding style rules can also be enforced to increase software maintainability.;· Monitor quality improvements with the Quality Metrics module;FORESYS Qual produces a high quality, intranet-ready, HTML report on software quality metrics for your application. Metrics figures can also be exported to spreadsheets for further analysis and graphical presentation.;· Sustain a high quality level through maintenance ;FORESYS interprocedural analysis can be repeated from the language-sensitive editor in the interactive tool, allowing for instant source change validation. Metrics thresholds can also be checked interactively from the editor.;Fully automate your Fortran 90 migration ;Are you looking for the benefits of Fortran 90, but stuck with old F77 tools?;· Automatically convert Fortran 77 code to Fortran 90;Use the restructuring tool to convert old code to the new syntax:;· spaghetti code converted to structured constructs, (IF THEN ELSE, DO WHILE, SELECT CASE);· new declaration syntax, all variables declared;· common blocks converted to modules;· automatic interface block generation;You can convert hundred of thousands of lines of code in minutes, and compile the result right away, without any execution speed penalty. Even F77 proprietary extension can migrate, such as Vax-style structures converted to F90 derived types, or Cray-style pointers converted to F90 pointers.;· Use FORESYS on mixed style F90/F77 applications;If you decide to keep some parts of your application coded in F77, FORESYS can still be used to ensure top quality with the analysis tool.;Reduce your maintenance costs;Are you tired of seeing maintenance expenses consume project resources?;· Ensure consistency of new developments with your existing application.;Thanks to advanced interprocedural analysis, new bugs introduced during maintenance are detected before the integration phase. Multi-developer projects are easy to manage with the import functionality. ;· Spot long-standing bugs in minutes;Many customers report FORESYS pay-back at first run by solving unexplained problems that resisted weeks of investigation.;· Upgrade code and documentation;Code restructuring ensures a uniform coding style presentation. FORESYS upgrades scientific applications developed in older Fortran dialects, current documentation and language standards.;Product features;Intuitive graphical interface;· Menu access to all operations;· Full program keyword searches;· Pin-point source location of diagnosed problems;Full Fortran90/95 support;· Full language support (no dark areas): free-format, modules, interface, pointers, derived types, all intrinsic functions... ;· Automated module dependency analysis: no need to write makefiles...;· All product modules are F90-ready: analysis, restructuring, quality metrics.;· Combine Fortran 90 code with dusty-deck, proprietary F77.;· Highlighting of non-standard language ;· Advanced pointer analysis: unallocated pointers, confusing = and => operators, ...;Accepted extensions;Even if the code no longer compiles on your current hardware, it will be accepted by;FORESYS. FORESYS knows many, many different breeds of Fortran: ;· Standard Fortran 66/77/90/95 (ENCODE, DECODE, HOLLERITH);· D.O.D Mil-Std 1753 extensions (WHILE, END DO, INCLUDE);· Vax Fortran (STRUCTURE, UNION, MAP, DEFINE FILE...);· Cray Fortran (Cray style POINTER);· UNIX workstations: Sun, HP, IBM, DEC, SGI;· And also Apollo/HP Fortran, Gould Fortran 77+, CDC Fortran ;Advanced interprocedural analysis;· Based on an interprocedural database: the ForLib (Fortran Library);· Over 400 diagnostics available to detect defects before they become costly bugs:;· Tracks all inconsistencies between sub-program definition and call: missing arguments, wrong types, array shape mismatch, passing constants to output parameters...;· Common blocks consistency checks: name, type, size and order mismatch in common block variable are detected.;· Global data-flow analysis: tracks what arguments or global variables are input or output to any given sub-program. Works for F77 as well as for Fortran 90: intent attribute is checked but not required.;· Alias and pointer analysis integrated with data-flow analysis: works with pointers and equivalence;· Analyze and understand even the largest Fortran application: hundreds of thousands of lines per ForLib, and use import function to split complex applications;Unified quality model;· A single model, the FORESYS Fortran Dialect, is used as reference to configure all analysis and diagnostics:;· Permitted language extensions;· Custom coding rules;· Quality metrics ;· Use a pre-defined dialect, or build your own to enforce in-house coding standard;· 30 optional coding rules can be applied: force variable declarations, request include file for common blocks, forbid implicit typecasts, ...;Software metrics module;· 35 source code quality metrics provided:;· Correctness metrics: number of error and warnings, diagnostic density...;· Textual complexity metrics: SLOC, Halstead, ...;· Documentation metrics: comment number, density and distance ;· Structural complexity: decisions, loops, McCabe cyclomatic complexity;· Interprocedural complexity: callers, callee,...;· Select your own list of computed metrics in Fortran dialect, and set thresholds for each metric;· Global metric statistics for project managers and QA engineers: HTML reports with ForLib averages and routine by routine detailed figures;· Interactive metric threshold verification directly from FORESYS editor;Code restructuring;· Converts old code to Fortran 90 or portable extended F77 (with WHILE and INCLUDE);· Regeneration of declarations. Declaration with attributes are used in Fortran 90. ;· Control structures like: goto and arithmetic if are updated to:;IF...THEN...ELSE, DO...WHILE, SELECT...CASE. ;· Unused code is removed while combined logical tests are streamlined. ;· Variables rename feature, alteration of variables types or sizes. ;· Creation of Fortran 90 modules containing the interface to each program unit called within the code and common blocks extracted from the source code. common blocks can also be extracted from source code and saved as include files in Fortran 77. ;· Replacement of non-standard intrinsic functions by their generic equivalent whenever possible.;PAGE 4;Some references;· Aerospace: AEROSPATIALE, ALCATEL SPACE INDUSTRIES, CNES, DASSAULT AVIATION, NASA, ONERA;· Automotive: IVECO, RENAULT ;· Defense: ARL, DCN, MATRA, THOMSON-CSF;· Education: ÉCOLE CENTRALE DE NANTES, ENSIGC, ENSL, INRIA, INSA;· Energy: ALSTOM, CEA, EDF, ENEL, FRAMATOME, GDF, IFP, TRACTEBEL, VTT Energy;· Industry: AIR LIQUIDE, STEIN HEURTEY, THERMODYN;· Information Technology: CS/CISI, DEBIS, ESI, FUJITSU, PALLAS, VISUAL NUMERICS;FORESYS product range;FORESYS: With its set of powerful yet easy-to-use tools, FORESYS is fit to the mainstream of Fortran re-engineering projects.;Modules: Analysis tool, Interactive tool, Restructurer;FORESYS QUAL: With its set of powerful yet easy-to-use tools, FORESYS is fit to the mainstream of Fortran re-engineering projects.;Modules: FORESYS quality metrics statistics module, interactive metric checks module.;Supported platforms;The most recent operating system versions are usually supported.;Platform Vendor Operating System;Digital Alpha Digital Unix ;HP PA HP-UX ;IBM RS6000 AIX ;SGI IRIX ;Sun Sparc Solaris ;About SIMULOG;Because of its large experience in scientific computing, SIMULOG has developed strong skills in the software field. SIMULOG is state of the art and thus able to guarantee its customers the best solutions for maximizing their software investments.;To contact us;For more information about SIMULOG and their products and services, please contact your SIMULOG office or connect to our web server for current news and product information.;E-mail: info@simulog.fr;Internet:
http://www.simulog.fr/foresys;Distributors