Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC

2018 ◽  
pp. 236-254 ◽  
Author(s):  
Eun-Young Kang ◽  
Dongrui Mu ◽  
Li Huang
Keyword(s):  
Timing Constraints ◽  
Probabilistic Verification ◽  
Automotive Systems

Towards a Component-Based Requirements Modeling for Automotive Systems

2010 ◽  
Vol 40-41 ◽  
pp. 955-960
Author(s):  
Xu Qin Yan ◽  
Xiao Jian Liu ◽  
Zhi Xue Wang ◽  
Xiao Bo Che ◽  
Cheng Yong Mao ◽  
...  
Keyword(s):  
Timed Automata ◽  
Electronic Control Unit ◽  
Control Unit ◽  
Timing Constraints ◽  
Electronic Control ◽  
Modeling Framework ◽  
Automotive Systems ◽  
Requirements Modeling ◽  
And Behavior ◽  
Automotive System

Requirements modeling is a critical stage in the development of ECUs (Electronic Control Unit) of automotive systems. A typical automotive system usually involves large amount of requirement items, and possesses restricted timing constraints and complicated interactions, therefore a single modeling language only does not cover the whole characteristics of a system. In this paper, we extend SaveCCM, a component model for automotive software development, with timed automata to form a modeling framework for automotive requirements. The integrated model can be used to analyze the architecture and timed behavior of an automotive system. The proposed approach takes the following advantages that: (1) It can effectively and completely express the architecture and behavior requirements of automotive systems; (2) It can describe the interactions between an ECU and its environment in terms of synchronization channels.

Safety analysis of programmable automotive systems

2006 ◽  
Author(s):  
P.H. Jesty ◽  
D.D. Ward ◽  
R.S. Rivett ◽  
R.J. Evan
Keyword(s):  
Safety Analysis ◽  
Automotive Systems
Sign in / Sign up

Export Citation Format

Share Document