Article | NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security; Linköping; Sweden; April 27; 2009 | Contract-based design in controller development and its evaluation

Title:
Contract-based design in controller development and its evaluation
Author:
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:
Full text (pdf)
Year:
2009
Conference:
NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security; Linköping; Sweden; April 27; 2009
Issue:
041
Article no.:
003
Pages:
21-27
No. of pages:
7
Publication type:
Abstract and Fulltext
Published:
2009-07-14
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

No abstract available

NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security; Linköping; Sweden; April 27; 2009

Author:
Pontus Boström, Marta Plaska, Mikko Huova, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén
Title:
Contract-based design in controller development and its evaluation
References:

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.

NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security; Linköping; Sweden; April 27; 2009

Author:
Pontus Boström, Marta Plaska, Mikko Huova, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén
Title:
Contract-based design in controller development and its evaluation
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment