JP7780382B2 - モデル検査装置、及びモデル検査方法 - Google Patents

モデル検査装置、及びモデル検査方法

Info

Publication number
JP7780382B2
JP7780382B2 JP2022067130A JP2022067130A JP7780382B2 JP 7780382 B2 JP7780382 B2 JP 7780382B2 JP 2022067130 A JP2022067130 A JP 2022067130A JP 2022067130 A JP2022067130 A JP 2022067130A JP 7780382 B2 JP7780382 B2 JP 7780382B2
Authority
JP
Japan
Prior art keywords
partial
specifications
service
verification
model checking
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
JP2022067130A
Other languages
English (en)
Japanese (ja)
Other versions
JP2023157310A5 (enExample
JP2023157310A (ja
Inventor
遼 清水
秀行 鹿糠
広樹 高橋
俊司 木暮
淳平 西谷
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hitachi Ltd
Original Assignee
Hitachi Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Hitachi Ltd filed Critical Hitachi Ltd
Priority to JP2022067130A priority Critical patent/JP7780382B2/ja
Publication of JP2023157310A publication Critical patent/JP2023157310A/ja
Publication of JP2023157310A5 publication Critical patent/JP2023157310A5/ja
Application granted granted Critical
Publication of JP7780382B2 publication Critical patent/JP7780382B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Landscapes

  • Debugging And Monitoring (AREA)
JP2022067130A 2022-04-14 2022-04-14 モデル検査装置、及びモデル検査方法 Active JP7780382B2 (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2022067130A JP7780382B2 (ja) 2022-04-14 2022-04-14 モデル検査装置、及びモデル検査方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2022067130A JP7780382B2 (ja) 2022-04-14 2022-04-14 モデル検査装置、及びモデル検査方法

Publications (3)

Publication Number Publication Date
JP2023157310A JP2023157310A (ja) 2023-10-26
JP2023157310A5 JP2023157310A5 (enExample) 2024-12-05
JP7780382B2 true JP7780382B2 (ja) 2025-12-04

Family

ID=88469177

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2022067130A Active JP7780382B2 (ja) 2022-04-14 2022-04-14 モデル検査装置、及びモデル検査方法

Country Status (1)

Country Link
JP (1) JP7780382B2 (enExample)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20250147864A1 (en) * 2023-11-02 2025-05-08 Woven By Toyota, Inc. System and method for performing validations of software

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2008250547A (ja) 2007-03-29 2008-10-16 Denso It Laboratory Inc 合成サービス設計支援システム及び合成サービス設計支援プログラム
JP2014134965A (ja) 2013-01-10 2014-07-24 Toshiba Corp 検査モデル生成装置
JP2021089685A (ja) 2019-12-06 2021-06-10 株式会社日立製作所 セキュリティリスク軽減方法及びシステム

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP6002507B2 (ja) * 2012-08-31 2016-10-05 日立オートモティブシステムズ株式会社 ソフトウェア検証用プログラムおよびソフトウェア検証システム

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2008250547A (ja) 2007-03-29 2008-10-16 Denso It Laboratory Inc 合成サービス設計支援システム及び合成サービス設計支援プログラム
JP2014134965A (ja) 2013-01-10 2014-07-24 Toshiba Corp 検査モデル生成装置
JP2021089685A (ja) 2019-12-06 2021-06-10 株式会社日立製作所 セキュリティリスク軽減方法及びシステム

Also Published As

Publication number Publication date
JP2023157310A (ja) 2023-10-26

Similar Documents

Publication Publication Date Title
JP4396994B2 (ja) リソース・ファイルの翻訳検証方法、装置、およびプログラム
JP5350428B2 (ja) 自動プログラム生成装置、方法及びコンピュータプログラム
JP5629239B2 (ja) ソフトウェアの動作をテストする装置及び方法
US10095699B2 (en) Computer-readable recording medium, execution control method, and information processing apparatus
CN107729423B (zh) 一种大数据处理方法及装置
JP7780382B2 (ja) モデル検査装置、及びモデル検査方法
CN105446952A (zh) 用于处理语义片段的方法和系统
Rizzi Improved equivalent linearization implementations using nonlinear stiffness evaluation
JP6700554B2 (ja) 分散処理管理方法、分散処理管理プログラム、および分散処理管理装置
EP4365730A1 (en) Software component update system, and software component update method
US20080294396A1 (en) System and method for validating design requirements
KR102513228B1 (ko) 데이터 변환 규칙에 따라 데이터의 표시 형식을 자동 변환하여 이관할 수 있는 전자 장치 및 그 동작 방법
US10666255B1 (en) System and method for compacting X-pessimism fixes for gate-level logic simulation
JP7734529B2 (ja) 設計項目管理システム
CN107025110B (zh) 一种基于软件开发要素及要素之间的联系的时态建模方法
Chevallet X-IOTA: An Open XML Framework for IR Experimentation: Application on Multiple Weighting Scheme Tests in a Bilingual Corpus
JP6636873B2 (ja) ソースコードからの仕様抽出装置
WO2019142469A1 (ja) セキュリティ設計装置、セキュリティ設計方法およびセキュリティ設計プログラム
US6877140B1 (en) Method and system for generating a schematic representing bus structures
CN114691095B (zh) 工作流扩增方法及相关设备
JP2016099726A (ja) 仕様生成方法、仕様生成装置、及びプログラム
US20090319983A1 (en) Intellectual property model creating apparatus, intellectual property model creating method, and computer product
JP7760482B2 (ja) ソフトウェア構成管理データ作成支援装置、ソフトウェア構成管理データ作成支援方法
CN119167365B (zh) 企业制品的核验处理方法、装置、设备及存储介质
JP3345522B2 (ja) データ項目部品を利用するプログラム開発支援装置

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20241126

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20241126

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20250917

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20251014

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20251020

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20251118

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20251121

R150 Certificate of patent or registration of utility model

Ref document number: 7780382

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150