Julkaisuja vuodessa
Julkaisuja vuodessa
Projektin tiedot
Description
This is a Fimecc/EFFIMA/MeKo SHOK project financed during 2011-2014. The goal of the project is to reduce hydraulic losses using a regenerative, multi-chamber cylinder approach and to prove safety and reliability of the software for the digital hydraulic technology. Moreover, the project aims at implementing a fault-tolerant, general purpose platform for digital hydraulic accumulators.
| Akronyymi | Digihybrid |
|---|---|
| Tila | Päättynyt |
| Todellinen alku/loppupvm | 01/05/11 → 30/09/14 |
Yhteistyöpartnerit
- Åbo Akademi (johto)
- Tampere University of Technology
- VTT Technical Research Centre of Finland Ltd
- Cargotec (Finland)
- Valmet (Finland)
- Metso Automation Oy
- Norrhydro Oy
- Wärtsilä
-
Derivation of Parallel and Resilient Programs from Simulink Models
Ostroumov, S., Boström, P. & Walden, M., 2015, Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on. O'Conner, L. (toim.). IEEE, s. 416–420Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System
Boström, P., Alexeev, P. S., Heikkilä, M., Huova, M., Walden, M. & Linjama, M., 2014, Formal Methods for Industrial Critical Systems. Lang, F. & Flammini, F. (toim.). Lecture notes for computer science, s. 33–47Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code
Wiik, J. & Boström, P., 2014, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
4 Sitaatiot (Scopus)