Automatic modelling and verification of Autosar architectures
Authors:
- Miaomiao ZhangMZMiaomiao Zhang
- Yu TengYTYu Teng
- Hui KongHKHui Kong
- John BaughJBJohn Baugh
- Yu SuYSYu Su
- Junri MiJMJunri Mi
- Bowen DuBDBowen Du
- 11 March 2023
- journal article
- research article
- Published by Elsevier in Journal of Systems and Software
- Vol. 201
Abstract
No abstract availableKeywords
Funding Information
- National Natural Science Foundation of China
- Huawei Technologies Co Ltd
This publication has 12 references indexed in Scilit:
- Defending AUTOSAR Safety Critical Systems Against Code Reuse Attacks2019
- A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systemsJournal of Systems and Software, 2018
- Beacon Rate Optimization for Vehicular Safety Applications in Highway ScenariosIEEE Transactions on Vehicular Technology, 2017
- DEVS for AUTOSAR-based system deployment modeling and simulationSIMULATION, 2017
- Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality schedulingJournal of Systems Architecture, 2017
- Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-Based Distributed Embedded SystemsIEEE Transactions on Parallel and Distributed Systems, 2016
- A Multichannel Medium Access Control Protocol for Vehicular Power Line Communication SystemsIEEE Transactions on Vehicular Technology, 2015
- Automatic transformation of abstract AUTOSAR architectures to timed automata2012
- Model checking and modular verificationACM Transactions on Programming Languages and Systems, 1994
- A theory of timed automataTheoretical Computer Science, 1994