Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Küngas, P.: Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies. In: Zucker, J.-D., Saitta, L. (eds.) SARA 2005. LNCS (LNAI), vol. 3607, pp. 149–164. Springer, Heidelberg (2005)
Hennessy, M.: Algebraic Theory of Processes. The MIT Press, ISBN 0-262-08171-7
Vereijken, J.J.: Discrete-time process algebra. Eindhoven University of Technology (1997) ISBN 90-386-0541-2
Ajmone-Marsan, M.: Stochastic Petri Nets: an Elementary Introduction. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol. 424, pp. 1–29. Springer, Heidelberg (1990)
Jensen, K.: Coloured Petri Nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, Springer, Heidelberg (1987)
Berthomieu, B., Dim, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. on Software Engineering 17(3) (March 2000)
Stankovic, J.A., Ramamritham, K.: What Is Predictability for Real-Time Systems. J. Real-time Systems 2 (December 1990)
Bause, F., Kritzinger, F.: Stochastic Petri Nets—An Introduction to the Theory, 2nd edn. Vieweg Verlag (2002)
Bucci, G., Sassoli, L., Vicario, E.: Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. IEEE Trans. on Software Engineering 31(11), 913–927 (2005)
Youn, H., Park, C., Lee, E.: Security based survivability risk analysis with extended HQPN. In: Proceedings of ICUIMC 2011, February 21-23 (2011)
Kounev, S.: Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets. IEEE Trans. on Software Engineering 32(7) (July 2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Youn, H., Chun, I., Lee, E. (2011). Evaluation of Real-Time Characteristics for Mission Critical Systems Using Hierarchically Profiled Petri Net. In: Kim, Th., Adeli, H., Stoica, A., Kang, BH. (eds) Control and Automation, and Energy System Engineering. CES3 CA 2011 2011. Communications in Computer and Information Science, vol 256. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-26010-0_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-26010-0_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-26009-4
Online ISBN: 978-3-642-26010-0
eBook Packages: Computer ScienceComputer Science (R0)