posted by user: mpstew || 6808 views || tracked by 15 users: [display]

RSP 2010 : 21st IEEE International Symposium on Rapid System Prototyping

FacebookTwitterLinkedInGoogle


Conference Series : Rapid System Prototyping
 
Link: http://www.rsp-symposium.org/
 
When Jun 8, 2010 - Jun 11, 2010
Where Fairfax, Virginia, USA
Abstract Registration Due Feb 5, 2010
Submission Deadline Feb 10, 2010
Notification Due Apr 13, 2010
Final Version Due Apr 30, 2010
Categories    architecture   verification   systems   formal methods
 

Call For Papers

The IEEE International Symposium on Rapid System Prototyping (RSP)
explores trends in Rapid Prototyping of Computer Based Systems. Its
scope ranges from formal methods for the verification of systems,
engineering methods, process and tool chains 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 21st annual Symposium 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
* Heterogeneous multi-domain systems
* Very large scale system engineering
* Software/Configware/Hardware codesign and tradeoffs
* System verification/validation
* Applying formal methods to prototyping
* Reliability and failure analysis
* Emerging Technologies and Applications
* 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
* Industrial Designs

For years, extended versions of best papers have been proposed to be
published in special issues of prestigious journals. This strategy
will be continued for RSP 2010.

Related Resources

ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
Spec.Issue on Social Informatics: Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
SMC 2021   IEEE International Conference on Systems, Man, and Cybernetics
CAV 2021   33rd International Conference on Computer-Aided Verification
ICFSP--IEEE, Ei, Scopus 2021   IEEE--2021 6th International Conference on Frontiers of Signal Processing (ICFSP 2021)--Ei Compendex, Scopus
NFM 2021   13th NASA Formal Methods Symposium
ICCIS--IEEE, Ei and Scopus 2021   IEEE--2021 5th International Conference on Communication and Information Systems (ICCIS 2020)--Ei Compendex, Scopus
ICFEC 2021   5TH IEEE INTERNATIONAL CONFERENCE ON FOG AND EDGE COMPUTING
CCNC 2021   IEEE Consumer Communications & Networking Conference
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex