JP5706463B2 - 階層的蓄積型妥当性確認システム及び方法 - Google Patents
階層的蓄積型妥当性確認システム及び方法 Download PDFInfo
- Publication number
- JP5706463B2 JP5706463B2 JP2013085085A JP2013085085A JP5706463B2 JP 5706463 B2 JP5706463 B2 JP 5706463B2 JP 2013085085 A JP2013085085 A JP 2013085085A JP 2013085085 A JP2013085085 A JP 2013085085A JP 5706463 B2 JP5706463 B2 JP 5706463B2
- Authority
- JP
- Japan
- Prior art keywords
- feature
- computer
- module
- application
- processor
- 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
Links
Images
Classifications
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B60—VEHICLES IN GENERAL
- B60W—CONJOINT CONTROL OF VEHICLE SUB-UNITS OF DIFFERENT TYPE OR DIFFERENT FUNCTION; CONTROL SYSTEMS SPECIALLY ADAPTED FOR HYBRID VEHICLES; ROAD VEHICLE DRIVE CONTROL SYSTEMS FOR PURPOSES NOT RELATED TO THE CONTROL OF A PARTICULAR SUB-UNIT
- B60W50/00—Details of control systems for road vehicle drive control not related to the control of a particular sub-unit, e.g. process diagnostic or vehicle driver interfaces
- B60W50/04—Monitoring the functioning of the control system
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B60—VEHICLES IN GENERAL
- B60W—CONJOINT CONTROL OF VEHICLE SUB-UNITS OF DIFFERENT TYPE OR DIFFERENT FUNCTION; CONTROL SYSTEMS SPECIALLY ADAPTED FOR HYBRID VEHICLES; ROAD VEHICLE DRIVE CONTROL SYSTEMS FOR PURPOSES NOT RELATED TO THE CONTROL OF A PARTICULAR SUB-UNIT
- B60W50/00—Details of control systems for road vehicle drive control not related to the control of a particular sub-unit, e.g. process diagnostic or vehicle driver interfaces
- B60W2050/0001—Details of the control system
- B60W2050/0002—Automatic control, details of type of controller or control system architecture
- B60W2050/0004—In digital systems, e.g. discrete-time systems involving sampling
- B60W2050/0006—Digital architecture hierarchy
Landscapes
- Engineering & Computer Science (AREA)
- Automation & Control Theory (AREA)
- Human Computer Interaction (AREA)
- Transportation (AREA)
- Mechanical Engineering (AREA)
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Description
Claims (19)
- コンピュータベースの方法であって、
グラフィックベース論理制御仕様を階層的に妥当性確認するためのプロセッサによって、第1フィーチャを含む前記制御仕様の第1アプリケーションの機能的階層を識別するステップであって、前記第1フィーチャが第1モジュールを含み、該第1モジュールが前記第1フィーチャよりも下の層又は低いレベルにあり、該第1フィーチャが前記第1アプリケーションよりも下の層又は低いレベルにある、ステップと、
前記第1モジュールの構造と、該第1モジュールの機能的要件が満たされていることとのうちの少なくとも一方を妥当性確認すべく、該第1モジュール上で第1モジュール・テストケースを前記プロセッサによって実行するステップと、
前記第1モジュール・テストケースを実行した後、前記第1フィーチャの構造と、該第1フィーチャの機能的要件が満たされていることとのうちの少なくとも一方を妥当性確認すべく、該第1フィーチャ上で第1フィーチャ・テストケースを前記プロセッサによって実行するステップと、
前記第1フィーチャ・テストケースを実行した後、前記第1アプリケーションの機能的要件が満たされていることを妥当性確認すべく、前記第1アプリケーションに対して第1アプリケーション・テストケースを前記プロセッサによって実行するステップと
を含む、コンピュータベースの方法。 - 第2フィーチャの構造と、該第2フィーチャの機能的要件が満たされていることとのうちの少なくとも一方を妥当性確認すべく、該第2フィーチャに対して第2フィーチャ・テストケースを前記プロセッサによって実行するステップであって、前記機能的階層は前記第2フィーチャを含み、該第2フィーチャの妥当性確認は前記第1フィーチャの結果の妥当性確認を含む、ステップを更に含む、請求項1に記載のコンピュータベースの方法。
- 前記第1フィーチャが複数のモジュールを含み、当該方法が、前記複数のモジュールの各々の構造と、該複数のモジュールの各々の機能的要件が満たされていることとのうちの少なくとも一方を妥当性確認すべく、該複数のモジュール上で複数のモジュール・テストケースを前記プロセッサによって実行するステップを更に含む、請求項1に記載のコンピュータベースの方法。
- さらに、テキストベース・コードをグラフィックベース論理に翻訳することを含む、請求項1に記載のコンピュータベースの方法。
- さらに、グラフィックベース論理をテキストベース・コードに翻訳することを含む、請求項1に記載のコンピュータベースの方法。
- さらに、前記制御仕様内の複数のアプリケーションの全てを妥当性確認することを含む、請求項1に記載のコンピュータベースの方法。
- さらに、前記第1アプリケーションの第1フィーチャの機能的階層を前記プロセッサによって識別することを含む、請求項1に記載のコンピュータベースの方法。
- さらに、前記制御仕様の終端で開始し且つ始端まで妥当性確認することを含む、請求項1に記載のコンピュータベースの方法。
- さらに、電子制御ユニット全体を妥当性確認することを含む、請求項1に記載のコンピュータベースの方法。
- 前記電子制御ユニットは車両の電子制御ユニットである、請求項9に記載のコンピュータベースの方法。
- 各フィーチャの独自の機能的要件を妥当性確認すべく、独自のフィーチャ・テストケースが開発される、請求項1に記載のコンピュータベースの方法。
- 前記階層的妥当性確認のプロセスが、モジュール・レベルからフィーチャ・レベルへ、そしてアプリケーション・レベルへ流れる、請求項1に記載のコンピュータベースの方法。
- テストケースの妥当性確認のオーバーラップが実質的に網羅的な妥当性確認カバレージを提供する、請求項1に記載のコンピュータベースの方法。
- 各フィーチャは前記グラフィックベース論理制御仕様内に機能を含む、請求項1に記載のコンピュータベースの方法。
- 国際標準化機構(ISO)の仕様に対して前記制御仕様を妥当性確認するのに使用される、請求項1に記載のコンピュータベースの方法。
- 前記グラフィックベース論理制御仕様のエレメントがユーザーインターフェイス上でレンダリングされる、請求項1に記載のコンピュータベースの方法。
- 第2アプリケーションの機能的要件が満たされていることを妥当性確認すべく、該第2アプリケーション上で第2アプリケーション・テストケースを前記プロセッサによって実行することを更に含む、請求項1に記載のコンピュータベースの方法。
- システムであって、
グラフィックベース論理制御仕様を階層的に妥当性確認するように構成されたプロセッサと、
該プロセッサと通信するように構成された有形の非一時的なメモリと
を具備し、
該有形の非一時的なメモリは該メモリ上に記憶された命令を有し、
該命令は、前記プロセッサによる実行に応答して、
グラフィックベース論理制御仕様を階層的に妥当性確認するためのプロセッサによって、第1フィーチャを含む前記制御仕様の第1アプリケーションの機能的階層を識別するステップであって、前記第1フィーチャが第1モジュールを含み、該第1モジュールが前記第1フィーチャよりも下の層又は低いレベルにあり、該第1フィーチャが前記第1アプリケーションよりも下の層又は低いレベルにある、ステップと、
前記第1モジュールの構造と、該第1モジュールの機能的要件が満たされていることとのうちの少なくとも一方を妥当性確認すべく、該第1モジュール上で第1モジュール・テストケースを前記プロセッサによって実行するステップと、
前記第1モジュール・テストケースを実行した後、前記第1フィーチャの構造と、前記第1フィーチャの機能的要件が満たされていることとのうちの少なくとも一方を妥当性確認すべく、該第1フィーチャ上で第1フィーチャ・テストケースを前記プロセッサによって実行するステップと、
前記第1フィーチャ・テストケースを実行した後、前記第1アプリケーションの機能的要件が満たされていることを妥当性確認すべく、前記第1アプリケーションに対して第1アプリケーション・テストケースを前記プロセッサによって実行するステップと
を含む作業を前記プロセッサに実施させる、システム。 - 非一時的な有形のコンピュータ可読記憶媒体を含む製造物品であって、該非一時的な有形のコンピュータ可読記憶媒体は該記憶媒体上に記憶された命令を有し、
該命令は、グラフィックベース論理制御仕様を階層的に妥当性確認するように構成されたコンピュータベース・システムによる実行に応答して、
該コンピュータベース・システムによって、第1フィーチャを含む前記制御仕様の第1アプリケーションの機能的階層を識別するステップであって、前記第1フィーチャが第1モジュールを含み、該第1モジュールが前記第1フィーチャよりも下の層又は低いレベルにあり、該第1フィーチャが前記第1アプリケーションよりも下の層又は低いレベルにある、ステップと、
前記第1モジュールの構造と、該第1モジュールの機能的要件が満たされていることとのうちの少なくとも一方を妥当性確認すべく、該第1モジュール上で第1モジュール・テストケースを前記プロセッサによって実行するステップと、
前記第1モジュール・テストケースを実行した後、前記第1フィーチャの構造と、前記第1フィーチャの機能的要件が満たされていることとのうちの少なくとも一方を妥当性確認すべく、該第1フィーチャ上で第1フィーチャ・テストケースを前記コンピュータベース・システムによって実行するステップと、
前記第1フィーチャ・テストケースを実行した後、前記第1アプリケーションの機能的要件が満たされることを妥当性確認すべく、前記第1アプリケーションに対して第1アプリケーション・テストケースを前記コンピュータベース・システムによって実行するステップと
を含む作業を前記コンピュータベース・システムに実施させる、非一時的な有形のコンピュータ可読記憶媒体を含む製造物品。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US13/448,304 | 2012-04-16 | ||
US13/448,304 US8751093B2 (en) | 2012-04-16 | 2012-04-16 | Hierarchical accumulated validation system and method |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2013222465A JP2013222465A (ja) | 2013-10-28 |
JP5706463B2 true JP5706463B2 (ja) | 2015-04-22 |
Family
ID=49325806
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2013085085A Active JP5706463B2 (ja) | 2012-04-16 | 2013-04-15 | 階層的蓄積型妥当性確認システム及び方法 |
Country Status (2)
Country | Link |
---|---|
US (1) | US8751093B2 (ja) |
JP (1) | JP5706463B2 (ja) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP6216183B2 (ja) * | 2013-08-22 | 2017-10-18 | 三菱航空機株式会社 | 航空機に搭載される制御システム、および航空機 |
CN109542784A (zh) * | 2018-11-19 | 2019-03-29 | 中国银行股份有限公司 | 一种测试案例检查方法及装置 |
US11243874B2 (en) | 2020-03-31 | 2022-02-08 | Tata Consultancy Services Limited | Knowledge centric approach to auto-generate test specifications for IoT solutions |
Family Cites Families (16)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04278633A (ja) * | 1991-03-07 | 1992-10-05 | Hitachi Ltd | 図形式表現関数型プログラムの編集・実行方法 |
US6981176B2 (en) | 1999-05-10 | 2005-12-27 | Delphi Technologies, Inc. | Secured microcontroller architecture |
TW420771B (en) | 1999-08-14 | 2001-02-01 | Ibm | Electronic control system for controlling the function of a processing system and method for managing system fault situations of the electronic control system |
JP4254027B2 (ja) | 2000-07-26 | 2009-04-15 | 株式会社デンソー | 車両統合制御システム |
JP4031905B2 (ja) * | 2000-11-09 | 2008-01-09 | 富士通株式会社 | 回路設計装置及び回路設計方法 |
JP2003076545A (ja) * | 2001-08-31 | 2003-03-14 | Mitsubishi Electric Corp | プログラム開発支援装置 |
WO2005017743A2 (en) | 2003-08-07 | 2005-02-24 | National Instruments Corporation | A graphical program which executes a timed loop |
JP4222154B2 (ja) | 2003-08-28 | 2009-02-12 | 株式会社デンソー | 車両制御システム |
US8060285B2 (en) | 2006-04-26 | 2011-11-15 | Toyota Motor Engineering & Manufacturing North America, Inc. | System and method of intelligent agent management using an overseer agent for use in vehicle diagnostics |
WO2008099931A1 (ja) * | 2007-02-15 | 2008-08-21 | Fujitsu Ten Limited | マイクロコンピュータの模擬装置 |
DE112009000155T5 (de) * | 2008-01-24 | 2010-12-02 | Autonetworks Technologies, Ltd., Yokkaichi-shi | Einrichtungssteuervorrichtung und Einrichtungssteuerprogramm |
US8060347B2 (en) * | 2008-07-29 | 2011-11-15 | Mentor Graphics Corporation | Complexity management for vehicle electrical/electronic architecture design |
US20100030546A1 (en) | 2008-07-29 | 2010-02-04 | Freescale Semiconductor, Inc. | Gui-facilitated simulation and verification for vehicle electrical/electronic architecture design |
JP2010079516A (ja) * | 2008-09-25 | 2010-04-08 | Fujitsu Microelectronics Ltd | シミュレーション方法およびシミュレーションプログラム |
US8260498B2 (en) | 2009-10-27 | 2012-09-04 | GM Global Technology Operations LLC | Function decomposition and control architecture for complex vehicle control system |
JP4965634B2 (ja) * | 2009-12-07 | 2012-07-04 | インターナショナル・ビジネス・マシーンズ・コーポレーション | シミュレーション・システムの動作制御方法、プログラム及びシステム |
-
2012
- 2012-04-16 US US13/448,304 patent/US8751093B2/en active Active
-
2013
- 2013-04-15 JP JP2013085085A patent/JP5706463B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
US8751093B2 (en) | 2014-06-10 |
JP2013222465A (ja) | 2013-10-28 |
US20130274949A1 (en) | 2013-10-17 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8751094B2 (en) | Method for validation of a graphically based executable control specification using model extraction | |
JP5706463B2 (ja) | 階層的蓄積型妥当性確認システム及び方法 | |
CN117234926A (zh) | 基于autosar架构的软件组件接口检查方法及装置 | |
JP5680514B2 (ja) | 自己診断機能を備えたコンピュータ、ソフトウェア作成方法、およびソフトウェア作成装置 | |
Li et al. | Complying with ISO 26262 and ISO/SAE 21434: A Safety and Security Co-Analysis Method for Intelligent Connected Vehicle | |
Moukahal et al. | Vehicle software engineering (VSE): Research and practice | |
CN103488570B (zh) | 一种嵌入式软件的可组合信息流验证***及方法 | |
Rana et al. | Early verification and validation according to iso 26262 by combining fault injection and mutation testing | |
Giusto et al. | Modeling and analysis of automotive systems: Current approaches and future trends | |
Zander-Nowicka et al. | Automotive validation functions for on-line test evaluation of hybrid real-time systems | |
Kaiser et al. | An AEBS use case for model-based system design integrating safety analyses and simulation | |
Patil et al. | Model based system engineering (mbse) for accelerating software development cycle | |
Schneider et al. | Safety element out of context-a practical approach | |
Harris | Embedded software for automotive applications | |
Weissnegger et al. | A novel method to speed-up the evaluation of cyber-physical systems (ISO 26262) | |
Ortega‐Cabezas et al. | Application of rule‐based expert systems in hardware‐in‐the‐loop simulation case study: Software and performance validation of an engine electronic control unit | |
KR20130043561A (ko) | 응용 소프트웨어와 autosar 서비스의 연동을 검증하기 위한 장치 및 그 방법 | |
Amalfitano et al. | Towards automatic model-in-the-loop testing of electronic vehicle information centers | |
Boulanger | Experiences from a model-based methodology for embedded electronic software in automobile | |
Lingga et al. | Automotive real-time operating system in vehicular technology progress review | |
Mirheidari et al. | AUTOSAR model-based software component integration of supplier software | |
Sari et al. | A model-driven approach for dependent failure analysis in consideration of multicore processors using modified EAST-ADL | |
Hicken | Mitigate risk with leveraging automotive development standards | |
Pimentel | The Role of ISO 26262 | |
Dajsuren | Automotive architecture description and its quality |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20140328 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20140408 |
|
A601 | Written request for extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A601 Effective date: 20140707 |
|
A602 | Written permission of extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A602 Effective date: 20140710 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20141008 |
|
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: 20150127 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20150226 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5706463 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313113 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |