Scenario-based validation of embedded systems

Proceedings - 2008 Forum on Specification, Verification and Design Languages, FDL'08

Volumn , Issue , 2008, Pages 191-196

  Gargantini, A ^a   Riccobene, E ^a,b   Scandurra, P ^a,b   Carioni, A ^a,b  

^a UNIVERSITY OF BERGAMO   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT STATE MACHINES; CO-DESIGN ENVIRONMENTS; LEVELS OF ABSTRACTION; MODEL DRIVEN DESIGN; MODEL-DRIVEN; SYSTEM COMPONENTS; SYSTEM LEVEL DESIGN; SYSTEMC; UML DESIGN; UML PROFILES; VALIDATION TOOLS;

ABSTRACTING; EMBEDDED SYSTEMS; FORMAL METHODS; MACHINE DESIGN; SYSTEMS ANALYSIS;

LOGIC DESIGN;

EID: 67650508271     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FDL.2008.4641444     Document Type: Conference Paper

References (29)

1. Esterel Studio. www.estereltechnologies.com.
2. The ATL language. www.eclipse.org/m2m/atl/.
3. Eclipse Modeling Framework. www.eclipse.org/emf/.
4. The ASMETA toolset. http://asmeta.sf.net/, 2006.
5. M. Barnett et al. Validating use-cases with the AsmL test tool. In QSIC Int. Conference on Quality Software, p. 238-246. IEEE, 2003.
6. E. Börger and R. Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag, 2003.
7. F. Bruschi, F. Ferrandi, and D. Sciuto. A framework for the functional verification of SystemC models. Int. J. Parallel Program., 33(6):667-695, 2005.
8. The Enterprise Architect: www.sparxsystems.com.au/
9. A. Gargantini, E. Riccobene, and P. Scandurra. A metamodel-based simulator for ASMs. In Proc. of the 14th Int. ASM Workshop, 2007.
10. T. Kogel. et al. Virtual Architecture Mapping: A SystemC based Methodology for Architectural Exploration of System-on-Chip Designs. In A. D. Pimentel and S. Vassiliadis (Eds.), Computer Systems: Architectures, Modeling, and Simulation. SAMOS, LNCS 3133, p. 138-148, Springer-Verlag, 2004.
11. W. Grieskamp, N. Tillmann, and M. Veanes. Instrumenting scenarios in a model-driven development environment. Information & Software Technology, 46(15):1027-1036, 2004.
12. A. Habibi and S. Tahar. Design and verification of SystemC transaction-level models. IEEE Transactions on VLSI Systems, 14:57-68, 2006.
13. M. Haroud et al. HWaccelerated ultra wide band MAC protocol using SDL and SystemC. In IEEE Radio and Wireless Conference, p. 525-528, 2004.
14. G. J. Holzmann. The Model Checker SPIN. IEEE Trans. Softw. Eng., 23(5):279-295, 1997.
15. D. Mathaikutty, S. Ahuja, A. Dingankar, and S. Shukla. Model-driven test generation for system level validation. In HLVDT'07: High Level Design Validation and Test Workshop, p. 83-90, 2007. IEEE.
16. OMG. The Meta Object Facility, formal/2002-04-03.
17. Message Sequence Charts (MSC) ITU-T. Z.120, 1999.
18. W. Müller, J. Ruf, and W. Rosenstiel. SystemC Methodologies and Applications. Kluwer Academic Publishers, 2003.
19. The Object Managment Group (OMG). www.omg.org.
20. Open SystemC Initiative. http://www.systemc.org.
21. H. D. Patel and S. K. Shukla. Model-driven validation of SystemC designs. In DAC'07: Proc. of the 44th Design Automation Conference, p. 29-34, New York, 2007. ACM.
22. OMG, Query/Views/Transformations, ptc/07-07-07.
23. E. Riccobene, P. Scandurra, A. Rosti, and S. Bocchio. A UML2 Profile for SystemC 2.1. STMicroelectronics Technical Report, April 2007.
24. E. Riccobene, P. Scandurra, A. Rosti, and S. Bocchio. A model-driven design environment for embedded systems. In DAC'06: Proc. of the 43rd Design Automation Conference, p. 915-918, New York, 2006. ACM.
25. E. Riccobene, P. Scandurra, A. Rosti, and S. Bocchio. A Model-driven co-design flow for Embedded Systems. Advances in Design and Specification Languages for Embedded Systems (Best of FDL'06), 2007.
26. E. Riccobene, P. Scandurra, A. Rosti, and S. Bocchio. Designing a unified process for embedded systems. In Fourth Int. workshop on Model-based Methodologies for Pervasive and Embedded Software. IEEE Press, 2007.
27. T. Gröetker and S. Liao and G. Martin and S. Swan. System Design with SystemC. Kluwer, 2002.
28. OMG. The Unified Modeling Language. www.uml.org.
29. M. Y. Vardi. Formal Techniques for SystemC Verification; Position Paper. In DAC'07: Proc. of the 44rd Design Automation Conference, p. 188-192. IEEE, 2007.