Multi-view methodology for the design of embedded mechatronic control systems

Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design, CACSD

Volumn , Issue , 2007, Pages 416-421

  Groothuis, Marcel A ^b   Broenink, Jan F ^a,b  

^a IEEE

^b UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT DESIGN; EMBEDDED MECHATRONIC CONTROL SYSTEMS;

COMPUTER CONTROL SYSTEMS; CONCURRENT ENGINEERING; MECHATRONICS; SOFTWARE ENGINEERING;

EMBEDDED SYSTEMS;

EID: 43049168551     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CACSD.2006.285467     Document Type: Conference Paper

References (20)

1. B. Bukkems, H. Sandee, J. Beckers, Z. Yuan, B. van der Wijst, and R. van de Molengraft, A Case-Study in Multidisciplinary Modeling of Dynamic Embedded Systems, in IEEE Mechatronics and Robotics. Aachen, Germany, 2004, pp. 1-27.
2. P. M. Visser and J. F. Broenink, Controller System Design Trajectory, in Proc. IEEE Int'l Symposium on Computer Aided Control Systems Conference, CACSD 2006. Munich: IEEE, 2006.
3. CLP, Controllab Products B.V. http://www.20sim.com, 2005.
4. D. S. Jovanovic, B. Orlic, G. K. Liet,and J. F. Broenink, gCSP: A Graphical Tool for Designing CSP systems, in Communicating Process Architectures 2004, I. East, J. Martin, P. K. Welch, D. Duce, and M. Green, Eds. Oxford, UK: IOS press, 2004, pp. 233-251, ISBN: 1586034588.
5. D. S. Jovanovic, G. K. Liet, and J. F. Broenink, A CSP-Based Trajectory for Designing Formally Verified Embedded Control Software, in Proceedings 49th ETRAN Conference, 5-10 Jun 2005. Budva, Montenegro, 2005, pp. 285-288, ISBN: 86-80509-53-1.
6. E. Buit, PC104 Stack mechatronic control platform, Control Laboratory, University of Twente, Enschede MSc.-Report 009CE2005, April 2005.
7. U. Berkeley, Ptolemy II http://ptolemy.eecs.berkeIey.edu/ptolemyII/, 2005.
8. R. Freude and A. Königs, Tool integration with consistency relations and their visualisation, In A. S. H. Dörr, Ed., Tool-Integration in System Development Satellite Workshop:of ESEC/FSE 2003. Helsinki, Finland, 2003, ISBN.
9. IEEE, Recommended practice for architectural description of software-intensive systems, ANSI/IEEE Standard 1471-2000 September 2000.
10. J. van Amerongen and P. C. Breedveld, Modelling of Physical Systems for the Design and Control of Mechatronics Systems, IFAC Professional Briefs, published in relation to the 15th triennial IFAC World Congress (http://ifac-control.org), pp. 1-56, 2002.
11. D. C. Karnopp, D. L. Margolis, and R. C. Rosenberg, System Dynamics: Modeling and Simulation of Mechatronic Systems, 3rd edition ed: Wiley-Interscience, 2000.
12. T. J. A. de Vries, Conceptual Design of Controlled Electro-mechanical Systems - a Modeling Perspective, PhD thesis, Faculty Of Electrical Engineering, University of Twente, Enschede, Netherlands, 1994, ISBN: 90-9006876-7.
13. J. Huang, J. P. M. Voeten, and M. Geilen, Real-time Property Preservation in Approximations of Timed Systems, in Proceedings of first ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE'03), Los Alamitos: IEEE Computer Society Press, 2003, pp. 163-171.
14. J. Huang, J. P. M. Voeten, A. Ventevogel, and v. Bokhoven, Leo, Platform-independent Design for Embedded Real-Time System, in Languages for System Specification, C. Grimm, Ed. Dordrecht (The Netherlands): Kluwer Academic Publishers, 2004, pp. chapter 3, pp 35-50, ISBN: 1-4020-7990-7.
15. H. Kopetz, Real-Time Systems, Design principles for Distributed Embedded Applications, Boston: Kluwer Academic Publishers, 1997.
16. W. J. A. Denissen, A multidisciplinary model-based test and integration infrastructure, in Proc. IEEE Int'l Symposium on Computer Aided Control Systems Conference, CACSD 2006. Munich: IEEE, 2006.
17. H. Ecker, Comparison 11: Scara Robot - definition; solution in ACSL, Eurosim - Simulation News Europe, pp. 30-33, 1998.
18. Formal Systems, CSP Tools http://www.fsel.com, 2004.
19. AADL, the SAE AADL Standard information site http://www.aadl.info/, 2005.
20. Boderc, The Boderc project Website http://www.esi.nl/site/projects/ boderc.html, 2006: Embedded Systems Institute, Eindhoven, The Netherlands, 2006.