Product Overview
LDT is a patented, graphical aid for analyzing, modeling, and implementing digital control systems. With LDT, all logical conditions and actions are displayed in a manner where they may be viewed, considered, specified, executed, and analyzed before the logic is implemented. System design efforts in LDT result in precise functional specifications that can be directly implemented in hardware, or automatically in software. This drastically reduces or eliminates human error. LDT also displays the logic with multiple views and actions, so the designer has a greater chance of exposing design errors. By completing the design work up front — not piecemeal — LDT saves significant analysis, integration, test, and debug time.
LDT is based upon a canonical representation of logic that does not rely on Boolean equations (e.g. if A and B or C are true, then D is true), yet displays a specification that is complete (no unspecified cases) and unambiguous (only one action is specified for each case). This same ‘black box’ representation can be applied to any combinatorial, sequential, or asynchronous digital system. LDT is essentially CAD/CAM for logic.
Since the domain of LDT is not limited to software, it has applicability in any digital system. Thus, LDT can be used everywhere 1s and 0s exist.
LDT can also analyze large sets of legacy code by extracting the minimized finite state machine equivalent from the logical behavior of that code. Thus every operation that will occur within that code (including hacks and unintended operations) is exposed.
Our Team
The LDT approach appears to be a new and promising method for addressing one of the Achilles heels of safety-critical software development.” and “It does seem to me you may have found a viable solution to one of the more vexing problems in the aerospace industry.
This is a great tool is in contrast to present haphazard methods that use HDL
The advantage of using LDT over conventional FSM diagrams and HDLs is that it requires designers to carefully consider all possible scenarios. This style of design reduces the chance that a specification would have ambiguities or conflicts, which in turn reduces the chance of design errors. Finally, finding such design errors earlier in the design cycle is beneficial as the later they are found, the more costly they are to repair.
LDT does not replace present FMEA [Failure Modes Effects Analysis], but needs to become an important part of FMEA.
LDT is the only method to exhaustively examine all the transitions to or from a state in a finite state machine.
Contact Us
Assurant Design Automation, LLC
Kennesaw, GA 30144