3 papers
cs.SE2018
Probabilistic Analysis of Weakly-Hard Real-Time Systems
Eun-Young Kang, Dongrui Mu, Li Huang
Modeling and analysis of non-functional properties, such as timing constraints, is crucial in automotive real-time embedded systems. EAST-ADL is a domain specific architectural lan…
cs.SE2018
Model-based Verification and Validation of an Autonomous Vehicle System
Eun-Young Kang, Dongrui Mu, Li Huang +1
The software development for Cyber-Physical Systems (CPS), e.g., autonomous vehicles, requires both functional and non-functional quality assurance to guarantee that the CPS operat…
cs.SE2018
Formal Analysis of Non-functional Properties for a Cooperative Automotive System
Eun-Young Kang, Li Huang, Dongrui Mu
Modeling and analysis of nonfunctional requirements is crucial in automotive systems. EAST-ADL is an architectural language dedicated to safety-critical automotive system design. W…