Pontus Boström
Department of Information Technology, Åbo Akademi University, Finland
Marta Plaska
Department of Information Technology, Åbo Akademi University, Finland
Mikko Huova
Department of Intelligent Hydraulics and Automation (IHA), Finland
Matti Linjama
Department of Intelligent Hydraulics and Automation (IHA), Finland
Mikko Heikkilä
Department of Intelligent Hydraulics and Automation (IHA), Finland
Kaisa Sere
Department of Information Technology, Åbo Akademi University, Finland
Marina Waldén
Department of Information Technology, Åbo Akademi University, Finland
Download article![](/images/PDF_24.png)
Published in: NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security; Linköping; Sweden; April 27; 2009
Linköping Electronic Conference Proceedings 41:3, p. 21-27
Published: 2009-07-14
ISBN:
ISSN: 1650-3686 (print), 1650-3740 (online)
1. Boström P.; Linjama M.; Morel L.; Siivonen L.; Waldén M.; Design and Validation of Digital Controllers for Hydraulics Systems; The 10th Scandinavian International Conference on Fluid Power. Tampere University of Technology; Tampere; Finland (2007)
2. Boström P.; Formal design and verification of systems using domain-specific languages. Ph D thesis. Turku Centre for Computer Science; Turku; Finland (2008).
3. Meyer B.; Object-Oriented Software Construction. 2 ed.; Prentice-Hall (1997).
4. Boström Pontus; Waldén Marina; Morel Lionel; Stepwise development of Simulink models using the refinement calculus framework; 4th International Colloquium on Theoretical Aspects of Computing (ICTAC2007). Springer; Macao; China (2007)
5. Tripakis S.; Sofronis C.; Caspi P.; Curic A.; Translating discrete-time Simulink to Lustre; ACM Transactions on Embedded Computing Systems (TECS); 4 (2005); pp.779-818.
6. Cavalcanti A.; Clayton P.; O’Halloran C.; Control Law Diagrams in Circus; Proceedings of FM 2005. Springer Verlag (2005)
7. Pontus Boström; Mikko Huova; Marta Plaska; Matti Linjama; Mikko Heikkilä; Kaisa Sere; Marina Waldén; development of controllers using Simulink and contract-based design; International Journal of Critical Computer-Based Systems (IJCCBS); (2009) (Submitted February 2009).
8. Fenton N.; Neil M.; Software metrics: roadmap; Conference on the Future of Software Engineering. ; Limerick; Ireland (2000)
9. Software Technology Roadmap. Carnegie Mellon Software Engineering Institute; Pittsburgh (2008)
10. Center Software; Guidelines for Successful Acquisition and Management of Software Intensive Systems: Weapon Systems; Command and Control Systems; Management Information Systems. (2003)
11. Linjama M.; Koskinen K.T.; Vilenius M.; Accurate tracking control of water hydraulic cylinder with non-ideal on/off valves; International Journal of Fluid Power; 4 (2003); pp.7-16.
12. Linjama M.; Huova M.; Boström P.; Laamanen A.; Siivonen L.; Morel L.; Waldén M.; Vilenius M.; Design and Implementation of Energy saving Digital Hydraulic Control System; The 10th Scandinavian International Conference on Fluid Power. Tampere University of Technology; Tampere; Finland (2007)
13. Siivonen L.; Linjama M.; Vilenius M.; Analysis of Fault Tolerance of Digital Hydraulic Valve System; Bath Workshop on Power Transimission and Motion Control (PTMC’05). ; Bath; UK (2005)
14. Back R.-J.; Kurki-Suonio R.; Decentralization of Process Nets with Centralized Control; Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium of Principles of Distributed Computing. ACM (1983)
15. Back R.-J.; Sere K.; Stepwise Refinement of Action Systems; Structured Programming; 12 (1991); pp.17-30.
16. Back R.-J.; von Wright J.; Trace Refinement of Action Systems; Proc. of the 5th International Conference on Concurrency Theory; CONCUR’94. Springer-Verlag; Uppsala; Sweden (1994)
17. Mathworks Inc.; MATLAB/Simulink; http://www.mathworks.com
18. Hatton L.; What is a formal method; (and what is an informal method); COMPASS ‘97 - Are we making progress towards computer assurance?. IEEE; Gaithersburg; Maryland; USA (1997)
19. Cem K.; Bach Kaner;; Pettichord B.; Lessons Learned in Software Testing: A Context-Driven Approach. Wiley (2001).
20. Plaska M.; Waldén M.; Quality Comparison and Evaluation of Digital Hydraulic Control Systems. Turku Center for Computer Science (TUCS); Turku (2007)
21. Yang Y.; He M.; Li M.; Wang Q.; Boehm B.; Phase Distribution of Software Development Effort; ESEM’08. ACM; Kaiserslautern (2008)
22. McCabe T.J.; Butler C.W.; Design Complexity Measurement and Testing; Communications of the ACM; 32 (1989); pp.1415-1425.