Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor

Cinzia Bernardeschi (1) , Andrea Domenici (1) , Maurizio Palmieri (1) , Sergio Saponara (1) , Tanguy Sassolas (2) , Arief Wicaksana (2) , Lilia Zaourar (2)

1 Dipartimento di Ingegneria dell'Informazione [Pisa]
2 LECA - Laboratoire Environnement de Conception & Architecture

Domains: Modeling and Simulation; Embedded Systems

Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, et al.. Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 12524, Springer International Publishing, pp.263-279, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-67220-1_20⟩. ⟨cea-03463379⟩