This paper presents a model-based framework for designing and validating embedded software (ESW). The design infrastructure is a rapid-application-development suite for ESW, i.e., radCASE, which provides the user with an off the shelf designing environment based on model-driven paradigm. The validation infrastructure, i.e., radCHECK, is based on Property Editor. Such an editor simplifies the definition of PSL properties by exploiting PSL-based templates, that can be automatically compiled into executable checkers by using the integrated Checker Generator engine. Besides, rad-CHECK comprises a testcase generation infrastructure, i.e., Ulisse, which is based on an corner-case oriented concolic approach for ESW, thus it is able to simulate the ESW and the checkers by using high-coverage testcases.

Model-Driven Design and Validation of Embedded Software

DI GUGLIELMO, Giuseppe;DI GUGLIELMO, Luigi;FUMMI, Franco;PRAVADELLI, Graziano;
2011-01-01

Abstract

This paper presents a model-based framework for designing and validating embedded software (ESW). The design infrastructure is a rapid-application-development suite for ESW, i.e., radCASE, which provides the user with an off the shelf designing environment based on model-driven paradigm. The validation infrastructure, i.e., radCHECK, is based on Property Editor. Such an editor simplifies the definition of PSL properties by exploiting PSL-based templates, that can be automatically compiled into executable checkers by using the integrated Checker Generator engine. Besides, rad-CHECK comprises a testcase generation infrastructure, i.e., Ulisse, which is based on an corner-case oriented concolic approach for ESW, thus it is able to simulate the ESW and the checkers by using high-coverage testcases.
2011
9781450305921
ESW checker generator; radCHECK; property editor
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: https://hdl.handle.net/11562/353440
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact