JADE: An embedded systems specification, code generation and optimization tool

Author

Pereira, Cristiano L. ; da Silva, Diogenes C., Jr. ; Duarte, Reuber G. ; Fernandes, Antonio O. ; Canaan, Luciana H. ; Coelho, Claudionor J N, Jr. ; Ambrosio, Luciana L.

Author_Institution

LECOM/DCC/UFMG, Fed. Univ. of Minas Gerais, Brazil

fYear

2000

fDate

2000

Firstpage

263

Lastpage

268

Abstract

Market pressures with ever-increasing complexity and shorter time urges the use of formal methods in the system development process to produce new systems faster and cheaper due to the capacity to automate the verification, simulation and code generation. A problem that comes up, however, is that code generated from formal languages is not the most efficient because of the mapping between the specification and the implementation models. To cope with this, we present an optimization technique to enhance the performance of SDL (Specification and Description Language) derived system implementations as well as JADE, a tool that supports the complete development process, from the specification to the implementation

Keywords

embedded systems; formal languages; specification languages; JADE; SDL; code generation; development process; embedded systems specification; formal languages; formal methods; optimization tool; system development process; Coherence; Communication switching; Context; Embedded system; Formal languages; Formal specifications; Protocols; Prototypes; System performance;

fLanguage

English

Publisher

ieee

Conference_Titel

Integrated Circuits and Systems Design, 2000. Proceedings. 13th Symposium on

Conference_Location

Manaus

Print_ISBN

0-7695-0843-X

Type

conf

DOI

10.1109/SBCCI.2000.876040

Filename

876040