FR3039908B1 - Systeme et procede pour technologie a base de modeles et processus pour la mise au point d'un logiciel essentiel pour la surete - Google Patents
Systeme et procede pour technologie a base de modeles et processus pour la mise au point d'un logiciel essentiel pour la surete Download PDFInfo
- Publication number
- FR3039908B1 FR3039908B1 FR1657522A FR1657522A FR3039908B1 FR 3039908 B1 FR3039908 B1 FR 3039908B1 FR 1657522 A FR1657522 A FR 1657522A FR 1657522 A FR1657522 A FR 1657522A FR 3039908 B1 FR3039908 B1 FR 3039908B1
- Authority
- FR
- France
- Prior art keywords
- safety
- development
- model
- based technology
- critical software
- 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
- 238000000034 method Methods 0.000 title 2
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
- G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3676—Test management for coverage analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3684—Test management for test design, e.g. generating new test cases
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
- G06F40/20—Natural language analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/10—Requirements analysis; Specification techniques
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/35—Creation or generation of source code model driven
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/42—Syntactic analysis
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Health & Medical Sciences (AREA)
- Artificial Intelligence (AREA)
- Audiology, Speech & Language Pathology (AREA)
- Computational Linguistics (AREA)
- General Health & Medical Sciences (AREA)
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US14/819,167 US10346140B2 (en) | 2015-08-05 | 2015-08-05 | System and method for model based technology and process for safety-critical software development |
Publications (2)
Publication Number | Publication Date |
---|---|
FR3039908A1 FR3039908A1 (fr) | 2017-02-10 |
FR3039908B1 true FR3039908B1 (fr) | 2022-12-23 |
Family
ID=56936596
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
FR1657522A Active FR3039908B1 (fr) | 2015-08-05 | 2016-08-03 | Systeme et procede pour technologie a base de modeles et processus pour la mise au point d'un logiciel essentiel pour la surete |
Country Status (7)
Country | Link |
---|---|
US (1) | US10346140B2 (fr) |
JP (1) | JP6621204B2 (fr) |
CN (1) | CN106528100B (fr) |
BR (1) | BR102016018127A2 (fr) |
CA (1) | CA2937677A1 (fr) |
FR (1) | FR3039908B1 (fr) |
GB (1) | GB2542687A (fr) |
Families Citing this family (38)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10346140B2 (en) * | 2015-08-05 | 2019-07-09 | General Electric Company | System and method for model based technology and process for safety-critical software development |
US9804954B2 (en) * | 2016-01-07 | 2017-10-31 | International Business Machines Corporation | Automatic cognitive adaptation of development assets according to requirement changes |
US9792204B2 (en) * | 2016-02-02 | 2017-10-17 | General Electric Company | System and method for coverage-based automated test case augmentation for design models |
US11126427B2 (en) * | 2016-02-17 | 2021-09-21 | Silverthread, Inc. | Computer-implemented methods and systems for measuring, estimating, and managing economic outcomes and technical debt in software systems and projects |
US20180165180A1 (en) * | 2016-12-14 | 2018-06-14 | Bank Of America Corporation | Batch File Creation Service |
JP6516923B2 (ja) * | 2017-01-23 | 2019-05-22 | 三菱電機株式会社 | ホワイトリスト生成器、ホワイトリスト評価器およびホワイトリスト生成・評価器、並びにホワイトリスト生成方法、ホワイトリスト評価方法およびホワイトリスト生成・評価方法 |
CN107016085A (zh) * | 2017-03-31 | 2017-08-04 | 海通安恒科技有限公司 | 一种计算机化系统验证管理系统 |
CN107451058B (zh) * | 2017-07-31 | 2023-05-30 | 北京云测信息技术有限公司 | 一种软件开发方法和装置 |
EP3493051A1 (fr) * | 2017-11-30 | 2019-06-05 | The MathWorks, Inc. | Système et procédés permettant d'évaluer la conformité du code de mise en uvre avec une spécification d'architecture logicielle |
DE102018003142A1 (de) | 2017-12-13 | 2019-06-13 | The Mathworks, Inc. | Automatische Einstellung von Multitasking-Konfigurationen für ein Codeprüfsystem |
JP6962867B2 (ja) * | 2018-06-04 | 2021-11-05 | 矢崎総業株式会社 | 脆弱性評価装置 |
US10585779B2 (en) | 2018-07-30 | 2020-03-10 | General Electric Company | Systems and methods of requirements chaining and applications thereof |
US10691584B2 (en) * | 2018-09-28 | 2020-06-23 | Sap Se | Behavior driven development integration with test tool |
EP3637249A1 (fr) * | 2018-10-12 | 2020-04-15 | Tata Consultancy Services Limited | Systèmes et procédés de validation de modèles spécifiques à un domaine |
CN109542452A (zh) * | 2018-11-19 | 2019-03-29 | 万惠投资管理有限公司 | 一种基于ai语义分析的运维管理方法及系统 |
JP6765554B2 (ja) | 2018-12-12 | 2020-10-07 | 三菱電機株式会社 | ソフトウェア試験装置、ソフトウェア試験方法、および、ソフトウェア試験プログラム |
FR3091106B1 (fr) * | 2018-12-20 | 2021-02-12 | Commissariat Energie Atomique | Système de supervision formelle de communications |
CN109933309B (zh) * | 2019-03-06 | 2024-07-16 | 上海工业控制安全创新科技有限公司 | 机器学习算法应用于汽车软件开发功能安全的流程方法 |
CN113519018B (zh) * | 2019-03-12 | 2023-01-03 | 三菱电机株式会社 | 移动体控制装置和移动体控制方法 |
CN110032365A (zh) * | 2019-04-19 | 2019-07-19 | 广东小天才科技有限公司 | 一种Sketch图形文件的代码查找方法、装置及终端设备 |
CN112180890B (zh) * | 2019-07-05 | 2022-01-07 | 北京新能源汽车股份有限公司 | 一种测试用例的生成方法、装置及设备 |
CN110445690A (zh) * | 2019-08-16 | 2019-11-12 | 北京智芯微电子科技有限公司 | 电力无线公网通信单元互换性测试软件的设计方法 |
CN110457031A (zh) * | 2019-08-21 | 2019-11-15 | 赛尔网络有限公司 | 一种软件开发方法、装置、设备及介质 |
CN111274133B (zh) * | 2020-01-17 | 2023-07-25 | Oppo广东移动通信有限公司 | 一种静态扫描方法、装置及计算机可读存储介质 |
CN111858298B (zh) * | 2020-05-29 | 2022-08-30 | 卡斯柯信号有限公司 | 一种基于3v模型的软件测试方法 |
US11200069B1 (en) | 2020-08-21 | 2021-12-14 | Honeywell International Inc. | Systems and methods for generating a software application |
CN112068805B (zh) * | 2020-09-02 | 2024-05-03 | 中国航空无线电电子研究所 | 一种需求开发方法 |
CN112015658A (zh) * | 2020-09-02 | 2020-12-01 | 卡斯柯信号(北京)有限公司 | 一种用于软件集成测试用例的生成方法及装置 |
EP3989073A1 (fr) * | 2020-10-20 | 2022-04-27 | Rosemount Aerospace Inc. | Génération de vecteurs de test automatisés |
BE1028501B1 (nl) * | 2020-11-05 | 2022-02-11 | Ivex | Een methode en een systeem voor het automatisch genereren van een geïntegreerde broncode voor de elektronische regeleenheid van een AD/ADAS-wegvoertuig |
CN112416337B (zh) * | 2020-11-11 | 2023-05-02 | 北京京航计算通讯研究所 | 一种面向航天嵌入式系统的软件架构开发系统 |
EP4016364A1 (fr) * | 2020-12-16 | 2022-06-22 | The Boeing Company | Dispositif informatique et procédé de développement d'un modèle de système à l'aide d'un module d'évaluation de simulation |
CN112966489A (zh) * | 2021-03-24 | 2021-06-15 | 中国民用航空上海航空器适航审定中心 | 非原子性缺陷的检测方法、电子设备及存储介质 |
CN113204330B (zh) * | 2021-06-01 | 2024-03-26 | 李麟 | 一种基于人工智能的程序开发设计方法及系统 |
US11507352B1 (en) | 2021-06-15 | 2022-11-22 | International Business Machines Corporation | Reducing semantic errors in code generated by machine learning models |
CN113791776B (zh) * | 2021-08-03 | 2023-05-26 | 中国电子科技集团公司第三十研究所 | 可双向转换的并发性验证方法、系统、设备及存储介质 |
CN114137873A (zh) * | 2021-11-23 | 2022-03-04 | 中船动力研究院有限公司 | 发动机的程序开发方法及装置、发动机的控制系统 |
US11797317B1 (en) * | 2021-12-10 | 2023-10-24 | Amazon Technologies, Inc. | Transitioning legacy software to be provably correct |
Family Cites Families (41)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6681383B1 (en) | 2000-04-04 | 2004-01-20 | Sosy, Inc. | Automatic software production system |
US7131000B2 (en) * | 2001-01-18 | 2006-10-31 | Bradee Robert L | Computer security system |
GB0113946D0 (en) | 2001-06-08 | 2001-11-14 | Secr Defence | Automatic Development of Software Codes |
US20050020945A1 (en) * | 2002-07-02 | 2005-01-27 | Tosaya Carol A. | Acoustically-aided cerebrospinal-fluid manipulation for neurodegenerative disease therapy |
US7480893B2 (en) | 2002-10-04 | 2009-01-20 | Siemens Corporate Research, Inc. | Rule-based system and method for checking compliance of architectural analysis and design models |
US7228524B2 (en) | 2002-12-20 | 2007-06-05 | The Boeing Company | Method and system for analysis of software requirements |
US20070074180A1 (en) * | 2003-12-22 | 2007-03-29 | Nasa Hq's | Systems, Methods and Apparatus for Procedure Development and Verification |
US7739671B1 (en) * | 2003-12-22 | 2010-06-15 | The United States Of America As Represented By The Administrator Of The National Aeronautics And Space Administration | Systems, methods and apparatus for implementation of formal specifications derived from informal requirements |
US7685576B2 (en) | 2004-01-26 | 2010-03-23 | Siemens Corporation | System and method for model based system testing of interactive applications |
US7392509B2 (en) * | 2004-04-13 | 2008-06-24 | University Of Maryland | Method for domain specific test design automation |
GB0410047D0 (en) * | 2004-05-05 | 2004-06-09 | Silverdata Ltd | An analytical software design system |
US7865339B2 (en) | 2004-07-12 | 2011-01-04 | Sri International | Formal methods for test case generation |
EP1622022A1 (fr) | 2004-07-22 | 2006-02-01 | Siemens Aktiengesellschaft | Création automatique de jeux de tests |
JP2007122135A (ja) | 2005-10-25 | 2007-05-17 | Hitachi Ltd | 開発支援装置、開発支援方法、および、開発支援プログラム |
EP1832975A1 (fr) | 2006-03-09 | 2007-09-12 | Alcatel Lucent | Génération automatique de programme source |
US7523425B2 (en) | 2006-04-21 | 2009-04-21 | Alcatel-Lucent Usa Inc. | Test case generation algorithm for a model checker |
US8176470B2 (en) | 2006-10-13 | 2012-05-08 | International Business Machines Corporation | Collaborative derivation of an interface and partial implementation of programming code |
US20090089618A1 (en) | 2007-10-01 | 2009-04-02 | Fujitsu Limited | System and Method for Providing Automatic Test Generation for Web Applications |
US8307342B2 (en) * | 2008-05-14 | 2012-11-06 | Honeywell International Inc. | Method, apparatus, and system for automatic test generation from statecharts |
JP2009294846A (ja) | 2008-06-04 | 2009-12-17 | Denso Corp | テストケース生成装置、テストケース生成プログラム、およびテストケース生成方法 |
US8359576B2 (en) | 2008-11-14 | 2013-01-22 | Fujitsu Limited | Using symbolic execution to check global temporal requirements in an application |
US20110083121A1 (en) * | 2009-10-02 | 2011-04-07 | Gm Global Technology Operations, Inc. | Method and System for Automatic Test-Case Generation for Distributed Embedded Systems |
US20110125302A1 (en) | 2009-10-23 | 2011-05-26 | Gm Global Technology Operations, Inc. | Method and system for formal safety verification of manufacturing automation systems |
EP2369528A1 (fr) | 2010-03-23 | 2011-09-28 | Siemens Aktiengesellschaft | Appareil de traitement d'informations, procédé et protocole pour la génération de modèles de spécification d'exigences formelles |
US20120143570A1 (en) | 2010-12-03 | 2012-06-07 | University Of Maryland | Method and system for ontology-enabled traceability in design and management applications |
CN102136047A (zh) * | 2011-02-25 | 2011-07-27 | 天津大学 | 一种基于形式化及统一软件模型的软件可信工程方法 |
US20120246612A1 (en) * | 2011-03-23 | 2012-09-27 | Siemens Corporation | System and method for verification and validation of redundancy software in plc systems |
JP2013058068A (ja) * | 2011-09-08 | 2013-03-28 | Panasonic Corp | プラットフォームのプログラムおよびそれを搭載した端末装置 |
KR101408870B1 (ko) | 2012-11-06 | 2014-06-17 | 대구교육대학교산학협력단 | Uml sd로부터 mccfg를 기반으로 하는 다단계 테스트 케이스 생성장치 및 방법 |
WO2014087427A1 (fr) | 2012-12-05 | 2014-06-12 | Tata Consultancy Services Limited | Procédé et système de conception et modélisation par ordinateur |
WO2014115189A1 (fr) | 2013-01-28 | 2014-07-31 | Nec Corporation | Procédé et système de transformation de scripts de spécification en code de programme |
JP2015005189A (ja) | 2013-06-21 | 2015-01-08 | 株式会社オートネットワーク技術研究所 | Ecu評価装置、コンピュータプログラム及びecu評価方法 |
WO2015040735A1 (fr) | 2013-09-20 | 2015-03-26 | 株式会社日立製作所 | Dispositif d'aide à la validation formelle pour spécifications de logiciel et procédé associé |
CN103530228B (zh) * | 2013-09-27 | 2016-09-28 | 西安电子科技大学 | 一种基于模型的软件测试方法 |
CN103678636A (zh) * | 2013-12-19 | 2014-03-26 | 中山大学深圳研究院 | 一种构件软件系统可靠性的提高系统及方法 |
CN103955427B (zh) * | 2014-04-29 | 2016-08-24 | 探月与航天工程中心 | 一种安全攸关系统的软件安全性保证的实现方法 |
CN104182591A (zh) * | 2014-09-02 | 2014-12-03 | 浪潮(北京)电子信息产业有限公司 | 一种软件测试需求建模方法 |
CN104461882B (zh) * | 2014-11-29 | 2017-05-17 | 中国航空工业集团公司第六三一研究所 | 一种符合do‑178b/c a级软件的模型验证方法 |
US10108536B2 (en) * | 2014-12-10 | 2018-10-23 | General Electric Company | Integrated automated test case generation for safety-critical software |
US9747079B2 (en) * | 2014-12-15 | 2017-08-29 | General Electric Company | Method and system of software specification modeling |
US10346140B2 (en) * | 2015-08-05 | 2019-07-09 | General Electric Company | System and method for model based technology and process for safety-critical software development |
-
2015
- 2015-08-05 US US14/819,167 patent/US10346140B2/en active Active
-
2016
- 2016-07-28 JP JP2016147916A patent/JP6621204B2/ja not_active Expired - Fee Related
- 2016-07-28 CA CA2937677A patent/CA2937677A1/fr not_active Abandoned
- 2016-08-03 GB GB1613356.3A patent/GB2542687A/en not_active Withdrawn
- 2016-08-03 FR FR1657522A patent/FR3039908B1/fr active Active
- 2016-08-04 BR BR102016018127A patent/BR102016018127A2/pt not_active Application Discontinuation
- 2016-08-05 CN CN201610922808.4A patent/CN106528100B/zh active Active
Also Published As
Publication number | Publication date |
---|---|
US20170039039A1 (en) | 2017-02-09 |
JP6621204B2 (ja) | 2019-12-18 |
BR102016018127A2 (pt) | 2017-06-06 |
GB201613356D0 (en) | 2016-09-14 |
FR3039908A1 (fr) | 2017-02-10 |
CA2937677A1 (fr) | 2017-02-05 |
JP2017033562A (ja) | 2017-02-09 |
GB2542687A (en) | 2017-03-29 |
US10346140B2 (en) | 2019-07-09 |
CN106528100A (zh) | 2017-03-22 |
CN106528100B (zh) | 2020-06-09 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
FR3039908B1 (fr) | Systeme et procede pour technologie a base de modeles et processus pour la mise au point d'un logiciel essentiel pour la surete | |
IL258057B (en) | Metrology method and apparatus, computer program and lithographic system | |
IL255051A0 (en) | Metrological method and device, computer software and lithographic system | |
IL253621A0 (en) | Metrological method and device, computer software and lithographic system | |
FR3020915B1 (fr) | Procede de mise en œuvre d'un robot de traitement du sol et systeme correspondant | |
EP3398043A4 (fr) | Système et procédé pour acquérir, traiter et mettre à jour des informations globales | |
FR3006050B1 (fr) | Procede et systeme d'aide a la navigation d'un aeronef. | |
FR3032545B1 (fr) | Dispositif, systeme et procede d'aide a la maintenance d'un aeronef | |
FR3037578B1 (fr) | Systeme et procede de re-remplissage en liquide d'un flacon | |
EP3397932A4 (fr) | Système et procédé d'acquisition, de traitement et de mise à jour d'informations globales | |
FR3043387B1 (fr) | Procede et systeme d'aide au freinage d'un aeronef | |
EP3398044A4 (fr) | Système et procédé d'acquisition, traitement et mise à jour d'informations globales | |
ITUA20162317A1 (it) | Apparato e metodo per la valutazione dell'assetto di un veicolo. | |
FR3038380B1 (fr) | Procede et systeme d'affichage de contraintes verticales d'un aeronef, produit programme d'ordinateur et aeronef associes | |
FR3028783B1 (fr) | Systeme et procede de sertissage d'un composant de fixation sur un support | |
FR3039023B1 (fr) | Dispositif et procede d'exploitation d'un systeme | |
FR3034397B1 (fr) | Dispositif de repliage/depliage d'une poutre de queue d'un giravion, giravion associe et procede de repliage/depliage correspondant | |
FR3042875B1 (fr) | Procede de calcul de l'acceleration propre d'un vehicule ferroviaire, produit programme d'ordinateur et systeme associes | |
ITUB20153908A1 (it) | Apparato, sistema e metodo per la disgregazione di un tessuto biologico | |
ZA201708035B (en) | A computer implemented system and method for steganography | |
GB2548827B (en) | Apparatus, system, method and computer program for providing lighting of a vehicle | |
EP2838010A3 (fr) | Appareil et procédé de traitement d'informations et programme de traitement | |
FR3002342B1 (fr) | Dispositif et procede pour accelerer la phase de mise a jour d'un noyau de simulation | |
IT201700031915A1 (it) | Sistema e metodo per la rilevazione di parametri fisiologici vitali di un soggetto. | |
FR3033908B1 (fr) | Systeme et procede d'assistance au pilotage d'un aeronef |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PLFP | Fee payment |
Year of fee payment: 2 |
|
PLFP | Fee payment |
Year of fee payment: 3 |
|
PLFP | Fee payment |
Year of fee payment: 4 |
|
PLFP | Fee payment |
Year of fee payment: 5 |
|
PLFP | Fee payment |
Year of fee payment: 6 |
|
PLFP | Fee payment |
Year of fee payment: 7 |
|
PLFP | Fee payment |
Year of fee payment: 8 |
|
PLFP | Fee payment |
Year of fee payment: 9 |