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
Booch, G., Rumbaugh, J., and Jacobson, I. (1999) The Unified Modeling Language Guide. Addison-Wesley, Boston, MA.
Chang, H., Cooke, L. R., Hunt, M., Martin, G., McNelly, A., and Todd, L. (1999) Surviving the SOC Revolution—A Guide to Platform-Based Design, Springer, Dordrecht, The Netherlands.
Crouchemore, M. and Hancart, C. (1997) Automata for matching patterns. In: Rozenberg, G. and Salomaa, A. (eds) Linear Modeling: Background and Application, volume 2 of Handbook of Formal Languages. Springer, Berlin, pp. 399-462.
Davies, J. and Crighton, C. (2002) Concurrency and refinement in the unified modeling language. Electronic Notes in Theoretical Computer Science, 70 (3):1-27.
Edwards, M. D. and Green, P. N. (2003) Run-time support for dynamically reconfigurable computing. Journal of Systems Architecture, 49:267-281.
Engels, G., Kuster, J., Heckl, R., and Groenewegen, L. (2001) A methodology for specifying and analyzing consistency in object-oriented behavioral models. In: Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM Press, New York.
FSEL (2003) Homepage of the FDR2 Model-Checker and other CSP Tools. Formal Systems (Europe) Ltd. http://www.fsel.com/.
Green, P. N., Edwards, M. D., and Essa, S. (2002) HASoC—towards a new method for system-on-a-chip development. Design Automation for Embedded Systems, 6(4):333-353.
Grose, T. (2001) XMI Framework. IBM Corporation, http://alphaworks.ibm.com/tech/xmiframework/.
Holzmann, G. (1997) The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295.
Lilius, J. and Paltor, I. P. (1999) vUML: a tool for verifying UML models. In: Proceedings of the 14th IEEE International Conference on Software Engineering (ASE’99). IEEE, pp. 255-258.
Morris, D., Evans, D. G., Green, P. N., and Theaker, C. J. (1996) Object Oriented Computer Systems Engineering. Applied Computing. Springer, London.
Ng, M. and Butler, M. (2002) Tool support for visualizing CSP in UML. In: George, C. and Miao, H. (eds) Formal Methods and Software Engineering— 4th International Conference on Formal Engineering Methods, ICFEM 2002, volume 2495 of Lecture Notes in Computer Science. Springer, Shanghai, China. pp. 287-298.
Ng, M., Butler, M., and Towards, M. (2003) Formalizing UML state diagrams in CSP. In: Proceedings of the 1st IEEE International Conference on Software Engineering and Formal Methods. IEEE, pp. 138-147.
OMG (2001) OMG Unified Modeling Language Specification Version 1.4. Object Management Group, http://www.omg.org/.
Schäfer, T., Knapp, A., and Merz, S. (2001) Model-checking UML state machines and collaborations. Electronic Notes in Theoretical Computer Science, 55(3):1-13.
Schneider, S. (2000) Concurrent and Real-Time Systems. Wiley, Chichester, UK.
SEMATECH (1999) International Technology Roadmap for Semiconductors: 1999 Edition. Semiconductor Industry Association, Austin, TX. http://public.itrs.net/.
Tasie-Amadi, K. (2004) Verification of UML Behavioural Models. PhD thesis, UMIST, Department of Computation, UMIST, Manchester, UK.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this chapter
Cite this chapter
Green, P., Tasie-Amadi, K. (2006). Integrating Model-Checking with UML-Based SoC Development. In: Vachoux, A. (eds) Applications of Specification and Design Languages for SoCs. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-4998-9_17
Download citation
DOI: https://doi.org/10.1007/978-1-4020-4998-9_17
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-4997-2
Online ISBN: 978-1-4020-4998-9
eBook Packages: EngineeringEngineering (R0)