JPWO2020128363A5 - - Google Patents
Download PDFInfo
- Publication number
- JPWO2020128363A5 JPWO2020128363A5 JP2021535802A JP2021535802A JPWO2020128363A5 JP WO2020128363 A5 JPWO2020128363 A5 JP WO2020128363A5 JP 2021535802 A JP2021535802 A JP 2021535802A JP 2021535802 A JP2021535802 A JP 2021535802A JP WO2020128363 A5 JPWO2020128363 A5 JP WO2020128363A5
- Authority
- JP
- Japan
- Prior art keywords
- dataflow
- autosar
- release
- software
- systems
- 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.)
- Granted
Links
- 230000003044 adaptive effect Effects 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
Description
(参考文献)
1. X. K. Do, S. Louise and A. Cohen, Transaction Parameterized Dataflow: A model for context-dependent streaming applications, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), Dresden, 2016, pp. 960-965.
2. Haitao Wei, Stephane Zuckerman, Xiaoming Li, Guang R. Gao, A Dataflow Programming Language and its Compiler for Streaming Systems, Procedia Computer Science, Volume 29, 2014, Pages 1289-1298, ISSN 1877-0509.
3. Gustav Cedersjo and Jorn W. Janneck. Software code generation for dynamic dataflow programs. In Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems (SCOPES '14). ACM, New York, NY, USA, 2014, 31-39.
4. Explanation of ara::com API, AUTOSAR AP Release 17-03.
5. Specification of Time Synchronization for Adaptive Platform, AutoSAR AP Release 17-10
1. X. K. Do, S. Louise and A. Cohen, Transaction Parameterized Dataflow: A model for context-dependent streaming applications, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), Dresden, 2016, pp. 960-965.
2. Haitao Wei, Stephane Zuckerman, Xiaoming Li, Guang R. Gao, A Dataflow Programming Language and its Compiler for Streaming Systems, Procedia Computer Science, Volume 29, 2014, Pages 1289-1298, ISSN 1877-0509.
3. Gustav Cedersjo and Jorn W. Janneck. Software code generation for dynamic dataflow programs. In Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems (SCOPES '14). ACM, New York, NY, USA, 2014, 31-39.
4. Explanation of ara::com API, AUTOSAR AP Release 17-03.
5. Specification of Time Synchronization for Adaptive Platform, AutoSAR AP Release 17-10
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| FR1873585A FR3091106B1 (fr) | 2018-12-20 | 2018-12-20 | Système de supervision formelle de communications |
| FR1873585 | 2018-12-20 | ||
| PCT/FR2019/053201 WO2020128363A1 (fr) | 2018-12-20 | 2019-12-19 | Système de supervision formelle de communications |
Publications (3)
| Publication Number | Publication Date |
|---|---|
| JP2022516001A JP2022516001A (ja) | 2022-02-24 |
| JPWO2020128363A5 true JPWO2020128363A5 (ja) | 2024-04-02 |
| JP7490656B2 JP7490656B2 (ja) | 2024-05-27 |
Family
ID=66867261
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2021535802A Active JP7490656B2 (ja) | 2018-12-20 | 2019-12-19 | 通信を形式的に監視するためのシステム |
Country Status (5)
| Country | Link |
|---|---|
| US (1) | US20220250560A1 (ja) |
| EP (1) | EP3881515B1 (ja) |
| JP (1) | JP7490656B2 (ja) |
| FR (1) | FR3091106B1 (ja) |
| WO (1) | WO2020128363A1 (ja) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2023060524A1 (zh) * | 2021-10-15 | 2023-04-20 | 华为技术有限公司 | 车载应用的参数标定方法、装置和车辆 |
Family Cites Families (15)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7739240B2 (en) * | 2002-12-09 | 2010-06-15 | Hewlett-Packard Development Company, L.P. | Replication and replica management in a wide area file system |
| US7900194B1 (en) * | 2004-03-25 | 2011-03-01 | Verizon Corporate Services Group Inc. | Kernel-based intrusion detection using bloom filters |
| US8015235B1 (en) * | 2006-01-03 | 2011-09-06 | Emc Corporation | Group services |
| JP5107131B2 (ja) * | 2008-04-28 | 2012-12-26 | 株式会社東芝 | テストケース生成装置およびその生成方法、ならびにテストケース生成のためのプログラム |
| WO2011096037A1 (ja) | 2010-02-02 | 2011-08-11 | 株式会社日立製作所 | 仕様モデル検査方法および仕様モデル検査装置 |
| US8839197B2 (en) | 2010-10-11 | 2014-09-16 | International Business Machines Corporation | Automated analysis of composite applications |
| US8984490B1 (en) * | 2010-10-26 | 2015-03-17 | Interactive TKO, Inc. | Modeling and testing of interactions between components of a software system |
| US8856291B2 (en) * | 2012-02-14 | 2014-10-07 | Amazon Technologies, Inc. | Providing configurable workflow capabilities |
| US9684524B1 (en) * | 2013-12-20 | 2017-06-20 | Amazon Technologies, Inc. | Service-oriented system optimization using trace data |
| US9852294B1 (en) * | 2014-06-24 | 2017-12-26 | Symantec Corporation | Systems and methods for detecting suspicious applications based on how entry-point functions are triggered |
| WO2016151710A1 (ja) | 2015-03-20 | 2016-09-29 | 株式会社日立製作所 | 仕様構成装置および方法 |
| 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 |
| US20200372315A1 (en) * | 2019-05-22 | 2020-11-26 | GM Global Technology Operations LLC | System and method for carrying out a vehicle action based on a sensor tag state |
| US11880271B2 (en) * | 2020-03-27 | 2024-01-23 | VMware LLC | Automated methods and systems that facilitate root cause analysis of distributed-application operational problems and failures |
| US11379198B1 (en) * | 2020-12-14 | 2022-07-05 | Sap Se | Call graph enhancement using stitching algorithm |
-
2018
- 2018-12-20 FR FR1873585A patent/FR3091106B1/fr active Active
-
2019
- 2019-12-19 WO PCT/FR2019/053201 patent/WO2020128363A1/fr unknown
- 2019-12-19 US US17/415,477 patent/US20220250560A1/en active Pending
- 2019-12-19 JP JP2021535802A patent/JP7490656B2/ja active Active
- 2019-12-19 EP EP19848788.6A patent/EP3881515B1/fr active Active
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN103701930A (zh) | 一种移动应用程序的实时更新方法及系统 | |
| Koshy et al. | VMSTAR: synthesizing scalable runtime environments for sensor networks | |
| CN104903859B (zh) | 异构计算环境中的过程迁移方法和系统 | |
| Engelmann et al. | Redundant execution of HPC applications with MR-MPI | |
| CN111367510B (zh) | 一种安卓功能模块开发的方法及装置 | |
| WO2007070073A3 (en) | System and method for efficiently generating native code calls from byte code in virtual machines | |
| JP2004533691A (ja) | データを処理するための方法 | |
| CN101243412B (zh) | 用于安全检查模块中的可执行应用程序的系统和方法 | |
| CN101673204A (zh) | 一种基于arm的手机应用程序动态加载方法 | |
| CN101957766A (zh) | 一种字节码织入方法、装置及系统 | |
| JPWO2020128363A5 (ja) | ||
| CN103473034A (zh) | 一种动态发布Web 服务的方法和装置 | |
| Brouwers et al. | Darjeeling, a Java compatible virtual machine for microcontrollers | |
| Zhu et al. | Lightweight transparent java thread migration for distributed jvm | |
| Xie et al. | X10-FT: Transparent fault tolerance for APGAS language and runtime | |
| US9176718B2 (en) | Java program for emulating the memory management of a C program and corresponding method | |
| Huynh et al. | Mapping streaming applications onto GPU systems | |
| Pinheiro | Truly-transparent checkpointing of parallel applications | |
| Kim et al. | Dynamic software updates for parallel high‐performance applications | |
| Vallee et al. | Process migration based on gobelins distributed shared memory | |
| Chen et al. | Component-oriented simulation architecture: Toward interoperability and interchangeability | |
| Asahi et al. | Performance portable Vlasov code with C++ parallel algorithm | |
| Andersson et al. | Kaffemik-A distributed JVM on a single address space architecture | |
| Aldinucci et al. | Targeting heterogeneous architectures in ASSIST: experimental results | |
| Ferrari et al. | Process introspection: A checkpoint mechanism for high performance heterogeneous distributed systems |