Towards a traceability model in a MARTE-based methodology for real-time embedded systems.
Hung LedangHubert DuboisSébastien GérardPublished in: Innov. Syst. Softw. Eng. (2008)
Keyphrases
- formal model
- high level
- qualitative and quantitative
- computational model
- theoretical framework
- conceptual model
- artificial intelligence
- statistical model
- process model
- probabilistic model
- cost function
- input data
- management system
- neural network model
- simulation model
- data mining
- network model
- real time embedded systems