Alstom
Application: Smartlock Interlocking
With more than 1,500
installations in over 25 countries, the safety and reliability of
Alstom's new generation of Smartlock electronic interlocking products
has more than proven itself. Interfacing with the Automated Train
Control (Atlas) system and conventional track equipment (Smartway),
Smartlock interlocking guarantees safety for traffic on all types of
networks.
Genworks International
Application: GDL/GWL (General-purpose Declarative Language and Generative Web Language)
GDL/GWL (General-purpose Declarative Language and Generative Web
Language) is a Knowledge Base development environment that features an
integrated web server-based user interface. GDL/GWL provides a
complete environment for the development of business and engineering
applications, covering areas traditionally serviced by specialized KBE
(Knowledge-based Engineering), ERP (Enterprise Resource Management),
and CRM (Customer Relations Management) software packages.
Japan Advanced Institute of Science and Technology
(JAIST)
Application: CafeOBJ
Developed by Professor
Kokicih Futatsugi and his team from Japan Advanced Institute of Science and
Technology's (JAIST) Language Design Laboratory, CafeOBJ is an
advanced formal specification language for writing formal
(i.e. mathematical) specifications of models for a wide variety of
software and systems, and verifying their properties.
Johnson Engineering
Application: CPACS
Using the CPACS application, one person can come up with an initial module
packing configuration in about six hours for the multi-purpose logistics
modules used to transport cargo for the international space
station. Changes can also be easily incorporated into the manifest --
CPACS simply recalculates everything automatically and identifies any
balance problems that might arise from the new configuration.
Pitch AB
Application: Visual OMT
While there are many tools on the
market to do object modeling in simulation applications, only two
tools are available to provide support for describing the
interoperability capabilities of HLA (High Level Architecture)
simulations and the runtime information exchange between
simulations. One tool is freeware offered by the DMSO. The other is
Visual OMT.
SRI Computer Science
Lab
Application: PVS (Prototype Verification
System)
The critical systems of tomorrow require strong assurance
that their software and hardware systems contain no lurking
bugs. That's why their developers, government certifying agencies, and
researchers are investigating formal verification systems such as
SRI's PVS. PVS stands for "Prototype Verification System." It
provides you with increased assurance that mission and safety-critical
systems will behave as intended, via a specification language
integrated with support tools and a theorem prover. It is primarily
used for the formalization of requirements and design-level
specifications, and for the analysis of intricate and difficult
problems such as fault tolerance and distributed algorithms. Formal
analysis provides something that testing never canthe ability to explore *all* behaviors of your
system.
The Laboratory for Intelligent Processes and Systems
and the University of Texas at Austin
Application:
Requirements and Integration Verification Tool (RIVT)
Engineers
responsible for designing systems can use RIVT to "define, modify, and
evaluate system component designs and then integrate respective
components into an overall system design," according to Dr. Suzanne
Barber, Director of The Laboratory for Intelligent Processes and
Systems and program lead for the RIVT project. RIVT is particularly
useful in industries such as automobile, aircraft, missile design,
semiconductor manufacturing, and healthcare where designing and
evaluating system architectures are critical. The knowledge
representation capabilities of Allegro CL were key to building the
requirements-driven system design of RIVT.
University of
Washington
Application: Prism
Clinicians at the
Radiation Oncology Department of Seattle's University of Washington
are using an Allegro CL-based system called Prism to find the best
radiation treatment plan for patients at the university's cancer
clinic. Used to plan treatments for patients since 1994, the Prism
radiation treatment planning system (RTP) provides a dynamic
simulation environment that clinicians can use to assess, plan, and
optimize radiation treatments for their patients. Prism incorporates
new knowledge-based tools as well as state-of-the-art graphic display
and networking technologies.
Copyright © 2023 Franz Inc., All Rights Reserved | Privacy Statement |