20th IEEE/IFIP International Symposium on
Rapid System Prototyping
Paris, France, June 23-26, 2009
http://www.rsp-symposium.org
Special: collocated with International Conference on Application and
Theory of Petri Nets and Other Models of Concurrency (ICAPTN'09)
= Important Dates =
* Submission (2 steps)
http://www.rsp-symposium.org/cgi-bin/review_submit.cgi
- Paper Registration January 9, 2009
(Title, Authors, email, Abstract)
- Paper Submission January 17, 2009
* Notification of Acceptance March 2, 2009
* Final Camera Ready Manuscript due April 4, 2009
= General Description =
The IEEE/IFIP International Symposium on Rapid System Prototyping
(RSP) explores trends in Rapid Product Development of Computer Based
Systems. Its scope ranges from formal methods for the verification of
software and hardware systems to case studies of actual software and
hardware systems. It aims to bring together researchers from the
hardware and software communities to share their experiences and to
foster collaboration of new and innovative Science and Technology. The
20th annual symposium's focus will encompass theoretical and practical
methodologies, resolving technologies of specification, completeness,
dynamics of change, technology insertion, complexity, integration, and
time to market. Submission of industrial research is welcome. Keynote
presentations and formal paper sessions will provide baseline
knowledge for discussion and group integration. Suggested topics
include, but are not limited to:
* Specification and language models for hardware/software systems
* Software and Systems Architecture and Integration
* Methodologies and tools for hardware and software intensive systems
* FPGAs , SoCs, NoCs and MPSoCs
* Very large scale system engineering
* Software/Configware/Hardware codesign and tradeoffs
* System verification/validation
* Applying formal methods to prototyping
* Prototypes in engineering processes
* Model Driven Engineering and prototyping
* Prototyping of embedded/real-time systems
* Virtual prototyping of physical systems
* Prototype to product transition
* Prototyping case studies
* Reconfigurable products or systems
For its 20th edition, RSP will be collocated with the 30th
International Conference on Application and Theory of Petri Nets and
Other Models of Concurrency (ICAPTN'09). Authors are encouraged to
focus on the integration of formal methods in prototyping, and related
issues.
Confirmed keynote speakers are Joseph Sifakis, Verimag France, Bernard
Courtois, France and Bill Tonti, IBM, USA
This year, a Special Session will be about Automotive Software
Engineering. Submission of papers to this application domain is
strongly encouraged.
= Submission Instructions =
The program committee invites authors to submit full papers. Papers
should clearly describe the nature of the work, explain its
significance, highlight its novel features, and state its current
status. Authors of selected papers will be requested to prepare a
manuscript for the workshop proceedings. Paper length should not
exceed 7 pages in the standard IEEE format. Submission instructions as
well as templates can be found in the RSP web site.
The program committee also invites authors to submit proposition for
tutorials. Tutorials shall bring strong technical contents to the
audience. Proposals should include a title, an abstract, a description
of the topic, a detailed outline of the presentation, a description of
the presenter's lecturing expertise in general and with the proposed
topic in particular, the proposed duration (half day or full day), the
intended level of the tutorial (introductory, intermediate, or
advanced), the recommended audience experience and background, and a
statement of the reasons for attending. Proposals should be submitted
to the Tutorial Chair.
--
LIP6: 104 Avenue du Président Kennedy
75016 Paris
--------------------------------------------------------------------------
Fabrice Kordon Université Pierre & Marie Curie
Tel: +33 1 44 27 88 20 LIP6/MoVe, boite courrier 169
Fax: +33 1 44 27 74 95 4 place Jussieu, 75252 Paris Cedex 05
http://lip6.fr/Fabrice.Kordon/
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
