| Autor: |
Alberto Ferrari, Thomas Thomsen, Giovanni Stara, Giovanni Gaviani, Luigi Romagnoli, Giacomo Gentile |
| Rok vydání: |
2004 |
| Předmět: |
|
| Zdroj: |
IFAC Proceedings Volumes. 37:29-34 |
| ISSN: |
1474-6670 |
| DOI: |
10.1016/s1474-6670(17)30317-8 |
| Popis: |
From the conception of an embedded controller to its implementation, the designer must refine the solution trying to minimize the final cost while satisfying functional and non functional requirements. We present amodel-based methodology framework to address this problem and a real industrial case that shows the effectiveness of the proposed approach. Top -down and bottom -up aspects are considered and solutions are found by a meet -in-the-middle approach that couples model refinement and platform modeling. In more details, given a model of the implementation platform, which describes the available services and data types, the algorithms captured by models are refined and then automatically translated to software components. These components are integrated with handwritten (e.g. legacy) software modules together with the software platform. The validation of the system is performed at different level of details of the platfonn. A final validation phase on the real target is performed to finally validate the functionality and to guarantee that the performance constraints are met. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
