Theoretical Computer Science
Marte CCSL to Execute East-ADL Timing Requirements
ISORC '09 Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach
QSIC '12 Proceedings of the 2012 12th International Conference on Quality Software
Hi-index | 0.00 |
Energy-Aware Real-Time (ERT) systems are increasingly complex and have pervaded various areas, from automotive to telecommunication systems. East-adl, an automotive specific architectural description language dedicated to safety-critical embedded control systems, has been proposed to harness this complexity. However, the current concept of East-adl provides limited support for modeling and analysis of ERT behaviors due to the absence of energy constraints modeling notations and the lack of formal semantics. In this paper, we tackle that shortcoming by extending East-adl notation with energy constraints and integrating the extension with formal analysis techniques based on the ERT constraints. A mapping strategy is proposed to facilitate the guarantee of integration. Furthermore, we develop a procedure that transforms the East-adl prototype model to the Uppaal model for model checking. The analysis techniques including the mapping strategy are validated and demonstrated on the Brake-By-Wire case study.