{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T21:06:00Z","timestamp":1775855160820,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,1,27]]},"DOI":"10.1145\/3787501.3787505","type":"proceedings-article","created":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T08:40:57Z","timestamp":1773650457000},"page":"22-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Simulation Methodology for Fast Verification of Cyber-Physical Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-2826-9907","authenticated-orcid":false,"given":"Maxime","family":"Gras--Chevalier","sequence":"first","affiliation":[{"name":"University of Bordeaux, Bordeaux INP, IMS Laboratory, UMR CNRS 5218, Stellantis, Bordeaux, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5964-6277","authenticated-orcid":false,"given":"Christophe","family":"J\u00e9go","sequence":"additional","affiliation":[{"name":"University of Bordeaux, Bordeaux INP, IMS Laboratory, UMR CNRS 5218, Bordeaux, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-1199-9165","authenticated-orcid":false,"given":"Camille","family":"Leroux","sequence":"additional","affiliation":[{"name":"University of Bordeaux, Bordeaux INP, IMS Laboratory, UMR CNRS 5218, Bordeaux, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-4407-9088","authenticated-orcid":false,"given":"Franck","family":"Guillemard","sequence":"additional","affiliation":[{"name":"Stellantis, Poissy, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,3,16]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"2014. IoT Devices and Infrastructures Group. https:\/\/www.nist.gov\/ctl\/smart-connected-systems-division\/iot-devices-and-infrastructures-group. NIST (2014)."},{"key":"e_1_3_3_1_3_2","unstructured":"2016. IEEE Standard for Standard SystemC\u00ae Analog\/Mixed-Signal Extensions Language Reference Manual. IEEE Std 1666.1-2016 (2016)."},{"key":"e_1_3_3_1_4_2","unstructured":"2023. IEEE Standard for Standard SystemC\u00ae Language Reference Manual. IEEE Std 1666-2023 (Revision of IEEE Std 1666-2011) (2023)."},{"key":"e_1_3_3_1_5_2","unstructured":"2024. Cyber-Physical Systems - a Concept Map. https:\/\/ptolemy.berkeley.edu\/projects\/cps\/."},{"key":"e_1_3_3_1_6_2","unstructured":"2024. SystemC AMS Proof-of-Concept. https:\/\/www.coseda-tech.com\/systemc-ams-proof-of-concept."},{"key":"e_1_3_3_1_7_2","unstructured":"2024. Verilog-AMS Language Reference Manual."},{"key":"e_1_3_3_1_8_2","unstructured":"2025. Miniature DC Motors Parameters. https:\/\/www.portescap.com\/de-de\/produkte\/b\u00fcrsten-dc-motoren\/miniature-dc-motors."},{"key":"e_1_3_3_1_9_2","unstructured":"2025. Model an Anti-Lock Braking System - MATLAB Simulink. https:\/\/www.mathworks.com\/help\/simulink\/slref\/modeling-an-anti-lock-braking-system.html."},{"key":"e_1_3_3_1_10_2","volume-title":"DATE","author":"Andrade Liliana","year":"2015","unstructured":"Liliana Andrade, Torsten Maehne, Alain Vachoux, and et al. 2015. Pre-Simulation Symbolic Analysis of Synchronization Issues between Discrete Event and Timed Data Flow Models of Computation. In DATE. IEEE Conference Publications."},{"key":"e_1_3_3_1_11_2","volume-title":"SAMOS","author":"Aoun Cedric\u00a0Ben","year":"2015","unstructured":"Cedric\u00a0Ben Aoun, Liliana Andrade, Torsten Maehne, Francois Pecheux, and et al. 2015. Pre-Simulation Elaboration of Heterogeneous Systems: The SystemC Multi-Disciplinary Virtual Prototyping Approach. In SAMOS. IEEE."},{"key":"e_1_3_3_1_12_2","volume-title":"An Introduction to Numerical Analysis (2nd ed.)","author":"Atkinson Kendall\u00a0E.","year":"1989","unstructured":"Kendall\u00a0E. Atkinson. 1989. An Introduction to Numerical Analysis (2nd ed.). Wiley."},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228584"},{"key":"e_1_3_3_1_14_2","volume-title":"Mechatronics: Electronic Control Systems in Mechanical and Electrical Engineering (3rd ed.)","author":"Bolton William","year":"2003","unstructured":"William Bolton. 2003. Mechatronics: Electronic Control Systems in Mechanical and Electrical Engineering (3rd ed.). Pearson \/ Prentice Hall."},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"crossref","unstructured":"Adrien Cassagne and et al. 2019. AFF3CT: A Fast Forward Error Correction Toolbox! SoftwareX 10 (2019).","DOI":"10.1016\/j.softx.2019.100345"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Adrien Cassagne Romain Tajan Olivier Aumage Camille Leroux Denis Barthou and Christophe J\u00e9go. 2023. StreamPU: A DSEL for High Throughput and Low Latency Software-defined Radio on Multicore CPUs. CCPE 35 23 (2023).","DOI":"10.1002\/cpe.7820"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Breytner Fernandez-Mesa Liliana Andrade and Frederic Petrot. 2021. Synchronization of Continuous Time and Discrete Events Simulation in SystemC. IEEE TCAD 40 7 (2021).","DOI":"10.1109\/TCAD.2020.3019204"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"crossref","unstructured":"Enrico Fraccaroli Michele Lora and Franco Fummi. 2020. Automatic Generation of Analog \/ Mixed Signal Virtual Platforms for Smart Systems. IEEE Trans. Comput. 69 9 (2020).","DOI":"10.1109\/TC.2020.2970699"},{"key":"e_1_3_3_1_19_2","volume-title":"IEEE Standard VHDL Analog and Mixed-Signal Extensions","author":"Soc. IEEE Comput.","year":"1999","unstructured":"IEEE Comput. Soc., IEEE, and IEEE-SA Standards Board (Eds.). 1999. IEEE Standard VHDL Analog and Mixed-Signal Extensions."},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","unstructured":"Siddhartha\u00a0Kumar Khaitan and James\u00a0D. McCalley. 2015. Design Techniques and Applications of Cyberphysical Systems: A Survey. IEEE Systems Journal 9 2 (2015).","DOI":"10.1109\/JSYST.2014.2322503"},{"key":"e_1_3_3_1_21_2","unstructured":"Mathuran Kandeepan Clara Ciocan Maxime Millet Manuel Bouyer Adrien Cassagne and Lionel Lacassagne. 2022. Fast Meteor Detection Toolbox. https:\/\/github.com\/alsoc\/fmdt."},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"Payman Shakouri Jacek Czeczot and Andrzej Ordys. 2015. Simulation Validation of Three Nonlinear Model-Based Controllers in the Adaptive Cruise Control System. Journal of Intelligent & Robotic Systems 80 2 (2015).","DOI":"10.1007\/s10846-014-0128-4"},{"key":"e_1_3_3_1_23_2","unstructured":"Wilson Snyder Paul Wasson Duane Galbi and et al. 2024. Verilator. https:\/\/github.com\/verilator\/verilator."}],"event":{"name":"RAPIDO '26: Rapid Simulation and Performance Evaluation for Design","location":"Krak\u00f3w Poland","acronym":"RAPIDO '26"},"container-title":["Proceedings of the Rapid Simulation and Performance Evaluation for Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3787501.3787505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T20:23:18Z","timestamp":1775852598000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3787501.3787505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,27]]},"references-count":22,"alternative-id":["10.1145\/3787501.3787505","10.1145\/3787501"],"URL":"https:\/\/doi.org\/10.1145\/3787501.3787505","relation":{},"subject":[],"published":{"date-parts":[[2026,1,27]]},"assertion":[{"value":"2026-03-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}