FR3024566B1 - METHOD OF VERIFYING TRACEABILITY OF FIRST INSTRUCTIONS IN A PROCEDURAL PROGRAMMING LANGUAGE GENERATED FROM SECOND INSTRUCTIONS IN A MODELING LANGUAGE - Google Patents

METHOD OF VERIFYING TRACEABILITY OF FIRST INSTRUCTIONS IN A PROCEDURAL PROGRAMMING LANGUAGE GENERATED FROM SECOND INSTRUCTIONS IN A MODELING LANGUAGE

Info

Publication number
FR3024566B1
FR3024566B1 FR1457513A FR1457513A FR3024566B1 FR 3024566 B1 FR3024566 B1 FR 3024566B1 FR 1457513 A FR1457513 A FR 1457513A FR 1457513 A FR1457513 A FR 1457513A FR 3024566 B1 FR3024566 B1 FR 3024566B1
Authority
FR
France
Prior art keywords
instructions
procedural programming
language
generated
programming language
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
FR1457513A
Other languages
French (fr)
Other versions
FR3024566A1 (en
Inventor
Severine Morin
Bertrand Corruble
Bertrand Tavernier
Frederic Titeux
Guy Renault
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.)
Safran Electronics and Defense SAS
Original Assignee
Sagem Defense Securite SA
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 Sagem Defense Securite SA filed Critical Sagem Defense Securite SA
Priority to FR1457513A priority Critical patent/FR3024566B1/en
Priority to FR1557401A priority patent/FR3024788B1/en
Priority to US15/500,908 priority patent/US10417110B2/en
Priority to PCT/EP2015/067858 priority patent/WO2016016473A1/en
Priority to EP15747460.2A priority patent/EP3195113B1/en
Publication of FR3024566A1 publication Critical patent/FR3024566A1/en
Application granted granted Critical
Publication of FR3024566B1 publication Critical patent/FR3024566B1/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • 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
    • 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
FR1457513A 2014-08-01 2014-08-01 METHOD OF VERIFYING TRACEABILITY OF FIRST INSTRUCTIONS IN A PROCEDURAL PROGRAMMING LANGUAGE GENERATED FROM SECOND INSTRUCTIONS IN A MODELING LANGUAGE Active FR3024566B1 (en)

Priority Applications (5)

Application Number Priority Date Filing Date Title
FR1457513A FR3024566B1 (en) 2014-08-01 2014-08-01 METHOD OF VERIFYING TRACEABILITY OF FIRST INSTRUCTIONS IN A PROCEDURAL PROGRAMMING LANGUAGE GENERATED FROM SECOND INSTRUCTIONS IN A MODELING LANGUAGE
FR1557401A FR3024788B1 (en) 2014-08-01 2015-07-31 METHOD OF VERIFYING TRACEABILITY OF FIRST INSTRUCTIONS IN A PROCEDURAL PROGRAMMING LANGUAGE GENERATED FROM SECOND INSTRUCTIONS IN A MODELING LANGUAGE
US15/500,908 US10417110B2 (en) 2014-08-01 2015-08-03 Method for verifying traceability of first instructions in a procedural programming language generated from second instructions in a modelling language
PCT/EP2015/067858 WO2016016473A1 (en) 2014-08-01 2015-08-03 Method for verifying traceability of first instructions in a procedural programming language generated from second instructions in a modelling language
EP15747460.2A EP3195113B1 (en) 2014-08-01 2015-08-03 Method for verifying traceability of first instructions in a procedural programming language generated from second instructions in a modelling language

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR1457513A FR3024566B1 (en) 2014-08-01 2014-08-01 METHOD OF VERIFYING TRACEABILITY OF FIRST INSTRUCTIONS IN A PROCEDURAL PROGRAMMING LANGUAGE GENERATED FROM SECOND INSTRUCTIONS IN A MODELING LANGUAGE

Publications (2)

Publication Number Publication Date
FR3024566A1 FR3024566A1 (en) 2016-02-05
FR3024566B1 true FR3024566B1 (en) 2016-08-19

Family

ID=52473980

Family Applications (1)

Application Number Title Priority Date Filing Date
FR1457513A Active FR3024566B1 (en) 2014-08-01 2014-08-01 METHOD OF VERIFYING TRACEABILITY OF FIRST INSTRUCTIONS IN A PROCEDURAL PROGRAMMING LANGUAGE GENERATED FROM SECOND INSTRUCTIONS IN A MODELING LANGUAGE

Country Status (1)

Country Link
FR (1) FR3024566B1 (en)

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8522196B1 (en) * 2001-10-25 2013-08-27 The Mathworks, Inc. Traceability in a modeling environment
US8856726B2 (en) * 2009-09-14 2014-10-07 The Mathworks, Inc. Verification of computer-executable code generated from a slice of a model
US8713528B1 (en) * 2008-10-06 2014-04-29 The Mathworks, Inc. Verification of computer-executable code generated from a model

Also Published As

Publication number Publication date
FR3024566A1 (en) 2016-02-05

Similar Documents

Publication Publication Date Title
IL280852B (en) Method and device for executing an e-vaping device operating system, e-vaping programming language, and e-vaping application programming interface
BR112016023105A2 (en) process and method scheduling
GB201403749D0 (en) A method,apparatus and/or computer program for controlling light output of a display
HK1208853A1 (en) Apparatus and method for producing magnesium sulfate through flue gas desulfurization
DK2928037T3 (en) Output control apparatus, method and program for wind farm
SG11201708387XA (en) Computerized system and method for performing a location-based search
EP3226163A4 (en) Trait prediction model creation method and trait prediction method
SG11201605765YA (en) Operation plan generation device, control device, operation plan generation method, and program
EP3196833A4 (en) Method and device for online match making, and computer program for implementing online match making
DE102015119429A8 (en) Fuel cell system and control method for a fuel cell system
GB201405723D0 (en) A system and method for testing a workflow
ZA201703845B (en) Method for detecting earthquakes and locating epicentres by means of a network of lights
HK1247340A1 (en) Computer-implemented method for creating a fermentation model
DK3541288T3 (en) METHOD FOR PREDICTING A SPECIFIC RESPIRATORY PATHOGEN
DK3420632T3 (en) System and method for an integrated control system for a diesel generation set
GB2522483B (en) Method and system for entering time information into an automated software test
DK3394256T3 (en) A METHOD FOR GENERATING AN ANTIBODY NAïVE LIBRARY, AS WELL AS LIBRARY AND USING IT
GB201405801D0 (en) An improved database access control method and system
PL3176511T3 (en) Cooking device and method for performing a cooking program
SG11201701912RA (en) Simulation system, simulation method, and simulation program
FR3024788B1 (en) METHOD OF VERIFYING TRACEABILITY OF FIRST INSTRUCTIONS IN A PROCEDURAL PROGRAMMING LANGUAGE GENERATED FROM SECOND INSTRUCTIONS IN A MODELING LANGUAGE
SG10201508062XA (en) Method and System for performing an action in a branchless banking environment
FR3024566B1 (en) METHOD OF VERIFYING TRACEABILITY OF FIRST INSTRUCTIONS IN A PROCEDURAL PROGRAMMING LANGUAGE GENERATED FROM SECOND INSTRUCTIONS IN A MODELING LANGUAGE
HK1250169A1 (en) Device for producing information for cell analysis, method for producing information for cell analysis, and program
GB201615727D0 (en) System and method for implementing a database

Legal Events

Date Code Title Description
PLFP Fee payment

Year of fee payment: 2

PLSC Publication of the preliminary search report

Effective date: 20160205

PLFP Fee payment

Year of fee payment: 3

CD Change of name or company name

Owner name: SAGEM DEFENSE SECURITE, FR

Effective date: 20161214

CJ Change in legal form

Effective date: 20161214

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

PLFP Fee payment

Year of fee payment: 10