JP5955900B2 - 状態遷移経路の算出によるスリープ・ウェークアッププロトコル検証のための方法およびシステム - Google Patents

状態遷移経路の算出によるスリープ・ウェークアッププロトコル検証のための方法およびシステム Download PDF

Info

Publication number
JP5955900B2
JP5955900B2 JP2014147675A JP2014147675A JP5955900B2 JP 5955900 B2 JP5955900 B2 JP 5955900B2 JP 2014147675 A JP2014147675 A JP 2014147675A JP 2014147675 A JP2014147675 A JP 2014147675A JP 5955900 B2 JP5955900 B2 JP 5955900B2
Authority
JP
Japan
Prior art keywords
program
path
ips
program code
task
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
JP2014147675A
Other languages
English (en)
Japanese (ja)
Other versions
JP2015038724A (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.)
Tata Consultancy Services Ltd
Original Assignee
Tata Consultancy Services 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 Tata Consultancy Services Ltd filed Critical Tata Consultancy Services Ltd
Publication of JP2015038724A publication Critical patent/JP2015038724A/ja
Application granted granted Critical
Publication of JP5955900B2 publication Critical patent/JP5955900B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)
JP2014147675A 2013-08-19 2014-07-18 状態遷移経路の算出によるスリープ・ウェークアッププロトコル検証のための方法およびシステム Active JP5955900B2 (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
IN2701/MUM/2013 2013-08-19
IN2701MU2013 IN2013MU02701A (enExample) 2013-08-19 2013-08-19

Publications (2)

Publication Number Publication Date
JP2015038724A JP2015038724A (ja) 2015-02-26
JP5955900B2 true JP5955900B2 (ja) 2016-07-20

Family

ID=52467774

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2014147675A Active JP5955900B2 (ja) 2013-08-19 2014-07-18 状態遷移経路の算出によるスリープ・ウェークアッププロトコル検証のための方法およびシステム

Country Status (3)

Country Link
US (1) US9141511B2 (enExample)
JP (1) JP5955900B2 (enExample)
IN (1) IN2013MU02701A (enExample)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109446056B (zh) * 2018-09-11 2023-03-21 平安科技（深圳）有限公司 代码验证方法、装置、电子设备及介质
CN111866060A (zh) * 2020-05-26 2020-10-30 普联国际有限公司 通信设备的tls连接方法、通信设备和通信系统
CN115865791B (zh) * 2023-03-02 2023-05-09 北京天弛网络有限公司 骨干网络故障的路径切换方法、系统、介质及电子设备

Family Cites Families (22)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5872909A (en) * 1995-01-24 1999-02-16 Wind River Systems, Inc. Logic analyzer for software
US6178394B1 (en) 1996-12-09 2001-01-23 Lucent Technologies Inc. Protocol checking for concurrent systems
JP3943665B2 (ja) * 1997-09-01 2007-07-11 株式会社東芝 スリープ制御方法、およびイベント通知方法
JP3458796B2 (ja) * 1999-10-18 2003-10-20 株式会社デンソー 割込命令チェック装置及び記録媒体
JP2001117793A (ja) * 1999-10-21 2001-04-27 Denso Corp 割込命令チェック装置及び記録媒体
JP2002055833A (ja) * 2000-08-09 2002-02-20 Toshiba Corp リアルタイムシステム設計装置、リアルタイムシステム設計方法及びリアルタイムシステム設計プログラムを記録した記録媒体
US20030084376A1 (en) * 2001-10-25 2003-05-01 Nash James W. Software crash event analysis method and system
JP2003323465A (ja) * 2002-04-30 2003-11-14 Canon Inc 省電力時の不正アクセス自動検証装置
US20060075305A1 (en) * 2004-10-01 2006-04-06 Microsoft Corporation Method and system for source-code model-based testing
JP2006331027A (ja) * 2005-05-25 2006-12-07 Nissan Motor Co Ltd 検査装置、検査方法、及び検査プログラム
JP4414373B2 (ja) * 2005-06-30 2010-02-10 富士通株式会社 プログラムの検証プログラム、プログラムの検証装置、プログラムの検証方法
US20090132991A1 (en) 2007-11-16 2009-05-21 Nec Laboratories America, Inc Partial order reduction for scalable testing in system level design
JP2010066889A (ja) * 2008-09-09 2010-03-25 Sharp Corp 排他制御不具合候補抽出装置、排他制御不具合候補抽出方法、および排他制御不具合候補抽出プログラム
US20100275186A1 (en) * 2009-04-28 2010-10-28 Microsoft Corporation Segmentation for static analysis
US20110145799A1 (en) * 2009-12-12 2011-06-16 Microsoft Corporation Path-sensitive dataflow analysis including path refinement
JP5088754B2 (ja) * 2009-12-18 2012-12-05 インターナショナル・ビジネス・マシーンズ・コーポレーション システム、方法、プログラムおよびコード生成装置
JP2011191843A (ja) * 2010-03-12 2011-09-29 Toyota Central R&D Labs Inc 割込干渉解析装置、割込干渉解析方法、及び割込干渉解析プログラム
KR101649925B1 (ko) * 2010-10-13 2016-08-31 삼성전자주식회사 멀티 트레드 프로그램에서 변수의 단독 메모리 접근여부를 분석하는 방법
US8448146B2 (en) * 2011-03-31 2013-05-21 Infosys Limited Generation of functional tests for re-hosted applications
US8838413B2 (en) 2011-05-12 2014-09-16 Saudi Arabian Oil Company Valve actuator fault analysis system
US20140208297A1 (en) * 2013-01-20 2014-07-24 International Business Machines Corporation Validation of revised computer programs
US20140189652A1 (en) * 2013-05-21 2014-07-03 Concurix Corporation Filtering and Transforming a Graph Representing an Application

Also Published As

Publication number Publication date
IN2013MU02701A (enExample) 2015-06-26
US20150052504A1 (en) 2015-02-19
US9141511B2 (en) 2015-09-22
JP2015038724A (ja) 2015-02-26

Similar Documents

Publication Publication Date Title
JP6602435B2 (ja) 連続イベント処理（ｃｅｐ）クエリの並列の実行
Cook et al. A survey on industrial control system digital forensics: Challenges, advances and future directions
Zonouz et al. Detecting industrial control malware using automated PLC code analytics
US10936333B2 (en) System and method for managing system configuration data models
US8656496B2 (en) Global variable security analysis
CN100489805C (zh) 运行时间安全保证的自动存储器检测器及其方法
US20190243977A1 (en) System and method for threat impact characterization
US9245147B1 (en) State machine reference monitor for information system security
WO2024230401A1 (zh) 基板管理控制器系统运行方法、装置、设备及非易失性可读存储介质
CN104866767B (zh) 一种安全机制的嵌入式模块
US10425412B2 (en) Dynamic generation of key for encrypting data in management node
US20110292834A1 (en) Maintaining Time Series Models for Information Technology System Parameters
JP5955900B2 (ja) 状態遷移経路の算出によるスリープ・ウェークアッププロトコル検証のための方法およびシステム
CN116226844A (zh) 使用基于硬件的数据流异常检测来检测面向数据的攻击
Iber et al. The potential of self-adaptive software systems in industrial control systems
CN114691197A (zh) 代码分析方法、装置、电子设备和存储介质
Wang et al. Offdtan: A new approach of offline dynamic taint analysis for binaries
US7805734B2 (en) Platform management of high-availability computer systems
US9542182B2 (en) Standardization of variable names in an integrated development environment
US8397061B2 (en) Unattended code update of storage facility
CN113687869B (zh) 一种兼容txt功能和asd功能的方法和装置
US20170212755A1 (en) System and method for computing a criticality metric of a unit of source code
US9191267B2 (en) Device management for determining the effects of management actions
CN106203099A (zh) 一种硬件支持嵌入式系统程序指令标记的保护方法
US12164963B1 (en) Techniques for detecting AI pipelines in cloud computing environments

Legal Events

Date Code Title Description
A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20150831

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20151006

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20160105

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: 20160524

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20160615

R150 Certificate of patent or registration of utility model

Ref document number: 5955900

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

R154 Certificate of patent or utility model (reissue)

Free format text: JAPANESE INTERMEDIATE CODE: R154

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250