Formal Methods refers to the use of mathematical techniques for the specification, development and verification of software. As with other engineering disciplines, the use of rigorous mathematics analysis in the design and construction of software engineering artifacts can be used to prove the correctness of software at each stage of development. Application of Formal Methods requires the discovery and development of a Formal System of equations, logic or mathematical relationships which can be used to model and test the software solution created to solve a particular problem.
Use of Formal Methods is often limited due the large amount of specialized com-puter and mathematical talent required. Semantisys is partnered with a pioneer in the field of Formal Methods who supplies a general Formal System which can be used to automatically generate any type of application software. Our partnership supports a Formal Method methodology for system engineering and software development. It is a hierarchical, functional and object oriented network modeling technique based upon a unique concept of control. It is used to specify, prototype and develop systems of arbitrary complexity and size (for both database driven and real time distributed environments). The system has properties of built-in quality and built-in productivity that support its own development. By modeling the behavior and structure, the application system inherently models its own `life cycle'. Semantisys is currently prototyping an Energy Infrastructure, Robotics Sensor System and Electronic Medical Records using Formal methods.
Copyright, Semantisys Inc., 2009 All rights reserved.