Algologic has assembled an impressive set of tools and techniques,
out of several years of research and development and practical
experience. These tools have been evaluated and peer-
reviewed internationally. We can adapt these tools, develop similar
tools, or value-add to your own methodologies. Just ask us !
ATTENTION : Our e-mail ID has changed to :
info.algolog@gmail.com. Please use our new
address only. Please register this new address in your records.
Do you develop software for serious, mission-critical applications
? Do you want an independent agency to ensure that you are building
your software the right way ? Do you want to confirm if you are
building
the right software ? Do you want to assess, to what extent you are
complying with standards ?
Algologic proposes a holistic and integrated approach, to software
conformance i.e. verification, validation, standards compliance. The
approach would rely heavily on sound mathematical principles which
also take into account human attitudes and cultural background of the
developers and end-users.
The literature on V & V strongly recommends that V & V should
be
always done by an agency which is managerially and financially
independent of the software design and development team.
Algologic is committed to maintaining this autonomy and can
therefore be an ideal organisation to whom you can trust your V &
V
activities. Algologic is also committed to maintaining the strictest
confidentiality about the products and information entrusted to it.
You
can therefore be assured of obtaining the best opinion from a
competent team.
Algologic (led by Dr. Parthasarathy), brings the theoretical
profoundness of formal methods to the pragmatism of industrial systems
expectations and requirements.
Algologic has access to a wide range of analysis tools:
Design / CPN from the University of Aarhus, Denmark. This
remarkably versatile and potent tool has been applied successfully in
many industry grade V & V projects.
Coq from INRIA, France, is a proof-assistant for
interactive construction of formal proofs.
OCAML from INRIA, France is the functional programming
language environment based on objective meta language. It serves as an
excellent means of programming and verifying proof obligations.
PEP The PEP system (Programming Environment based on Petri
Nets) is a Petri net tool, and much more. PEP supports the most
important tasks of a good net tool,
including high-level and low-level net editing with comfortable
simulation facilities. In addition, Petri net editing and simulation
is embedded in sophisticated
programming and verification components.
VIP : stands for V erification of
I nformation systems by evaluating partially-ordered
P etri net runs.
The VIP project is sponsored by the German Research Society (DFG -
http//:dfg-bonn.de) and is a cooperative work of the universities of
Karlsruhe and Frankfurt/Main in Germany. Its main target is to
develop a simulation and validation concept for high-level Petri nets
that is based on causal semantics.
Episode analyzer - a very practical and robust tool for
temporal reasoning in safety-critical systems. Developed by Algologic
under the Constraint Logic Programming environment, it provides a
framework for formal analysis of complex "episodes".
Scilab The versatile and rich tool from INRIA (France), for
mathematical modelling in automation and control.
Maple The famous symbolic computation system. In fact, as
the ad says, it is "a software which is used by rocket scientists,
brain surgeons, and other really smart people". The Maple repository
of (evergrowing) applications is incredibly large and covers every
aspect of mathematics and computation.
+ + + + several other software tools for specific end use
AUTO_SAFE: a Prolog based expert system for sequential and
batch
sequential control.
Episode analyzer: Based on the famous interval algebra
proposed
by Allen. Extremely powerful tool for temporal reasoning in complex
processes.
Prototyped using CLP-R language. Can be useful for a large
class of safety-critical systems.
Generalised process exceptions: Implements a powerful
variant of Petri nets for context dependent decision making. Useful in
intelligent alarms and exceptions handling in complex processes.
Environment monitoring and control: Suitable for a wide
variety of monitoring and control requirements.
Application of formal methods for software for safety-critical
systems.
Algologic Research & Solutions can provide a
wide range of support for your Linux installation and Linux/Unix
related projects. Algologic can also
offer you tools to assist you in software development, Sysadmin,
housekeeping, troubleshooting, shell scripts. Algologic is listed by
the Linux Documentation Project,
in the official directory of Linux Consultants ("CONSULTANTS-
HOWTO"). Please write to us about your requirements, for getting
a formal proposal from us. More details...
Our strengths include:
Algologic has a rich experience in installing, configuring and
trouble shooting in Linux. We have developed an innovative (and very
popular) checklist for those planning to install Linux on their
machines.
Click here for
a copy of Linux Pre-installation checklist developed by Algologic
and
used for Linux installations. This document is listed as
a "mini-HOWTO"
by the Linux Documentation Project
(official agency for Linux related development work), and is very
popular
amongst Linux users.
The number of translations is an
indication of the popularity and usefulness of this document !
In fact, the number of translations could be much more. Only the above
translated versions have come to our notice. If you know about
versions, in any other language, please let us know.
The ideal sequel to the Linux Pre-installation checklist, is our
Linux Post-installation procedures. This
is one more extremely potent and useful contribution to the Linux
community, from Algologic. This document is listed as
a "mini-HOWTO"
by the Linux Documentation Project
(official agency for Linux related development work), and is very
popular
amongst Linux users. It comes with an elaborate shell script
for automating the creation of a post-installation snapshot.
Our promoter: Dr. Parthasarathy, is the only Indian (based in
India) acknowledged in the Draft Standards of POSIX developed by
IEEE(USA). Click here to see a profile
of our promoter.
Perl scripts: Several useful scripts being developed and
perfected, based on Perl 5. These scripts may be used for several
important functions: quantitative analysis of web sites, security,
real-time systems, embedded software development, administrative
chores etc.
Linux in a teaspoon : a very popular
and customisable training course on Linux.
Algologic has developed a tool-independent methodology for designing
"flawless web pages" especially for scientific and technology-
oriented institutions.
Algologic has received a prestigious international award from IEEE
(USA) for taking up the responsibility of designing, hosting and
maintaining the web pages for:
IEEE India Council
IEEE Hyderabad Section
IEEE is the world's largest association of professionals in the
electrical, electronics, computers and related engineering
disciplines. Algologic can make available to you, its experience
and know how in the strategically important subject of web-page
designing.
Algologic is the promoter of the unique concept of "web
gardening" . The "gardening" metaphor stands for all the
activities which are necessary for maintaining web sites.
Algologic will undertake an independent review and analysis of your
existing web site, and suggest improvements, as well as maintain your
site on a turn-key basis.
The success of your efforts depend upon how well you present them
to your users and clients. Use the
documentation and translation services of Algologic and see the
difference.
Training can be arranged on the above tools, and on generic principles
concerning them. Our training programmes integrate a profound
theoretical understanding of the subject, and a practical hands-on
experience of the same. The presentation is done in a style which
would appeal to practicing professionals. Our training programs
usually include an elaborate collection of tutorial material as
handout. In addition to the actual training programs we conduct, we
can also offer a whole range of training
services to suit your requirements.
Note : We do NOT give budgetary estimates
over the phone. Please send us an e-mail or a formal letter, giving
ALL the relevant details, for a prompt, realistic and complete response. You will be under no obligation due to this enquiry. You can decide to use or not use our services after studying our proposal.
