2 papers
cs.SE2019
SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems
Li Huang, Eun-Young Kang
Modeling and analysis of timing constraints is crucial in cyber-physical systems (CPS). EAST-ADL is an architectural language dedicated to safety-critical embedded system design. S…
cs.SE2019
A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL
Eun-Young Kang
Development of quality assured software-intensive systems, such as automotive embedded systems, is an increasing challenge as the complexity of these systems significantly increase…