Semantics-Preserving Design of Embedded Control Software from Synchronous Models.
Leonardo MangerucaMassimo BaleaniAlberto FerrariAlberto L. Sangiovanni-VincentelliPublished in: IEEE Trans. Software Eng. (2007)
Keyphrases
- control software
- statistical models
- embedded systems
- control system
- design process
- experimental data
- modelling language
- metamodel
- case study
- neural network
- knowledge based systems
- semantic information
- real time
- user interface
- design principles
- artificial neural networks
- design methodology
- formal semantics
- design choices
- knowledge base