An Introduction to Rapid System Prototyping

The implementation and maintenance of industrial applications have continuously become more and more difficult. In this context, one problem is the evaluation of complex systems. The IEEE defines prototyping as a development approach promoting the implementation of a pilot version of the intended product. This approach is a potential solution to the early evaluation of a system. It can also be used to avoid the shift between the description/specification of a system and its implementation. This brief introduction to the special section on rapid system prototyping illustrates a current picture of prototyping.

[1]  M. Glesner,et al.  Prototyping of a high performance generic Viterbi decoder , 2002, Proceedings 13th IEEE International Workshop on Rapid System Prototyping.

[2]  Marco Pavesi.  Market estimation for system prototyping EDA segment , 2002, Proceedings 13th IEEE International Workshop on Rapid System Prototyping.

[3]  Alberto García Ortiz,et al.  Power estimation based on transition activity analysis with an architecture precise rapid prototyping system , 2002, Proceedings 13th IEEE International Workshop on Rapid System Prototyping.

[4]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[5]  Damien Lyonnard,et al.  Colif: A Design Representation for Application-Specific Multiprocessor SOCs , 2001, IEEE Des. Test Comput..

[6]  F. Kordon,et al.  LfP: A specification language for rapid prototyping of concurrent systems , 2001, Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001.

[7]  George J. Vachtsevanos,et al.  Rapid prototyping of transition management code for reconfigurable control systems , 2002, Proceedings 13th IEEE International Workshop on Rapid System Prototyping.

[8]  Manfred Glesner,et al.  On the rapid prototyping of equalizers for OFDM systems , 2002, Proceedings 13th IEEE International Workshop on Rapid System Prototyping.

[9]  Christopher J. Booth,et al.  The new IEEE standard dictionary of electrical and electronics terms : (including abstracts of all current IEEE standards) , 1993 .

[10]  Roland Vonk.  Prototyping - the effective use of CASE technology , 1989 .

[11]  Audrey J. Dorofee,et al.  Putting Risk Management Into Practice , 1997, IEEE Softw..

[12]  Fabrice Kordon,et al.  Using MetaScribe to prototype a UML to C++/Ada95 code generator , 2000, Proceedings 11th International Workshop on Rapid System Prototyping. RSP 2000. Shortening the Path from Specification to Prototype (Cat. No.PR00668).

[13]  Klaus D. Müller-Glaser,et al.  A methodology for architecture-oriented rapid prototyping , 2001, Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001.

[14]  Klaus D. Müller-Glaser,et al.  Universal object-oriented modeling for rapid prototyping of embedded electronic systems , 2001, Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001.

[15]  Luqi,et al.  Specifications in software prototyping , 1998, J. Syst. Softw..

[16]  Luqi,et al.  Formal Methods: Promises And Problems , 1997, IEEE Softw..

[17]  Peter Fettke,et al.  Model Driven Architecture (MDA) , 2003, Wirtsch..

[18]  Mohamed Dessouky,et al.  Layout-oriented synthesis of high performance analog circuits , 2000, DATE '00.

[19]  Reinhard Männer,et al.  Reconfigurable hardware control software , 2002, Proceedings 13th IEEE International Workshop on Rapid System Prototyping.

[20]  Peter C. Nelson,et al.  Unidirectional and bidirectional search algorithms , 1992, IEEE Software.

[21]  Luqi,et al.  Status report: computer-aided prototyping , 1992, IEEE Software.

[22]  Klaus D. Müller-Glaser,et al.  From object-oriented modeling to code generation for rapid prototyping of embedded electronic systems , 2002, Proceedings 13th IEEE International Workshop on Rapid System Prototyping.

[23]  Dieter Hogrefe,et al.  SDL : formal object-oriented language for communicating systems , 1997 .

[24]  Bertil Folliot,et al.  Highly Configurable Operating Systems: the VVM Approach , 2000 .

[25]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .