G05B 2219/24034
Model checker, to verify and debug control software
G05B2219/24034 (Model checker, to verify and debug control software) appears on 8 US grants and 14 published applications in this corpus.
Search patents in G05B- Granted patents
- 8
- Published applications
- 14
- Assignees
- 10
- Inventors
- 28
- Latest grant
- 4 Jan 2022
Filings by year
| Year | Granted patents | Published applications |
|---|---|---|
| 2004 | 0 | 2 |
| 2005 | 0 | 1 |
| 2006 | 0 | 0 |
| 2007 | 2 | 1 |
| 2008 | 1 | 1 |
| 2009 | 0 | 0 |
| 2010 | 0 | 1 |
| 2011 | 0 | 0 |
| 2012 | 0 | 0 |
| 2013 | 0 | 1 |
| 2014 | 1 | 1 |
| 2015 | 1 | 0 |
| 2016 | 0 | 0 |
| 2017 | 0 | 1 |
| 2018 | 0 | 1 |
| 2019 | 2 | 0 |
| 2020 | 0 | 0 |
| 2021 | 0 | 2 |
| 2022 | 1 | 0 |
| 2023 | 0 | 0 |
| 2024 | 0 | 1 |
| 2025 | 0 | 1 |
By publication year.
Recent patents
- System and method of declarative modeling of a process for automation4 Jan 2022US 11,215,961 B2Tata Consultancy Services Limited
- Method and system for configuration of devices of a control system31 Dec 2019US 10,523,502 B2ABB Schweiz AG
- Engineering tool21 May 2019US 10,295,981 B2Mitsubishi Electric Corporation
- Using a manifest to record presence of valid software and calibration6 Jan 2015US 8,930,710 B2GM Global Technology Operations LLC
- Method for validation of a graphically based executable control specification using model extraction10 Jun 2014US 8,751,094 B2Toyota Motor Engineering & Manufacturing North America, Inc.
- Engineering and Operations Support Systems and Methods6 Feb 2025US 2025/0045497 A1ABB Schweiz AG
- Household appliances intentional input detection25 Jan 2024US 2024/0027982 A1Haier US Appliance Solutions, Inc.
- Method For Facilitating Control System Testing And Simulation11 Mar 2021US 2021/0072720 A1ABB Schweiz AG
- System and method of declarative modeling of a process for automation4 Mar 2021US 2021/0063986 A1
- Engineering tool1 Mar 2018US 2018/0059634 A1Mitsubishi Electric Corporation
Most cited
By later US patents
- Software verification method for control units and verification system6US 7,275,184 B2Robert Bosch GmbH · 2007
- System and method of declarative modeling of a process for automation3US 11,215,961 B2Tata Consultancy Services Limited · 2022
- Engineering tool2US 10,295,981 B2Mitsubishi Electric Corporation · 2019
- Using a manifest to record presence of valid software and calibration2US 8,930,710 B2GM Global Technology Operations LLC · 2015
- Method to test a software system for technical systems1US 7,461,296 B2Siemens Aktiengesellschaft · 2008