Model-driven design and ASM-based validation of embedded systems

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation

Volumn , Issue , 2009, Pages 24-54

  Gargantini, Angelo ^a   Riccobene, Elvinia ^b   Scandurra, Patrizia ^a  

^a UNIVERSITY OF BERGAMO   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 69149092171     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-60566-750-8.ch002     Document Type: Chapter

References (61)

1. Arlow, J., & Neustadt, I. (2002). UML and the Unified Process. Addison Wesley.
2. The ASMETA toolset. (2007). http://asmeta.sf.net/
3. Beierle, C., Börger, E., Durdanovic, I., Glässer, U., & Riccobene, E. (1995). Refining abstract machine specifications of the steam boiler control to well documented executable code. In Abrial, J.-R., Börger, E., and Langmaack, H., editors, Formal Methods for Industrial Applications, volume 1165 of Lecture Notes in Computer Science, pages 52-78. Springer.
4. Bezivin, J. (2005). On the unification power of models. [SoSym]. Software and System Modeling, 4(2), 171-188. doi:10.1007/s10270-005-0079-0
5. Bocchio, S., Riccobene, E., Rosti, A., & Scandurra, P. (2005) A SoC design flow based on UML 2.0 and SystemC. In Proc. of the International DAC Workshop UML- SoC'05. IEEE press.
6. Bocchio, S., Riccobene, E., Rosti, A., & Scandurra, P. (2008). An Enhanced SystemC UML Profile for Modeling at Transaction-Level. In Villar, E., editor, Embedded Systems Specification and Design Languages, pages 211-226. Springer.
7. Börger, E. (2003). The ASM refinement method. Formal Asp. Comput, 15(2-3), 237-257.
8. Börger, E., Riccobene, E., & Schmid, J. (2000). Capturing requirements by Abstract State Machines: The light control case study. J.UCS. Journal of Universal Computer Science, 6(7), 597-625.
9. Börger, E., & Stärk, R. (2003). Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag.
10. Bruschi, F., Ferrandi, F., & Sciuto, D. (2005). A framework for the functional verification of systemc models. International Journal of Parallel Programming, 33(6), 667-695. doi:10.1007/s10766-005-8908-x
11. Bruschi, F., & Sciuto, D. (2002). SystemC based Design Flow starting from UML Model. In Proc. of European SystemC Users Group Meeting.
12. Carioni, A., Gargantini, A., Riccobene, E., & Scandurra, P. (2008). A Model-driven Technique for Embedded System Validation. In FDL 08: Proceedings of Forum on Specification and Design Languages, pp. 191-196. IEEE press.
13. Catalysis. The Catalysis process: www.catalysis.org
14. Chen, R., Sgroi, M., Martin, G., Lavagno, L., Sangiovanni-Vincentelli, A. L., & Rabaey, J. (2003). Embedded System Design Using UML and Platforms. In System Specification and Design Languages (Eugenio Villar and Jean Mermet, eds.), CHDL Series, Kluwer.
15. do Nascimento, F. A. M., Oliveira, M. F. S., & Wagner, F. R. (2007). ModES: ES Design Methodology and Tools based on MDE. In Fourth International workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES'07). IEEE Press.
16. Edwards, M., & Green, P. (2003). UML for hardware and software object modeling. UML for real design of embedded real-time systems, pp. 127-147.
17. Edwards, S., Lavagno, L., Lee, E., & SangiovanniVincentelli, A. (1997).Design of Embedded Systems: Formal Models, Validation, and Synthesis. Proc. IEEE, vo. 85, n. 3, 1997, pp. 366-390.
18. Gargantini, A., Riccobene, E., & Rinzivillo, S. (2003). Using Spin to Generate Tests from ASM Specifications. In Proc. of the 10th Int. Workshop on Abstract State Machines. LNCS 2589, p. 263-277. Springer.
19. Gargantini, A., Riccobene, E., & Scandurra, P. (2007). A metamodel-based simulator for ASMs. In Proc. of the 14th Int. ASM Workshop.
20. Gargantini, A., Riccobene, E., & Scandurra, P. (2008). A language and a simulation engine for abstract state machines based on metamodelling. In [Springer.]. Journal of Universal Computer Science, 14(12), 1949-1983.
21. Gargantini, A., Riccobene, E., & Scandurra, P.(2008b). A scenario-based validation language for ASMs. In Proc. of First International Conference on Abstract State Machines, B and Z (ABZ 2008). LNCS 5238, pp. 71-84, Springer.
22. Gröetker, T., Liao, S., Martin, G., & Swan, S. (2002). System Design with SystemC. Kluwer Academic Publisher.
23. Habibi, A., & Tahar, S. (2006). Design and verification of systemc transaction-level models. IEEE Transactions on VLSI Systems, 14, 57-68. doi:10.1109/TVLSI.2005.863187
24. Haroud, M., Blazevic, L., & Biere, A. (2004). HW accelerated ultra wide band mac protocol using sdl and systemc. InIEEE Radio and Wireless Conference, pp. 525-528.
25. Holzmann, G. J. (1997). The model checker SPIN. IEEE Transactions on Software Engineering, 23(5), 279-295. doi:10.1109/32.588521
26. Kogel, T., Doerper, M., Kempf, T., Wieferink, A., Leupers, R., Ascheid, G., & Meyr, H. (2004). Virtual architecture mapping: A systemc based methodology for architectural exploration of system-on-chip designs. In Pimentel, A. D. and Vassiliadis, S., editors, Computer Systems: Architectures, Modeling, and Simulation, Third and Fourth International Workshops, SAMOS, volume 3133 of Lecture Notes in Computer Science, pp. 138-148.
27. Kruchten, P. (1999). The Rational Unified Process. Addison Wesley.
28. Lavagno, L., Martin, G., Vincentelli, A. S., Rabaey, J., Chen, R., & Sgroi, M. (2003). UML and Platform based Design. UML for Real Design of Embedded Real-Time Systems.
29. MARTE (2008). OMG, UML Profile for Modeling and Analysis of Real-time and Embedded Systems, ptc/08-06-08.
30. Martin, C. (1999). UML and VCC. White paper, Cadence Design Systems, Inc.
31. Mathaikutty, D., Ahuja, S., Dingankar, A., & Shukla, S. (2007). Model-driven test generation for system level validation. High Level Design Validation and Test Workshop, 2007. HLVDT 2007. IEEE, pp. 83-90.
32. Mellor, S., Scott, K., Uhl, A., & Weise, D. (2004). MDA Distilled, Principles of Model Driven Architecture. Addison-Wesley Professional.
33. Mens, T., Wermelinger, M., Ducasse, S., Demeyer, S., Hirschfeld, R., & Jazayeri, M. (2005). Challenges in Software Evolution. In Proc. of the International Workshop on Software Evolution. IEEE.
34. Moore, T., Vanderperren, Y., Sonck, G., van Oostende, P., Pauwels, M., & Dehaene, W. (2002). A Design Methodology for the Development of a Complex System-On-Chip using UML and Executable System Models. In Forum on Specification and Design Languages, ECSL.
35. MSC. (1999). Message Sequence Charts (MSC). ITU-T Recommendation Z.120 International Communication Union.
36. Nguyen, K., Sun, Z., Thiagarajan, P., & Wong, W. (2005). Model-Driven SoC Design: The UMLSystemC Bridge. UML for SOC Design.
37. OCCN. OCCN Project: http://occn.sourceforge.net/
38. Open SystemC Initiative. (2008). http://www.systemc.org.
39. Paige, R. F., Kolovos, D. S., & Polack, F. A. (2005). Refinement via consistency checking in MDA. Electronic Notes in Theoretical Computer Science, 137(2), 151-161. doi:10.1016/j.entcs.2005.04.029
40. Patel, H. D., & Shukla, S. K. (2007). Model-driven validation of systemc designs. In DAC '07: Proc. of the 44th annual conference on Design automation, pp. 29-34, New York, NY, USA. ACM.
41. Pons, C., & Garcia, D. (2006). An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE. In MoDELS, pp. 646-660.
42. Pons, C., & Kutsche, R.-D. (2003). Using UML-B and U2B for formal refinement of digital components. In Proc. of Forum on specification and design languages Frankfurt, 2003.
43. Pons, C., & Kutsche, R.-D. (2004). Traceability Across Refinement Steps in UML Modeling. InProc. of WiSME@UML 2004.
44. QVT (2007). OMG, MOF Query/Views/Transformations, ptc/07-07-07.
45. Riccobene, E., Scandurra, P., Rosti, A., & Bocchio, S. (2005a). A SoC Design Methodology Based on a UML 2.0 Profile for SystemC. In Proc. of Design Automation and Test in Europe (DATE 05), IEEE Computer Society.
46. Riccobene, E., Scandurra, P., Rosti, A., Bocchio, S. (2005b). A UML 2.0 Profile for SystemC. STMicroelectronics Technical Report, ASTAGR-2005-3.
47. Riccobene, E., Scandurra, P., Rosti, A., & Bocchio, S. (2005c). A UML 2.0 profile for SystemC: toward high-level SoC design. In EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded Software (pp. 138-141). ACM Press.
48. Riccobene, E., Scandurra, P., Rosti, A., & Bocchio, S. (2006). A Model-driven Design Environment for Embedded Systems. In DAC'06: Proc. of the 43rd annual conference on Design automation (915-918). ACM Press.
49. Riccobene, E., Scandurra, P., Rosti, A., & Bocchio, S. (2007a). A Model-driven co-design flow for Embedded Systems. In (Sorin A. Huss ed.) Advances in Design and Specification Languages for Embedded Systems. Springer.
50. Riccobene, E., Scandurra, P., Rosti, A., & Bocchio, S. (2007b). Designing a Unified Process for Embedded Systems. In MOMPES '07: Proceedings of Fourth international workshop on model-based methodologies for pervasive and embedded software. IEEE Press.
51. Rioux, L., Saunier, T., Gerard, S., Radermacher, A,., de Simone, R., Gautier, T. et al. (2005). MARTE: A new Profile RFP for the Modeling and Analysis of Real-time ES. In UML for SoC Design workshop at DAC'05.
52. Scandurra, P. (2005). Model-driven Language Definition: metamodelling methodologies and applications. PhD thesis, Catania (Italy), December 2005.
53. Selic, B. (2003). A Generic Framework for Modeling Resources with UML. In Proceedings of the 16th Symposium on Integrated Circuits and Systems Design (SBCCI'03). 33:64-69, IEEE Computer Society.
54. Sgroi, M., Lavagno, L., & Sangiovanni-Vincentelli, A. (2000). Formal Models for Embedded System Design. IEEE Design & Test Magazine. Special Issue on System Design. IEEE press.
55. SysML (2007). OMG, SysML, Version 1.0, formal/2007-09-01. http://www.omgsysml.org/.
56. SystemC (2006). SystemC Language Reference Manual. IEEE Std 1666-2005, 31 March 2006.
57. UML. (2005). Unified Modeling Language, Version 2.0, 2005. http://www.uml.org/
58. USoC (2005). Fujitsu Limited, IBM, NEC. A UML Extension for SoC. Draft RFC to OMG, 2005-01-01.
59. Vardi, M. Y. (2007). Formal techniques for SystemC verification; position paper. In DAC '07: Proc. of the 43rd annual conference on Design automation, (pp. 188-192). IEEE.
60. Zhang, T., Jouault, F., Bézivin, J., & Zhao, J. (2008). A MDE Based Approach for Bridging Formal Models. In Proc. 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering. IEEE Computer Society.
61. Zhu, Q., Oishi, R., Hasegawa, T., & Nakata, T. (2004). System-on-Chip Validation using UML and CWL. In Proc. of CODES.