Abstract
A safety and security pattern was defined based on the re-configuration management pattern, and the architectural specifications in Specification PEARL.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
van Katwijk, J., Toetenel, H., Abd, Anderson, E., Zalewski, J.: Specification and verification of a safety shell with statecharts and extended timed graphs, pp. 37–52. http://dx.doi.org/10.1007/3-540-40891-6_4 (2000)
Kornecki, A.J., Zalewski, J.: Software development for real-time safety-critical applications. In: SEW Tutorial Notes, pp. 1–95. IEEE Computer Society. http://dblp.uni-trier.de/db/conf/sew/sew2005t.html#KorneckiZ05a (2005)
Kramer, J., Magee, J.: Dynamic configuration for distributed systems. IEEE Trans. Softw. Eng. 11(4), 424–436 (1985)
Rust, C., Stappert, F., Bernhardi-Grisson, R.: Petri net based design of reconfigurable embedded. In: Kleinjohann, B., Kim, K.H., Kleinjohann, L., Rettberg, A. (eds.) DIPES, IFIP Conference Proceedings, vol. 219, pp. 41–50. Kluwer (2002)
Wolf, W.: A decade of hardware/software codesign. Computer 36(4), 38–43 (2003). doi:10.1109/MC.2003.1193227, http://dx.doi.org/10.1109/MC.2003.1193227
Kalbarczyk, Z., Iyer, R.K., Bagchi, S., Whisnant, K.: Chameleon: a software infrastructure for adaptive fault tolerance. IEEE Trans. Parallel Distrib. Syst. 10(6), 560–579 (1999). http://dblp.uni-trier.de/db/journals/tpds/tpds10.html#KalbarczykIBW99
Eisenring, M., Platzner, M., Thiele, L.: Communication synthesis for reconfigurable embedded systems. In: Lysaght, P., Irvine, J., Hartenstein, R.W. (eds.) FPL, Lecture Notes in Computer Science, vol. 1673, pp. 205–214. Springer (1999). http://dblp.uni-trier.de/db/conf/fpl/fpl1999.html#EisenringPT99
Hutchings, B.L., Wirthlin, M.J.: Implementation approaches for reconfigurable logic applications. In: Moore, W., Luk, W. (eds.) Field-Programmable Logic and Applications, Lecture Notes in Computer Science, vol. 975, pp. 419–428. Springer, Berlin (1995). http://dx.doi.org/10.1007/3-540-60294-1_136
Jean, J., Tomko, K., Yavgal, V., Cook, R., Shah, J.: Dynamic reconfiguration to support concurrent applications. In: Pocek, K.L., Arnold, J. (eds.) IEEE Symposium on FPGAs for Custom Computing Machines, pp. 302–303. IEEE Computer Society Press, Los Alamitos, CA (1998)
Shaw, A.: Communicating real-time state machines. IEEE Trans. Softw. Eng. 18(9), 805–816 (1992). http://doi.ieeecomputersociety.org/10.1109/32.159840
Zuberek, W.M.: Performance evaluation using unbounded timed petri nets. In: PNPM’89, pp. 180–186 (1989)
Selic, B.: Using uml for modeling complex real-time systems. In: Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, LCTES ’98, pp. 250–260. Springer, London, UK (1998). http://dl.acm.org/citation.cfm?id=646905.710490
OMG: Unified modeling language (uml) resource page. http://www.uml.org/ (2015)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Gumzej, R. (2016). UML Safety Pattern for Specification PEARL. In: Engineering Safe and Secure Cyber-Physical Systems. Studies in Computational Intelligence, vol 632. Springer, Cham. https://doi.org/10.1007/978-3-319-28905-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-28905-2_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-28903-8
Online ISBN: 978-3-319-28905-2
eBook Packages: EngineeringEngineering (R0)