Browse Definitions :
Definition

formal methods

Contributor(s): Matthew Haughn

Formal methods are the use of mathematical modelling for the specification, development and verification of systems in both software and electronic hardware. The formal methods are used to ensure these systems are developed without error.

The mathematical foundation underlying formal methods is used to help ensure the adequacy of the design to result in real world functionality, consistency and dependability in the end product.

Much as in other fields of engineering, formal methods applies mathematics to software and hardware engineering in order to add certainty to designing and testing of these systems. Formal methods are used to describe a systems functions prior to design with descriptive languages ensuring the functionality of the system. Formal methods may be used in development depending on the rigor with which the system is described. Formal specifications can function as a guide to requirements. In analysis, formal methods provide the description of functions by which the program can be verified.

The extent to which formal methods are implemented can vary. Sometimes, the full implementation of formal methods is deemed too costly except in the case of critically important systems and complex designs where errors can result in costly redesigns or refabrication. Often, formal methods are only used to describe the desired function and to guide development. This is considered level 0 or formal methods lite. When  formal methods are additionally used to verify functions, it is considered level 1. Level 2, the highest degree of formal methods, is when the full system is machine verified through all its functions.

Some examples of systems that might be fully specified under formal methods would be complex semi-conductors such as CPUs or GPUs or critical systems in software like that which is used in SCADA for control of power plants

This was last updated in November 2018

Continue Reading About formal methods

Start the conversation

Send me notifications when other members comment.

Please create a username to comment.

-ADS BY GOOGLE

File Extensions and File Formats

SearchCompliance

  • PCI DSS (Payment Card Industry Data Security Standard)

    The Payment Card Industry Data Security Standard (PCI DSS) is a widely accepted set of policies and procedures intended to ...

  • risk management

    Risk management is the process of identifying, assessing and controlling threats to an organization's capital and earnings.

  • compliance framework

    A compliance framework is a structured set of guidelines that details an organization's processes for maintaining accordance with...

SearchSecurity

  • DNS over HTTPS (DoH)

    DNS over HTTPS (DoH) is a relatively new protocol that encrypts domain name system traffic by passing DNS queries through a ...

  • integrated risk management (IRM)

    Integrated risk management (IRM) is an approach to risk management that uses a set of practices and processes to improve an ...

  • MITRE ATT&CK framework

    The MITRE ATT&CK (pronounced 'miter attack') framework is a free, globally accessible service that provides comprehensive and ...

SearchHealthIT

  • telemedicine (telehealth)

    Telemedicine is the remote delivery of healthcare services, such as health assessments or consultations, over the ...

  • Project Nightingale

    Project Nightingale is a controversial partnership between Google and Ascension, the second largest health system in the United ...

  • medical practice management (MPM) software

    Medical practice management (MPM) software is a collection of computerized services used by healthcare professionals and ...

SearchDisasterRecovery

SearchStorage

  • M.2 SSD

    An M.2 SSD is a solid-state drive (SSD) that conforms to a computer industry specification and is used in internally mounted ...

  • kilobyte (KB or Kbyte)

    A kilobyte (KB or Kbyte) is a unit of measurement for computer memory or data storage used by mathematics and computer science ...

  • virtual memory

    Virtual memory is a memory management capability of an operating system (OS) that uses hardware and software to allow a computer ...

Close