Modeling and Simulation

• 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 can—the 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.