CfP: DATE'15 Topic D1 System Specification and Modeling
TOPIC D1: " System Specification and Modeling "
DESIGN AUTOMATION AND TEST IN EUROPE CONFERENCE
Grenoble, France, 9-13 March, 2015 http://www.date-conference.com
DEADLINES
- Paper Submission Sunday September 14, 2014
- Notification of Acceptance Friday November 07, 2014
- Camera-Ready Paper Friday November 28, 2014
QUICK LINKS
- Conference http://www.date-conference.com
- Call for Papers http://www.date-conference.com/call-for-papers
- Author Instructions http://www.date-conference.com/submission-instructions
The 18th DATE conference and exhibition is the main European event bringing together designers and design automation users, researchers and vendors, as well as specialists in the hardware and software design, test and manufacturing of electronic circuits and systems. It puts strong emphasis on ICs/SoCs, reconfigurable hardware and embedded systems, including embedded software.
You are invited to submit your research contributions to the Topic D1
"System Specification and Modeling"
which is devoted to:
- modeling and specification methodologies for complex, HW-SW systems;
- (formal) models of computation and their (static) analysis;
- modeling and analysis of functional and non-functional system properties;
- concurrency models;
- multi-domain/multi-criteria specifications and models;
- application and workload models;
- requirements engineering;
- system-level modeling and simulation of multi- and many-core SoCs;
- transaction level modeling (TLM) and model refinement;
- modeling of system adaptivity;
- system modeling and specification languages;
- model-driven engineering;
- meta-modeling;
- executable specifications;
- specification driven design and validation flows.
Submissions length is limited to 6 pages for oral-presentation papers, and 4 pages for interactive-presentation papers (2 columns, blind submission).
TOPIC TECHNICAL COMMITTEE
- Christian Haubelt, University of Rostock, Germany Topic Chair
- Andy Pimentel,University of Amsterdam, The Netherlands Topic Co-Chair
- Andreas Gerstlauer, University of Texas, US
- Timo Hamalainen, Tampere University of Technology, FI
- Jorn Janneck, Lund University, SE Wolfgang Mueller, University of Paderborn, DE
- Frank Oppenheimer, OFFIS, DE
- Gianluca Palermo, Politecnico di Milano Francois Pecheux, UPMC, FR
- Laurence Pierre, TIMA, FR
- Ingo Sander, Royal Institute of Technology, SE
- Leandro Soares Indrusiak, University of York, UK
- Sander Stuijk, TU Eindhoven, NL