Statechart/ACSR: Combining ACSR and Statechart for Formal Specification
Dae-Yon Hwang, Jin-Hyun Kim, Young Jung Ahn, In-Hye Kang, Jin‐Young Choi · 2012
For Real-time systems, formally specifying the functional behavior of the software and verifying it is not enough to prove that it will meet its real-time requirement. When a software is loaded as a process and gets restriction on resources, the platform information has to be considered together with the software. In this paper we propose a combination of two formal language, Statechart and ACSR to complement each other's weak point and to formally specify software and platform together.