Correctness and Schedulability Analysis for Real-time Systems using HPPN (Hierarchically Profiled Petri Nets)
Hyunsang Youn, Cheol-Hyun Park, Eunseok Lee · Jeongbo gwahaghoe nonmunji. so'peuteuweeo mich eung'yong · 2011
In order to develop systems to complete missions which are hardly affected by time limit, it is required to process the tasks using limited resource and considering the time costs of it. The development of these systems must perform model based verification and validation (V&V) considering time limit, available resource and time cost to process tasks which are decided in the early phase of system development life cycle. Model based V&V requires modeling language that has powerful expressiveness to represent the information above mentioned. In the classical literature, the analysis technique for these systems, which is highly distributed and which has high complexity, does not cover the real-time characteristics. We present a Petri Nets based modeling formalism, called Hierarchically Profiled Petri Nets (HPPN), which provides a unified solution for above problems through the profiled firing rule in which the state evolve according to the state transition rule. We propose an analysis technique, which represents the multi-aspect based state enumeration that considers the state of token and the state of marking. All analysis technique described in this paper is implemented in the HPPN Tool. Expressive and analysis capabilities of the model are demonstrated with reference to an intercontinental ballistic missiles (ICBM) scenario.