Publikationer per år
Publikationer per år
Projektinformation
Beskrivning
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.
| Akronym | Digihybrid |
|---|---|
| Status | Slutfört |
| Gällande start-/slutdatum | 01/05/11 → 30/09/14 |
Samarbetspartner
- Åbo Akademi (huvudsaklig)
- Tamperen teknillinen yliopisto
- 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. (red.). IEEE, s. 416–420Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
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. (red.). Lecture notes for computer science, s. 33–47Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code
Wiik, J. & Boström, P., 2014, Formal Methods and Software Engineering. Merz, S. & Pang, J. (red.). Springer, s. 396–412Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review