FR3056782B1 - Generation de codes applicatifs a partir d'une specification formelle - Google Patents

Generation de codes applicatifs a partir d'une specification formelle Download PDF

Info

Publication number
FR3056782B1
FR3056782B1 FR1659013A FR1659013A FR3056782B1 FR 3056782 B1 FR3056782 B1 FR 3056782B1 FR 1659013 A FR1659013 A FR 1659013A FR 1659013 A FR1659013 A FR 1659013A FR 3056782 B1 FR3056782 B1 FR 3056782B1
Authority
FR
France
Prior art keywords
code
formal specification
processor
generation
application
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
FR1659013A
Other languages
English (en)
Other versions
FR3056782A1 (fr
Inventor
Dominique Portes
Victor Jegu
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.)
Airbus Operations SAS
Original Assignee
Airbus Operations SAS
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 Airbus Operations SAS filed Critical Airbus Operations SAS
Priority to FR1659013A priority Critical patent/FR3056782B1/fr
Priority to US15/710,561 priority patent/US10409563B2/en
Publication of FR3056782A1 publication Critical patent/FR3056782A1/fr
Application granted granted Critical
Publication of FR3056782B1 publication Critical patent/FR3056782B1/fr
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
    • 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/30—Creation or generation of source code
    • G06F8/37—Compiler construction; Parser generation
    • 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/44—Encoding
    • G06F8/443—Optimisation
    • G06F8/4434—Reducing the memory space required by the program code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/73—Program documentation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30—Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30003—Arrangements for executing specific machine instructions
    • G06F9/30007—Arrangements for executing specific machine instructions to perform operations on data operands
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30—Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30145—Instruction analysis, e.g. decoding, instruction word fields
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45504—Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
    • G06F9/45508—Runtime interpretation or emulation, e g. emulator loops, bytecode interpretation

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Library & Information Science (AREA)
  • Devices For Executing Special Programs (AREA)
  • Stored Programmes (AREA)

Abstract

L'invention propose de générer automatiquement un code applicatif compact adapté pour tirer profit de la puissance intrinsèque des processeurs et concerne un système (1) de génération du code applicatif (9) exécutable par un processeur à partir d'une spécification formelle (11) associée à une application, ladite spécification formelle comprenant des opérateurs (B1-B3), ledit système comportant un analyseur (5) configuré pour coder chaque opérateur de ladite spécification formelle (11) formelle par un code-opération correspondant suivi d'un nombre minimal de code(s)-entrée(s) et code-sortie identifiant des paramètres d'entrées et de sortie associés audit opérateur, générant ainsi automatiquement un code applicatif (9) compact adapté pour être stocké dans une mémoire associée au processeur et pour être exécuté par un interpréteur du processeur.
FR1659013A 2016-09-26 2016-09-26 Generation de codes applicatifs a partir d'une specification formelle Active FR3056782B1 (fr)

Priority Applications (2)

Application Number Priority Date Filing Date Title
FR1659013A FR3056782B1 (fr) 2016-09-26 2016-09-26 Generation de codes applicatifs a partir d'une specification formelle
US15/710,561 US10409563B2 (en) 2016-09-26 2017-09-20 Generation of application codes from a formal specification

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR1659013 2016-09-26
FR1659013A FR3056782B1 (fr) 2016-09-26 2016-09-26 Generation de codes applicatifs a partir d'une specification formelle

Publications (2)

Publication Number Publication Date
FR3056782A1 FR3056782A1 (fr) 2018-03-30
FR3056782B1 true FR3056782B1 (fr) 2019-12-13

Family

ID=57750112

Family Applications (1)

Application Number Title Priority Date Filing Date
FR1659013A Active FR3056782B1 (fr) 2016-09-26 2016-09-26 Generation de codes applicatifs a partir d'une specification formelle

Country Status (2)

Country Link
US (1) US10409563B2 (fr)
FR (1) FR3056782B1 (fr)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109840072B (zh) * 2019-02-02 2022-05-06 北京字节跳动网络技术有限公司 信息处理方法和装置

Family Cites Families (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5748963A (en) * 1995-05-12 1998-05-05 Design Intelligence, Inc. Adaptive binding
US5922065A (en) * 1997-10-13 1999-07-13 Institute For The Development Of Emerging Architectures, L.L.C. Processor utilizing a template field for encoding instruction sequences in a wide-word format
US6237005B1 (en) * 1998-06-29 2001-05-22 Compaq Computer Corporation Web server mechanism for processing multiple transactions in an interpreted language execution environment
GB9825102D0 (en) * 1998-11-16 1999-01-13 Insignia Solutions Plc Computer system
US6807622B1 (en) * 2000-08-09 2004-10-19 Advanced Micro Devices, Inc. Processor which overrides default operand size for implicit stack pointer references and near branches
CA2365375A1 (fr) * 2001-12-18 2003-06-18 Ibm Canada Limited-Ibm Canada Limitee Optimisation de code source pour execution d'iteration
US20030135842A1 (en) * 2002-01-16 2003-07-17 Jan-Erik Frey Software development tool for embedded computer systems
US9021417B2 (en) * 2007-07-06 2015-04-28 International Business Machines Corporation Generating a subset model from a model
CN102741817B (zh) * 2009-09-04 2015-12-16 英特尔公司 方法和装置和记录载体
US8381175B2 (en) * 2010-03-16 2013-02-19 Microsoft Corporation Low-level code rewriter verification
EP3070553B1 (fr) * 2015-03-19 2019-05-08 dSPACE digital signal processing and control engineering GmbH Procédé mis en oeuvre par informatique destiné à la traduction assistée par ordinateur d'un modèle graphique décrivant la fonctionnalité d'un programme de commande

Also Published As

Publication number Publication date
FR3056782A1 (fr) 2018-03-30
US10409563B2 (en) 2019-09-10
US20180088913A1 (en) 2018-03-29

Similar Documents

Publication Publication Date Title
Coulmas A festschrift for native speaker
SG10201804284XA (en) Performing Kernel Striding In Hardware
BR112017004379A2 (pt) determinação de vivacidade em multi-estágio
CY1124881T1 (el) Στρωματωση γονοτυπου στην θεραπεια και προληψη του διαβητη
US9477444B1 (en) Method and apparatus for validating and recommending software architectures
FR3055438B1 (fr) Compilation pour traitement parallele base sur gpu de dispositif de noeud
FR3056782B1 (fr) Generation de codes applicatifs a partir d'une specification formelle
Robotham magicaxis: Pretty scientific plotting with minor-tick and log minor-tick support
US20130325890A1 (en) Leveraging persisted data queries in stream-based complex event processing
FR3061338B1 (fr) Debruitage hydride d'images et de videos base sur des metriques d'interet
RU2014141665A (ru) Автоматизированная система динамической оценки энергоэффективности насосного оборудования
FR3072794B1 (fr) Procede de determination des parametres d'un modele simplifie d'un systeme de stockage de l'energie, procede de pilotage utilisant un tel modele et dispositif associe
EP2821945A3 (fr) Dispositif et procédé de traitement d'informations et programme
CN109655072B (zh) 地图的生成方法和装置
Snaprud et al. Benefits and challenges of combining automated and user testing to enhance e-accessibility–the european internet inclusion initiative
Kim et al. Design and Implementation of Lightweight ESBus Engine for Service Oriented Architecture
Bruegge et al. Real Time Streaming Analysis of IACT Data
Selezneva The features APPLICATION OF FMEA IN EDUCATION
Germenis et al. Exploiting IoT Technologies and Open Source Components for Smart Seismic Network Instrumentation
Elvis Effect Of Performance Contracting On Service Delivery In Kenya’s Public Universities: Case Of Maasai Mara University.
Hilbert et al. A data simulator tool for NIRCam
PT115379A (pt) Sistema de geração dinâmica de interfaces web contextualizadas por utilizador e respetivo método de operação
FR3030000B1 (fr) Boitier d'actionneur electrique de frein integrant un capteur de rotation prevu pour etre mis en œuvre dans un systeme abs
Martínez Avendaño Hypercyclicity of Shifts on Weighted ${\mathbf L}^ p $ Spaces of Directed Trees
FR3078850B1 (fr) Procede, dispositif et systeme permettant l'acces a une application deployee dans un conteneur

Legal Events

Date Code Title Description
PLFP Fee payment

Year of fee payment: 2

PLSC Publication of the preliminary search report

Effective date: 20180330

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