JADE: An embedded systems specification, code generation andoptimization tool

摘要

Market pressures with ever-increasing complexity and shorter timeurges the use of formal methods in the system development process toproduce new systems faster and cheaper due to the capacity to automatethe verification, simulation and code generation. A problem that comesup, however, is that code generated from formal languages is not themost efficient because of the mapping between the specification and theimplementation models. To cope with this, we present an optimizationtechnique to enhance the performance of SDL (Specification andDescription Language) derived system implementations as well as JADE, atool that supports the complete development process, from thespecification to the implementation