This paper describes the radSUITE starter kit for embedded SW design that has been developed by three small-medium enterprises (SME) working on development of embedded applications under the scientific guidance of University of Verona. Even if radSUITE has been primarily developed for commercial purposes, its features revealed to be partic- ularly suited to be adopted for educational purposes inside university courses as well as industrial training sessions re- lated to modelling and verification of embedded SW.

Teaching embedded software design with radSUITE

FUMMI, Franco;PRAVADELLI, Graziano
2013

Abstract

This paper describes the radSUITE starter kit for embedded SW design that has been developed by three small-medium enterprises (SME) working on development of embedded applications under the scientific guidance of University of Verona. Even if radSUITE has been primarily developed for commercial purposes, its features revealed to be partic- ularly suited to be adopted for educational purposes inside university courses as well as industrial training sessions re- lated to modelling and verification of embedded SW.
Embedded Systems; dynamic assertion-based verification; model based design
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/627556
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact