Customer-oriented systems design through virtual prototypes

Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE

Volumn 2001-January, Issue , 2001, Pages 263-268

  Flake, S ^a   Geiger, C ^a   Mueller, W ^a   Paelke, Volker ^a   Rosenbach, Waldemar ^a   Ruf, J ^b  

^a UNIVERSITY OF PADERBORN   (Germany)

^b UNIVERSITY OF TÜBINGEN   (Germany)

Author keywords

Animation; Application software; Collaboration; Contracts; Feedback; Handicapped aids; Power system modeling; Process design; System analysis and design; Virtual prototyping

Indexed keywords

ANIMATION; APPLICATION PROGRAMS; CONTRACTS; DESIGN; FEEDBACK; FLEXIBLE MANUFACTURING SYSTEMS; HUMAN REHABILITATION EQUIPMENT; INTERACTIVE COMPUTER SYSTEMS; MANUFACTURE; PROCESS DESIGN; SOFTWARE PROTOTYPING; SYSTEMS ANALYSIS; THREE DIMENSIONAL COMPUTER GRAPHICS; VIRTUAL ADDRESSES; VIRTUAL PROTOTYPING;

COLLABORATION; COMPUTER-BASED SYSTEM; EXTERNAL CUSTOMERS; ORIENTED SYSTEMS; POWER SYSTEM MODEL; REAL-TIME SYSTEMS DEVELOPMENT; SYSTEM ANALYSIS AND DESIGN; SYSTEM DESIGNERS;

REAL TIME SYSTEMS;

EID: 84950282695     PISSN: 15244547     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ENABL.2001.953425     Document Type: Conference Paper

References (12)

1. A. Braatz, S. Flake, W. Mueller, and E. Westkaemper. "Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung". In Simulation und Visualisierung 2000, Magdeburg, Germany, March 2000. (in German).
2. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambridge, MA, 1999.
3. S. Flake, W. Mueller, U. Pape, and J. Ruf. "Analyzing Timing Constraints in Flexible Manufacturing Systems". In International NAISO Symposium on Information Science Innovations in Intelligent Automated Manufacturing (IAM'2001), Dubai, March 2001.
4. C. Geiger, V. Paelke, C. Reimann, and W. Rosenbach. "A Framework for the Structured Design of VR/AR Content". In ACM Symposium on Virtual Reality Systems and Techniques, VRST, Seoul, Korea, October 2000.
5. H. Nwana and D. Ndumu. "A Perspective on Software Agents Research". Knowledge Engineering Review, Cambridge University Press, Cambridge, MA, 1999.
6. OMG. UML Unified Modelling Language Specification, Version 1.3. Object Management Group, March 2000. URL:ftp://ftp.omg.org/pub/docs/formal/00-03-01.pdf.
7. V. Paelke. "Systematic Design of Interactive Illustration Techniques for User Guidance in Virtual Environments". In Proceedings of IEEE VR 2000, March 2000.
8. A. Repenning and T. Summer. "Agentsheets: A Medium for Creating Domain-Oriented Visual Languages". IEEE Computer, 28(3), 1995.
9. J. Ruf. "RAVEN: Real-Time Analyzing and Verification Environment". Journal on Universal Computer Science (J.UCS), Springer, Heidelberg, February 2001.
10. J. Ruf and T. Kropf. "Symbolic Model Checking for a Discrete Clocked Temporal Logic with Intervals". In Conference on Correct Hardware Design and Verification Methods (CHARME), Montreal, Canada, October 1997.
11. J. Ruf and T. Kropf. "Modeling and Checking Networks of Communicating Real-Time Processes". In Int. Conf. on Correct Hardware Design and Verification Methods, Bad Herrenalb, Germany, 1999. Springer-Verlag.
12. E. Westkaemper, M. Hoepf, and C. Schaeffer. "Holonic Manufacturing Systems (HMS) - Test Case 5". In Proceedings of Holonic Manufacturing Systems, Lake Tahoe, CA, February 1994.