On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification
- 19 July 2013
- book chapter
- Published by Springer Nature
- p. 85-99
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint SpecificationsLecture Notes in Computer Science, 2012
- Enabling Scheduling Analysis for AUTOSAR Systems2011
- Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT2011
- Verifying system behaviors in EAST-ADL2 with the SPIN model checker2010
- Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering EnvironmentsProceedings of the IEEE, 2010
- Automotive Architecture Description Languages2008
- Model-Based Development of Automotive Embedded Systems2008
- Early verification and validation of mission critical systemsFormal Methods in System Design, 2006
- Timed automata based analysis of embedded system architectures2006
- Timed Automata: Semantics, Algorithms and Tools2004