EP 3622403 A2 20200318 - METHOD FOR THE COMPUTER-AIDED, AUTOMATED VERIFICATION OF REQUIREMENTS
Title (en)
METHOD FOR THE COMPUTER-AIDED, AUTOMATED VERIFICATION OF REQUIREMENTS
Title (de)
VERFAHREN ZUR COMPUTERGESTÜTZTEN, AUTOMATISIERTEN ÜBERPRÜFUNG VON ANFORDERUNGEN
Title (fr)
PROCÉDÉ POUR LE CONTRÔLE AUTOMATISÉ ASSISTÉ PAR ORDINATEUR DE DESCRIPTIONS
Publication
Application
Priority
- DE 102017004348 A 20170508
- EP 2018000246 W 20180508
Abstract (en)
[origin: WO2018206146A2] In a method for the computer-aided, automated verification of requirements, the requirements are stored in a database, and at least one interface description and at least one functional description are filed, the requirement having at least one subcomponent. The verification includes the computer-aided verification of the completeness and/or consistency of the interface description and/or the functional description. The verification is done also in relation to subcomponents.
IPC 8 full level
G06F 11/36 (2006.01)
CPC (source: EP US)
G01R 31/318307 (2013.01 - US); G01R 31/318314 (2013.01 - US); G01R 31/318357 (2013.01 - US); G06F 11/261 (2013.01 - US); G06F 11/3604 (2013.01 - EP US); G06F 30/33 (2020.01 - US)
Citation (search report)
See references of WO 2018206146A2
Designated contracting state (EPC)
AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO RS SE SI SK SM TR
Designated extension state (EPC)
BA ME
DOCDB simple family (publication)
DE 102017004348 A1 20181108; CA 3062465 A1 20191105; CN 110799951 A 20200214; EP 3622403 A2 20200318; US 2020159980 A1 20200521; WO 2018206146 A2 20181115; WO 2018206146 A3 20190124
DOCDB simple family (application)
DE 102017004348 A 20170508; CA 3062465 A 20180508; CN 201880042869 A 20180508; EP 18726317 A 20180508; EP 2018000246 W 20180508; US 201816611234 A 20180508