TY - GEN
T1 - Evaluation of real-time characteristics for mission critical systems using hierarchically profiled petri net
AU - Youn, Hyunsang
AU - Chun, Ingeol
AU - Lee, Eunseok
PY - 2011
Y1 - 2011
N2 - Development of mission-critical systems requires the verification and the validation (V&V) considering limited time, available resource and costs to analyze the possibility of mission accomplishment in system development life cycle. In this paper we propose a Petri Net based modeling formalism, called Hierarchically Profiled Petri Net (HPPN), which provides a unified solution for above problems through the profiled firing rule in which the state evolves according to the state transition rule. Additionally we propose an analysis technique, which represents the multi-aspect based state enumeration that considers the state of token and the state of marking. Expressive and analysis capabilities of the model are demonstrated with reference to an intercontinental ballistic missiles (ICBM) scenario.
AB - Development of mission-critical systems requires the verification and the validation (V&V) considering limited time, available resource and costs to analyze the possibility of mission accomplishment in system development life cycle. In this paper we propose a Petri Net based modeling formalism, called Hierarchically Profiled Petri Net (HPPN), which provides a unified solution for above problems through the profiled firing rule in which the state evolves according to the state transition rule. Additionally we propose an analysis technique, which represents the multi-aspect based state enumeration that considers the state of token and the state of marking. Expressive and analysis capabilities of the model are demonstrated with reference to an intercontinental ballistic missiles (ICBM) scenario.
KW - Critical Systems
KW - Hierarchically Profiled Petri Net
KW - Real-time Schedulability
KW - Verification and Validation
UR - https://www.scopus.com/pages/publications/82955243996
U2 - 10.1007/978-3-642-26010-0_25
DO - 10.1007/978-3-642-26010-0_25
M3 - Conference contribution
AN - SCOPUS:82955243996
SN - 9783642260094
T3 - Communications in Computer and Information Science
SP - 202
EP - 212
BT - Control and Automation, and Energy System Engineering - International Conferences, CA and CES3 2011, Held as Part of the FGIT 2011, in Conjunction with GDC 2011, Proceedings
T2 - 2011 Int. Conf. on Control and Automation CA 2011 andCircuits Control Commun. Electric.Electronics EnergySyst.Signal and Simulation CES3 2011 Held as Part of the 3rd Int.Mega-Conf.on Future-Gener.Inf.Technol.FGIT 2011 in Conjunction with GDC 2011
Y2 - 8 December 2011 through 10 December 2011
ER -