A model-driven design approach for mechatronic systems

Proceedings - 7th International Conference on Application of Concurrency to System Design, ACSD 2007

Volumn , Issue , 2007, Pages 127-136

  Huang, Jinfeng ^a   Voeten, Jeroen ^a,b   Groothuis, Marcel ^c   Broenink, Jan ^c   Corporaal, Henk ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b EMBEDDED SYSTEMS INSTITUTE   (Netherlands)

^c UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CANNING; COMPLEXATION; MECHATRONICS; SOFTWARE DESIGN; SYSTEMS ANALYSIS;

COMPLEX PRODUCTION; DESIGN APPROACHES; INTERNATIONAL CONFERENCES; LEVEL MODEL; MECHATRONIC SYSTEMS; MODEL DRIVEN APPROACH; MODEL-DRIVEN; MULTIPLE DISCIPLINES; REAL TIME; SOFTWARE IMPLEMENTATIONS; SYNTHESIS (OF CHIRAL IONIC LIQUIDS); SYSTEM DESIGNS; SYSTEMATIC MODELING; UNIFIED MODELING;

CONCURRENCY CONTROL;

EID: 51149097912     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2007.40     Document Type: Conference Paper

References (10)

1. 20-sim. http://www.20sim.com/, Jan. 2007.
2. Simulink. http://www.mathworks.com/products/simulink/, Jan. 2007.
3. L. v. d. Berg. Design of a production cell setup. Technical Report MSc-Report 016CE2006, The Netherlands, July 2006.
4. M. Geilen, J. Voeten, P. van der Putten, L. van Bokhoven, and M. Stevens. Object-oriented modelling and specification using SHE. Journal of Computer Languages, 27, 2001.
5. M. Groothuis and J. Broenink. Multi-view methodology for the design of embedded mechatronic control systems. In Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design, pages 416-421, October 2006.
6. J. Huang, J. Voeten, and H. Corporaal. Predictable real-time software synthesis. To be published in journal of real-time systems.
7. R. Milner. Communication and Concurrency. Prentice Hall, 1989. ISBN 0-13-114984-9 (Hard) 0-13-115007-3 (Pbk).
8. X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In A. K. G. Larsen, editor, Proceedings of the 3rd Workshop on Computer-Aided Verification, LNCS 575, pages 376-398, Alborg, Denmark, July 1991. Springer-Verlag.
9. L. van Bokhoven. Constructive Tool Design for Formal Languages from semantics to executing models. PhD thesis, Eindhoven University of Technology, The Netherlands, 2002.
10. P. van der Putten and J. Voeten. Specification of Reactive Hardware/Software Systems. PhD thesis, Eindhoven University of Technology, The Netherlands, 1997.