9 papers · 1 filter
Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS
Reza Soltani, Eun-Young Kang, Juan Esteban Heredia Mena
Optimizing CPS behavior in terms of energy consumption can have a significant impact on system reliability. The environment influences the system's behavior, and neglecting the env…
Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems
Li Huang, Tian Liang, Eun-Young Kang
Formal analysis of functional and non-functional requirements is crucial in automotive systems. The behaviors of those systems often rely on complex dynamics as well as on stochast…
Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems
Li Huang, Eun-Young Kang
Ensuring correctness of timed behaviors in cyber-physical systems (CPS) using closed-loop verification is challenging due to the hybrid dynamics in both systems and environments. S…
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…
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…
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…