FR3134638A1 - Method for developing a computer program on blockchain for motor vehicles and associated device - Google Patents
Method for developing a computer program on blockchain for motor vehicles and associated device Download PDFInfo
- Publication number
- FR3134638A1 FR3134638A1 FR2203507A FR2203507A FR3134638A1 FR 3134638 A1 FR3134638 A1 FR 3134638A1 FR 2203507 A FR2203507 A FR 2203507A FR 2203507 A FR2203507 A FR 2203507A FR 3134638 A1 FR3134638 A1 FR 3134638A1
- Authority
- FR
- France
- Prior art keywords
- computer program
- blockchain
- data
- instruction
- motor vehicle
- 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.)
- Pending
Links
- 238000004590 computer program Methods 0.000 title claims abstract description 44
- 238000000034 method Methods 0.000 title claims abstract description 19
- 238000012360 testing method Methods 0.000 claims abstract description 12
- 238000011161 development Methods 0.000 claims abstract description 8
- 238000012937 correction Methods 0.000 description 2
- 238000005457 optimization Methods 0.000 description 2
- 238000013519 translation Methods 0.000 description 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/3668—Software testing
- G06F11/3672—Test management
-
- 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/71—Version control; Configuration management
Abstract
Procédé de développement d’un premier programme d’ordinateur (111) pour un véhicule automobile dans une chaine de blocs (1110), la chaîne de blocs (1110) comprenant un module d’exécution décentralisé (114), le procédé de développement étant caractérisé en ce qu’il comporte les étapes suivantes : Réception d’une instruction d’écriture du premier programme d’ordinateur (111) dans la chaine de blocs (1110), le premier programme d’ordinateur (111) étant configuré pour produire une donnée de sortie à partir d’une donnée d’entrée,Réception d’une instruction d’écriture d’une donnée de test (112) dans la chaine de blocs (1110),Réception d’une instruction de lancement d’une exécution du premier programme d’ordinateur (111), avec pour donnée d’entrée du premier programme d’ordinateur (111), la donnée de test, le lancement étant mis en œuvre par le module d’exécution centralisé (114),Mémorisation de la donnée de sortie (113) dans la chaine de blocs (1110). Figure pour l’abrégé : figure 1Method for developing a first computer program (111) for a motor vehicle in a blockchain (1110), the blockchain (1110) comprising a decentralized execution module (114), the development method being characterized in that it comprises the following steps: Receiving an instruction to write the first computer program (111) in the blockchain (1110), the first computer program (111) being configured to produce an output data from an input data,Reception of an instruction to write a test data (112) in the blockchain (1110),Reception of an instruction to launch a execution of the first computer program (111), with the test data as input data of the first computer program (111), the launch being implemented by the centralized execution module (114), Storage of the output data (113) in the blockchain (1110). Figure for abstract: figure 1
Description
L’invention concerne un procédé de développement d’un programme d’ordinateur pour véhicule automobile.The invention relates to a method for developing a computer program for a motor vehicle.
Il existe un besoin de faciliter le développement collaboratif d’applications, pour véhicules automobiles, sécurisé et comprenant un traçage des écritures, des tests et des exécutions.There is a need to facilitate the collaborative development of applications for automotive vehicles, which are secure and include tracing of writes, tests and executions.
Dans ce but, l’invention concerne un procédé de développement d’un premier programme d’ordinateur pour un véhicule automobile dans une chaine de blocs (appelé en Anglais « blockchain », telle que défini par exemple dans la norme ISO 22739:202), la chaîne de bloc comprenant un module d’exécution décentralisé, le procédé de développement étant caractérisé en ce qu’il comporte les étapes suivantes :For this purpose, the invention relates to a method for developing a first computer program for a motor vehicle in a blockchain (called in English "blockchain", as defined for example in standard ISO 22739:202) , the blockchain comprising a decentralized execution module, the development process being characterized in that it comprises the following steps:
- Réception d’une instruction d’écriture du premier programme d’ordinateur dans la chaine de blocs, le premier programme d’ordinateur étant configuré pour produire une donnée de résultat à partir d’une donnée d’entrée (et donc, le premier programme d’ordinateur est mémorisé ou écrit dans la chaine de blocs à cette étape),Receiving an instruction to write the first computer program in the blockchain, the first computer program being configured to produce result data from input data (and therefore, the first program computer is stored or written in the block chain at this step),
- Réception d’une instruction d’écriture d’une donnée de test dans la chaine de blocs (et donc, la donnée de test est mémorisée ou écrite dans la chaine de blocs à cette étape),Receipt of an instruction to write test data into the blockchain (and therefore, the test data is stored or written into the blockchain at this step),
- Réception d’une instruction de lancement d’une exécution du premier programme d’ordinateur, avec pour donnée d’entrée du premier programme d’ordinateur, la donnée de test (ainsi donc, le programme d’ordinateur est exécuté durant cette étape), le lancement étant mis en œuvre par le module d’exécution centralisé (ainsi donc, le lancement du programme d’ordinateur est exécuté durant cette étape par le module d’exécution centralisé),Receipt of an instruction to launch an execution of the first computer program, with the test data as input data of the first computer program (thus, the computer program is executed during this step) , the launch being implemented by the centralized execution module (thus, the launch of the computer program is executed during this step by the centralized execution module),
- Mémorisation de la donnée de sortie dans la chaine de blocs.Storage of the output data in the blockchain.
L’invention permet ainsi de développer un programme d’ordinateur, de manière collaborative et sécurisée, avec un traçage des opérations effectuées, notamment des tests du programme d’ordinateur.The invention thus makes it possible to develop a computer program, in a collaborative and secure manner, with tracing of the operations carried out, in particular tests of the computer program.
Un programme d’ordinateur pour un véhicule automobile est un programme d’ordinateur destiné à être mis en œuvre dans un processeur compris dans un véhicule automobile, éventuellement après optimisation, traduction, compilation ou correction du programme d’ordinateur (et le procédé de développement peut comprendre l’une de ces étapes ou toutes ces étapes). Le premier programme d’ordinateur peut être un code source, c’est-à-dire sous forme d’un fichier texte.A computer program for a motor vehicle is a computer program intended to be implemented in a processor included in a motor vehicle, possibly after optimization, translation, compilation or correction of the computer program (and the development process may include one or all of these steps). The first computer program can be source code, that is to say in the form of a text file.
Une chaine de blocs est apte à recevoir une instruction appelée aussi transaction. Une instruction peut être une instruction d’écriture d’une donnée dans la chaine de blocs ou une instruction de lancement d’un programme mémorisé dans la chaine de blocs. Ecrire ou mémoriser une donnée dans une chaine de blocs consiste à écrire dans un bloc de la chaine de blocs (à l’aide d’un processeur électronique).A blockchain is capable of receiving an instruction also called a transaction. An instruction can be an instruction to write data in the blockchain or an instruction to launch a program stored in the blockchain. Writing or storing data in a blockchain consists of writing in a block of the blockchain (using an electronic processor).
Un bloc d’une chaine de blocs comprend par exemple les éléments suivants : les données écrites sur réception d’une instruction d’écriture, une somme de contrôle de la chaine de blocs utilisée comme identifiant, une somme de contrôle du bloc précédent et une preuve de travail. Les sommes de contrôle sont par exemple de type dit « SHA-256 » et conformes au standard dit « FIPS 180-4 ». La chaine de blocs est mémorisée sur une pluralité d’ordinateurs. Les sommes de contrôles sont préférentiellement signées à partir d’une clef cryptographiques privée.A block of a blockchain includes, for example, the following elements: data written upon receipt of a write instruction, a checksum of the blockchain used as an identifier, a checksum of the previous block and a proof of work. The checksums are for example of the so-called “SHA-256” type and conform to the so-called “FIPS 180-4” standard. The blockchain is stored on a plurality of computers. The checksums are preferably signed using a private cryptographic key.
Selon un mode de réalisation, le module d’exécution comprend un script exécutable par une machine virtuelle. Par exemple, le script exécutable est apte à compiler le premier programme d’ordinateur (ou à commander sa compilation) avant de l’exécuter.According to one embodiment, the execution module includes a script executable by a virtual machine. For example, the executable script is capable of compiling the first computer program (or controlling its compilation) before executing it.
Le procédé de développement peut comprendre en outre les étapes suivantes :The development process may further comprise the following steps:
- Réception d’une instruction d’écriture d’une donnée de résultat attendu dans la chaine de blocs (et donc, la donnée de résultat attendue est écrite ou mémorisée dans la chaine de blocs à cette étape),Receipt of an instruction to write expected result data into the blockchain (and therefore, the expected result data is written or stored in the blockchain at this step),
- Réception d’une instruction de lancement d’une comparaison entre la donnée de sortie et la donnée de résultat attendu, la comparaison produisant un résultat de comparaison (et donc la comparaison est réalisée à cette étape),Receipt of an instruction to launch a comparison between the output data and the expected result data, the comparison producing a comparison result (and therefore the comparison is carried out at this step),
- Mémorisation du résultat de la comparaison dans la chaine de blocs.Memorization of the comparison result in the blockchain.
Selon un mode de réalisation, le premier programme d’ordinateur est apte à mettre en œuvre une au moins de taches suivantes :According to one embodiment, the first computer program is able to implement at least one of the following tasks:
- Localisation géographique du véhicule automobile,Geographic location of the motor vehicle,
- Reconnaissance de scène de l’environnement du véhicule automobile,Scene recognition of the automobile vehicle environment,
- Détermination automatisée d’une trajectoire du véhicule automobile,Automated determination of a trajectory of the motor vehicle,
- Suivi d’une trajectoire du véhicule automobile.Tracking the trajectory of the motor vehicle.
L’invention concerne également un deuxième programme d’ordinateur comprenant des instructions, exécutables par un microprocesseur ou un microcontroller, pour la mise en œuvre du procédé selon l’invention.The invention also relates to a second computer program comprising instructions, executable by a microprocessor or a microcontroller, for implementing the method according to the invention.
Le procédé selon l’invention est par exemple mis en œuvre par un dispositif électronique d’aide à la conduite. L’invention concerne donc aussi un dispositif électronique configuré pour mettre en œuvre les étapes du procédé selon l’invention. Enfin, l’invention concerne un système comportant une pluralité de dispositifs électroniques selon l’invention.The method according to the invention is for example implemented by an electronic driving assistance device. The invention therefore also relates to an electronic device configured to implement the steps of the method according to the invention. Finally, the invention relates to a system comprising a plurality of electronic devices according to the invention.
Les caractéristiques et avantages du dispositif électronique, du système et du deuxième programme d’ordinateur sont identiques à ceux du procédé, c’est pourquoi, ils ne sont pas repris ici.The characteristics and advantages of the electronic device, the system and the second computer program are identical to those of the method, which is why they are not repeated here.
On entend qu’un élément tel que le dispositif électronique, ou un autre élément est « configuré pour » (« ou apte à ») réaliser une étape ou une opération, par le fait que l’élément comporte des moyens pour (autrement dit « est conformé pour » ou « est adapté pour ») réaliser l’étape ou l’opération. Il s’agit préférentiellement de moyens électroniques, par exemple d’un programme d’ordinateur, de processeurs, de données en mémoire et/ou de circuits électroniques spécialisés.It is understood that an element such as the electronic device, or another element is "configured for" ("or capable of") carrying out a step or an operation, by the fact that the element comprises means for (in other words " is suitable for” or “is suitable for”) to carry out the step or operation. These are preferably electronic means, for example a computer program, processors, data in memory and/or specialized electronic circuits.
Lorsqu’une étape ou une opération est réalisée (ou mise en œuvre) par un tel élément, cela implique généralement que l’élément comporte des moyens pour (autrement dit « est conformé pour » ou « est adapté pour » ou « est configuré pour ») réaliser l’étape ou l’opération. Il s’agit également par exemple de moyens électroniques, par exemple un programme d’ordinateur, un processeur, des données en mémoire et/ou des circuits électroniques spécialisés.When a step or an operation is carried out (or implemented) by such an element, this generally implies that the element includes means for (in other words "is configured for" or "is adapted for" or "is configured for ") carry out the step or operation. It also concerns, for example, electronic means, for example a computer program, a processor, data in memory and/or specialized electronic circuits.
D’autres caractéristiques et avantages de la présente invention apparaitront plus clairement à la lecture de la description détaillée qui suit comprenant des modes de réalisation de l’invention donnés à titre d’exemples nullement limitatifs et illustrés par les dessins annexés, dans lesquels.Other characteristics and advantages of the present invention will appear more clearly on reading the detailed description which follows including embodiments of the invention given by way of non-limiting examples and illustrated by the appended drawings, in which.
Description détaillée d’un exemple de réalisation de l’inventionDetailed description of an example of embodiment of the invention
La
La chaine de blocs 1110 comprend notamment les blocs 110, 120 et 130.The block chain 1110 notably includes blocks 110, 120 and 130.
Dans le bloc 110 (respectivement 120 et 130), la zone mémoire 117 (respectivement 127 et 137) mémorise une somme de contrôle de la chaine de blocs 110 (respectivement 120 et 130) utilisée comme identifiant de la chaine de bloc 110 (respectivement 120 et 130), une somme de contrôle du bloc précédent 120 (respectivement 130 et un bloc non représenté) et une preuve de travail. Les sommes de contrôle sont par exemple de type dit « SHA-256 » et conformes au standard dit « FIPS 180-4 ». Les sommes de contrôles sont préférentiellement signées à partir d’une clef cryptographiques privée.In the block 110 (respectively 120 and 130), the memory area 117 (respectively 127 and 137) stores a checksum of the chain of blocks 110 (respectively 120 and 130) used as an identifier of the block chain 110 (respectively 120). and 130), a checksum of the previous block 120 (respectively 130 and a block not shown) and a proof of work. The checksums are for example of the so-called “SHA-256” type and conform to the so-called “FIPS 180-4” standard. The checksums are preferably signed using a private cryptographic key.
Les blocs 130, 120 et 110 comportent un module d’exécution décentralisé 114. Le module d’exécution décentralisé 114 comprend un script exécutable par une machine virtuelle comprise dans la chaine de blocs 1110. Par exemple, le script exécutable est apte à compiler un programme d’ordinateur 111 (ou à commander sa compilation) avant de l’exécuter.Blocks 130, 120 and 110 include a decentralized execution module 114. The decentralized execution module 114 includes a script executable by a virtual machine included in the block chain 1110. For example, the executable script is capable of compiling a computer program 111 (or to order its compilation) before executing it.
En référence à la
Le programme d’ordinateur 111 est destinée à être mis en œuvre dans un processeur compris dans un véhicule automobile, éventuellement après optimisation, traduction, compilation ou correction du programme d’ordinateur 111. Le programme d’ordinateur 111 peut être un code source (c’est-à-dire sous forme d’au moins un fichier texte) par exemple dans un langage informatique connu sous le nom de "C" ou “C++”.The computer program 111 is intended to be implemented in a processor included in a motor vehicle, possibly after optimization, translation, compilation or correction of the computer program 111. The computer program 111 can be a source code ( that is to say in the form of at least one text file) for example in a computer language known as “C” or “C++”.
le programme d’ordinateur 111 est apte à (ou configuré pour) mettre en œuvre une au moins de taches suivantes :the computer program 111 is capable of (or configured to) implement at least one of the following tasks:
- Localisation géographique du véhicule automobile,Geographic location of the motor vehicle,
- Reconnaissance de scène de l’environnement du véhicule automobile,Scene recognition of the automobile vehicle environment,
- Détermination automatisée d’une trajectoire du véhicule automobile,Automated determination of a trajectory of the motor vehicle,
- Suivi d’une trajectoire du véhicule automobile.Tracking the trajectory of the motor vehicle.
A l’étape S20, le dispositif 1000 reçoit une instruction d’écriture d’une donnée de test 112 dans la chaine de bloc 1110. La donnée de test 112 est alors mémorisée dans le bloc 120 par le processeur 1200.In step S20, the device 1000 receives an instruction to write test data 112 in the block chain 1110. The test data 112 is then stored in the block 120 by the processor 1200.
A l’étape S30, le dispositif 1000 reçoit une instruction d’écriture d’une donnée de résultat attendu 115 dans la chaine de blocs 1110. La donnée de de résultat attendu 115 est alors mémorisée dans le bloc 120 par le processeur 1200.In step S30, the device 1000 receives an instruction to write expected result data 115 in the block chain 1110. The expected result data 115 is then stored in block 120 by the processor 1200.
A l’étape S40, le dispositif 1000 réceptionne (autrement dit : reçoit) une instruction de lancement d’une exécution du programme d’ordinateur 111 par le module d’exécution décentralisé 114, avec pour donnée d’entrée, la donnée de test 112. Sur réception de l’instruction de lancement, le processeur 1200 exécute le script du module d’exécution décentralisé 114 à l’aide d’une machine virtuelle comprise dans la chaine de blocs 1110. Par exemple, le script est apte à compiler le programme d’ordinateur 111 (ou à commander sa compilation) avant de l’exécuter. L’exécution du programme d’ordinateur 111 par le processeur 1200 produit un résultat de sortie 113 mémorisé dans le bloc 110.In step S40, the device 1000 receives (in other words: receives) an instruction to launch an execution of the computer program 111 by the decentralized execution module 114, with the test data as input data 112. On receipt of the launch instruction, the processor 1200 executes the script of the decentralized execution module 114 using a virtual machine included in the blockchain 1110. For example, the script is capable of compiling the computer program 111 (or to order its compilation) before executing it. The execution of the computer program 111 by the processor 1200 produces an output result 113 stored in the block 110.
A l’étape S50, le dispositif 1000 réceptionne une instruction de lancement d’une comparaison entre la donnée de sortie 113 et la donnée de résultat attendu 115. Le processeur 1200 réalise alors la comparaison et mémorise le résultat 116 de la comparaison dans le bloc 110.In step S50, the device 1000 receives an instruction to launch a comparison between the output data 113 and the expected result data 115. The processor 1200 then carries out the comparison and stores the result 116 of the comparison in the block 110.
Les instructions d’écriture et de lancement précitées peuvent être reçues (par l’intermédiaire d’une interface homme machine) d’un utilisateur du dispositif 1000 ou d’un autre dispositif au travers un réseau de télécommunication (non représenté) connecté au dispositif 1000 et peuvent être mises en œuvre par le processeur 1200.The aforementioned write and launch instructions can be received (via a human machine interface) from a user of the device 1000 or from another device through a telecommunications network (not shown) connected to the device 1000 and can be implemented by the processor 1200.
Le dispositif 1000 peut mémoriser un programme d’ordinateur comprenant des instructions, exécutables par processeur 1200, pour la mise en œuvre des étapes S10 à S50.The device 1000 can store a computer program comprising instructions, executable by processor 1200, for implementing steps S10 to S50.
Claims (6)
- Réception d’une instruction d’écriture (S10) du premier programme d’ordinateur (111) dans la chaine de blocs (1110), le premier programme d’ordinateur (111) étant configuré pour produire une donnée de sortie à partir d’une donnée d’entrée,
- Réception d’une instruction d’écriture (S20) d’une donnée de test (112) dans la chaine de blocs (1110),
- Réception d’une instruction de lancement (S40) d’une exécution du premier programme d’ordinateur (111), avec pour donnée d’entrée du premier programme d’ordinateur (111), la donnée de test, le lancement étant mis en œuvre par le module d’exécution centralisé (114),
- Mémorisation de la donnée de sortie (113) dans la chaine de blocs (1110).
- Receiving a write instruction (S10) from the first computer program (111) into the blockchain (1110), the first computer program (111) being configured to produce output data from an input data,
- Receiving a write instruction (S20) for test data (112) in the block chain (1110),
- Receiving a launch instruction (S40) for an execution of the first computer program (111), with the test data as input data of the first computer program (111), the launch being activated implemented by the centralized execution module (114),
- Storage of the output data (113) in the block chain (1110).
- Réception d’une instruction d’écriture (S30) d’une donnée de résultat attendu (115) dans la chaine de blocs,
- Réception d’une instruction de lancement (S50) d’une comparaison entre la donnée de sortie (113) et la donnée de résultat attendu (115), la comparaison produisant un résultat de comparaison (116),
- Mémorisation du résultat de la comparaison dans la chaine de blocs (116).
- Receiving a write instruction (S30) of expected result data (115) in the blockchain,
- Receiving an instruction to launch (S50) a comparison between the output data (113) and the expected result data (115), the comparison producing a comparison result (116),
- Storage of the comparison result in the blockchain (116).
- Localisation géographique du véhicule automobile,
- Reconnaissance de scène de l’environnement du véhicule automobile,
- Détermination automatisée d’une trajectoire du véhicule automobile,
- Suivi d’une trajectoire du véhicule automobile.
- Geographic location of the motor vehicle,
- Scene recognition of the automobile vehicle environment,
- Automated determination of a trajectory of the motor vehicle,
- Following a trajectory of the motor vehicle.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| FR2203507A FR3134638A1 (en) | 2022-04-15 | 2022-04-15 | Method for developing a computer program on blockchain for motor vehicles and associated device |
Applications Claiming Priority (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| FR2203507A FR3134638A1 (en) | 2022-04-15 | 2022-04-15 | Method for developing a computer program on blockchain for motor vehicles and associated device |
| FR2203507 | 2022-04-15 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| FR3134638A1 true FR3134638A1 (en) | 2023-10-20 |
Family
ID=82483378
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| FR2203507A Pending FR3134638A1 (en) | 2022-04-15 | 2022-04-15 | Method for developing a computer program on blockchain for motor vehicles and associated device |
Country Status (1)
| Country | Link |
|---|---|
| FR (1) | FR3134638A1 (en) |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR20200077830A (en) * | 2018-12-21 | 2020-07-01 | 이화여자대학교 산학협력단 | Managing method for test data based on blockchain node apparatus of blockchain |
| US20210209012A1 (en) * | 2020-01-03 | 2021-07-08 | International Business Machines Corporation | Verifiable testcase workflow |
| US20210382813A1 (en) * | 2020-06-09 | 2021-12-09 | Methodics, Inc. | Efficient computing hardware and software component design testing through test fragmentation and isolated execution within a discrete computing environment |
-
2022
- 2022-04-15 FR FR2203507A patent/FR3134638A1/en active Pending
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR20200077830A (en) * | 2018-12-21 | 2020-07-01 | 이화여자대학교 산학협력단 | Managing method for test data based on blockchain node apparatus of blockchain |
| US20210209012A1 (en) * | 2020-01-03 | 2021-07-08 | International Business Machines Corporation | Verifiable testcase workflow |
| US20210382813A1 (en) * | 2020-06-09 | 2021-12-09 | Methodics, Inc. | Efficient computing hardware and software component design testing through test fragmentation and isolated execution within a discrete computing environment |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN106371940B (en) | Method and device for solving program crash | |
| US7757221B2 (en) | Apparatus and method for dynamic binary translator to support precise exceptions with minimal optimization constraints | |
| EP1782191B1 (en) | Method for loading software with an intermediate object oriented language in a portable device | |
| US9317405B2 (en) | Test double generation | |
| US11886302B1 (en) | System and method for execution of applications in a container | |
| CN109614107B (en) | Integration method and device of software development kit | |
| US6175935B1 (en) | Software debugging method and recording medium to which debugging program has been recorded | |
| EP2453356B1 (en) | Method, computer program and device for securing byte code to be run by a virtual machine | |
| CN115629971A (en) | Application development system and method | |
| US10481883B2 (en) | Inter-file optimization program generation method, and program generator | |
| CN113268684A (en) | Data processing method, device, terminal equipment and storage medium | |
| Le | LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution). | |
| CN101021812A (en) | Interpreter language debugging method and device | |
| FR3134638A1 (en) | Method for developing a computer program on blockchain for motor vehicles and associated device | |
| CN107092517B (en) | SDK tool package generation method and device | |
| CN103927213A (en) | File compiling method and device | |
| CN115809076A (en) | ECU software automation integration method and system | |
| CN107368713B (en) | Protect the method and security component of software | |
| US20230087569A1 (en) | Automatic test generation for highly complex existing software | |
| CN111880803B (en) | Software construction method and device applied to multiple platforms | |
| KR20190075508A (en) | Computing system and method for automatically generating embedded software on virtualized system | |
| WO2020165518A1 (en) | Method for updating a motor vehicle computer in such a way as to add an additional functionality thereto | |
| WO2002044898A1 (en) | Formal verification in particular of a secured virtual machine | |
| EP1591866A1 (en) | Control of execution of an algorithm by an integrated circuit | |
| CN115794260B (en) | Simple dynamic loading method for DSP software library |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PLFP | Fee payment |
Year of fee payment: 2 |
|
| PLSC | Publication of the preliminary search report |
Effective date: 20231020 |