The 001™ Tool Suite

Here are some properties and features that make 001 unique:

• Always number one when put to the test.
• A preventative approach instead of a curative one.
• Seamless integration including systems to software.
• Defect rates reduced by a factor of 10.
• No interface errors.
• Correctness by built-in language properties.
• Formal, but friendly and practical, systems language.
• All systems defined in terms of system oriented objects (SOOs): each SOO integrates object, function and timing oriented parts of a system. Objects are systems and systems are objects.
• Full traceability and evolvability (application, architecture, technology). All objects under control and traceable.
• Unprecedented degree of inherent reuse and inherent resource allocation.
• Same language for all phases, systems and viewpoints.
• Full life cycle automation, including 100% code generation for any kind or size of system (no manual coding).
• Unambiguous requirements, specifications, designs...removing complexity, chaos, and confusion.
• Ability to separate the architecture of a system into its functional, resource and resource allocation architectures.
• The ability to capitalize on parallelism.
• The ability to solve problems such as those in distributed systems in ways not heretofore envisioned.
• Executable specification simulation.
• Integrated metrics for predictive systems with a mechanism to trace from requirements to code and back again.
• Open architecture. 001's generator can be configured for any kind of architecture: including language, operating system, data base, communications protocol, internet and legacy environment of choice. Once configured, 001 will automatically regenerate the entire new system to reside on the new architecture.
• Maintenance performed at the blueprint level. A change to the application is made to the specification, not to the code; a change to go to a new architecture is made to the architecture configuration of the component, not to the code.
• GUI environment tightly integrated with the development of an application.
• Automated testing.
• Automated documentation.
• 001 was defined in itself and it automatically generated 100% of itself.
• Significantly lower risk and significantly higher reliability than before.
• Unprecedented productivity (maximum dollars saved and minimum time to complete) in the design of systems and development of software.

• Open Interfaces for External Products: leverage existing investments
• RT(x) offers seamless, comprehensive requirements tracing through all phases
• Change Impact Analyzer saves time and preserves project integrity

• Integrates cross-checking and consistency with reuse of data and features
• Editor Tools: OMap Editor, Graphical Language Editor (FMaps and TMaps)
• Reuse Library: Horizontal, Client Server, Internet, Database, Oracle OCI, Motif
• Interactive User Interface: Generic, Road Map, Help, Custom

• Type Analyzer
• Functional Analyzer
• Syntax
• Data Flow
• Semantics

• Eliminates error-prone hand coding
• Ensures the integrity of all USL definitions in implementation
• Enables instant simulation and rapid prototyping
• Functional, Type, Database, Configurable RAT Specifications

• Xecutor
• OMap Editor
• Test Models
• Axiom and Constraint Models

• RAT to plain English
• System Managers Manual
• Program Notes
• Reference Manual
• Automatically define and create objects from existing documents

6.0

At least: 2+ GB RAM, 2 GB swap space for virtual memory, and 20 GB of disk space

Linux (Fedora 20,21) Developer Packages (e.g., gcc compiler and gdb debugger) and Open Motif, Xt, X.Org X Window System GUI environment (motif-2.3.4-7)