As a promising requirement-level specification language for timing behavior modeling, the
clock constraint specification language (CCSL) has become popular in the model-driven …

Temporal testing of real-time software is critical. Search-based software engineering (SBSE)
has shown its potential to assist the temporal testing by generating the test data. However …

The ever-increasing design complexity of embedded systems is constantly pressing the
demand for more abstract design levels and possible methods for automatic verification and …

embedded systems are complex systems that are used in various areas. In the designing
stages, model-based system engineering (MBSE) is used to make the requirements of the …

The objective of this project is to optimize the following four parameters of Field
Programmable Gate Array (FPGA) architecture: area, configuration bits, configuration time …

The objective is to develop a holistic development methodology for embedded systems,
where the abstract is married to the physical. The impact was twofold: model based design …

(ECC). Furthermore, we have observed that the hardware architectures of finite field (FF)
multipliers are commonly used for polynomial as well as for normal bases representations …