Integrated Model-Based Support for the Design of Complex Controlled Systems

Computer Aided Chemical Engineering

Volumn 31, Issue , 2012, Pages 1672-1676

  Hüfner, Martin ^a   Fischer, Stephan ^a   Sonntag, Christian ^a   Engell, Sebastian ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Design consistency; Design support; Model exchange; Model based design; Pipeless plants; Tool integration

Indexed keywords

EID: 84864515069     PISSN: 15707946     EISSN: None     Source Type: Book Series    
DOI: 10.1016/B978-0-444-59506-5.50165-6     Document Type: Chapter

References (11)

1. Integrated Multi-formalism Tool Support for the Design of Networked Embedded Control Systems 2012, MULTIFORM, EU-FP7 res0065arch project, contract number INFSO- ICT-224249. http://www.ict-multiform.eu.
2. Moneva H., Hamberg R., Punter T., Vissers J. Putting Chaos under Control: On how Modeling should Support Design. In Proc. Int. Council on Systems Engineering. 2010.
3. Larsen K.G., Pettersson P., Yi W. UPPAAL in a Nutshell. In Int. Journal on Software Tools for Technology Transfer 1998, 1:134-152.
4. Modelica - A Unified Object-oriented Language for Physical Systems Modeling 2011, Modelica Association. http://www.modelica.org.
5. gPROMS 2011, Process Systems Enterprise (PSE. http://www.psenterprise.com/gproms.
6. Jorrin A., de Prada C., Cobas P. EcosimPro and its EL Object-Oriented Modeling Language 2008, 95-104. 2008.
7. van Beek D.A., Reniers M.A., Schiffelers R.R.H., Rooda J.E., Hofkamp A.T. Syntax and Formal Semantics of Chi 2.0 2008, Technical Report 2008-01,SE, TUE,. http://goo.gl/e5jxl.
8. van Beek D.A., Collins P., Nadales D.E., Rooda J.E., Schiffelers R.R.H. New Concepts in the Abstract Format of the Compositional Interchange Format 2009, 250-255.
9. Nadales Agut D.E., Reniersm M.A., Schiffelers R.R.H., van Beek D.A. A Semantic- preserving Transformation from the Compositional Interchange Format to UPPAAL 2011, 12496-12502.
10. Frehse G., Le Guernic C., Donze A., Cotton S., Ray R., Lebeltel O., Ripado R., Girard A., Dang T., Maler O. SpaceEx: Scalable Verification of Hybrid Systems 2011, 379-395.
11. Schlich B., Kowalewski S. [mc]square: A Model Checker for Microcontroller Code 2006, 466-473.