Gnokam Defo, Gilles Bertrand: A framework for assertion-based timing verification and PC-based restbus simulation of automotive systems. 2015
Content
- Introduction
- Motivation
- Problem statement
- Restbus simulation for early functional validation
- Data synchronization between simulator and hardware
- Specification of timing constraints
- Research contribution
- Structure of this thesis
- Foundation
- Automotive Control Systems
- Design of Automotive Control Systems
- Classification of Real-Time systems
- Design Methodology (AUTOSAR)
- Timing Modeling with TADL2
- Testing and Verification
- Automotive Vehicle Netwoks
- Design of Electronic Systems
- Related Work
- IP-XACT
- Modeling and simulation of embedded automotive software
- Restbus Simulation
- Modeling and simulation with SystemC
- Design Framework for IP Reuse and Integration
- AUTOSAR Vs. SystemC
- Verification of temporal properties
- Methodology
- Overall design flow
- Phase 1: Component assembly
- Phase 2: Timing requirements formalization and Code generation
- Phase 3: Timing verification
- Phase 4: Model equivalence check
- Phase 5: Restbus simulation
- Restbus simulator
- Assertion-Based Timing Verification
- Background
- Motivation
- PSL, Sequential Extended Regular Expression (SERE)
- IP-XACT
- DataEvents and Event chains
- tadl2: Notation
- Formalizing Timing Requirements
- Reason for using both tadl2 and psl
- RepeatConstraint
- StrongDelayConstraint
- RepetitionConstraint
- DelayConstraint
- SporadicConstraints
- Periodic constraints
- Synchronization Constraint
- Order Constraint
- Verification of the timing properties
- Summary
- Verification of timing properties: case study Brake-By-Wire
- Functional decomposition of the BBW model
- Instrumenting of the simulation model
- Reference model
- Specifying the timing requirements
- Evaluation results
- Repeat, StrongDelay and Repetition timing constraints
- Evaluation of the AgeConstraint and ReactionConstraint
- Evaluation of synchronization related timing Constraints
- Summary and discussion
- Synchronization
- Evaluation of Synchronization approach
- Conclusion
- Verification unit
- Pictorial representation of the IP-XACT Schema Extensions
- List of Acronyms
- List of Figures
- List of Tables
- List of Own Publications and Bibliography