![]() ![]() Then, we verify if the resulting platform-specific model meets the timing requirements. The first transformation systematically extends the platform-independent model by explicitly modeling input/output processing (e.g., sampling or interrupt-based) and the code invocation (e.g., periodic or aperiodic) mechanisms. Our framework involves two transformations. We propose a novel framework to determine such timing parameters from platform-independent timed models. To meet the timing requirements, the code generation (e.g., C code) from timed models needs to determine the timing parameters that indicate when the code has to perform I/O with its platform. Safety-critical embedded systems often need to meet dependability requirements such as strict input/output timing constraints.
0 Comments
Leave a Reply. |