Archives for November 2015

19th International Workshop on Software and Compilers for Embedded Systems

CALL FOR PAPERS

19th International Workshop on Software and Compilers for Embedded Systems

SCOPES 2016

May 23-25, 2016
Schloss Rheinfels, St. Goar, Germany

http://www.scopesconf.org

A next edition of the workshop on Software and Compilers for Embedded Systems  (SCOPES) will be organized in 2016. The workshop will feature a combination of research papers and research presentations (details see below). The papers and presentation abstracts will also be published in the ACM digital library. The workshop is held in cooperation with ACM SIGBED and EDAA.

AIM AND SCOPE

The influence of embedded systems is constantly growing. Increasingly powerful and versatile devices are developed and put on the market at a fast pace. Their functionality and number of features is increasing, and so are the constraints on the systems concerning size, performance, energy dissipation and timing predictability. To meet all these constraints, multi-processor systems on a chip (MPSoCs) are becoming popular in embedded systems. In order to meet the performance and energy constraints of embedded applications, heterogeneous  architectures incorporating functional units optimized for specific functions  are commonly employed. This technological trend has dramatic consequences on the parallelization, mapping, compiler and design technology used to develop these  systems.

The SCOPES workshop focuses on the software generation process for modern  embedded systems. Topics of interest include all aspects of the compilation and mapping process of embedded single and multi-processor systems. This includes  (but is not limited to):

– models of computation and programming languages;
– performance analysis techniques for models of computation;
– automatic code parallelization techniques;
– mapping and scheduling techniques for embedded multi-processor systems;
– code generation techniques for embedded single- and multi-processor architectures;
– design-space exploration techniques for use in the HW/SW codesign process;
– techniques to exploit the dynamic behavior in embedded applications;
– interactions between operating systems and compilers;
– techniques for compiler aided profiling, measurement, debugging and validation of embedded software.

WORKSHOP STRUCTURE

The workshop structure (presentations followed by intensive discussions) allows for an interactive atmosphere in which industrial and academic representatives can exchange new ideas and trends in the area MPSoC mapping and code generation.

SUBMISSION INSTRUCTIONS

SCOPES accepts two types of submissions (details can be found on scopesconf.org):

Research papers
Research papers should present original research results not published or submitted for publication in other  forums. Accepted papers will be published via the ACM digital library and they will be scheduled for a presentation  during the workshop. Research papers should not exceed 10 pages in ACM format (single-spaced, 2 columns, 9pt font; for instructions visit the ACM website). Papers must be submitted in PDF format using the SCOPES paper submission website. To permit blind review, submissions should not include the author names.

Research presentations
Research presentations should present research results relevant to the topics addressed by the workshop. These presentations may be based on research results that have previously been presented in other forums. Accepted presentations will be scheduled for a presentation during the workshop. Authors of accepted research presentations will be given the opportunity to publish a 4 page abstract in the workshop proceedings (available through ACM digital library). Publication in the proceedings is optional and the authors may decide not to do so. Authors that are interested in giving a research presentations at the SCOPES 2016 workshop should submit a 4 page abstract in ACM format (single-spaced, 2 columns, 9pt font; for instructions visit the ACM website). Abstracts must be submitted in PDF format using the SCOPES paper submission website. Author names should be included on these abstracts.

VENUE

The workshop will take place in the beautiful “Schloss Rheinfels” hotel at St. Goar, Germany. Schloss Rheinfels is a castle at one of the nicest places within the Rhine valley, itself a world heritage site. Among a set of hotels focusing on wellness, the hotel is voted yearly as being part of the top 3 conference hotels in Germany. There is a beautiful view from the hotel onto the river Rhine.

IMPORTANT DATES

Research papers
Full research paper submission:              February 14, 2016
Notification of acceptance:                     March 18, 2016
Final paper submission:                          April 3, 2016

Research presentations
Abstract submission research presentations:     February 14, 2016
Notification of acceptance:                     March 18, 2016
Final abstract submission:                       April 3, 2016

GENERAL CHAIR
Henk Corporaal, Eindhoven University of Technology, NL

PROGRAM CHAIR
Sander Stuijk, Eindhoven University of Technology, NL

PUBLICITY CHAIR
Peter Marwedel, Dortmund University of Technology, DE

PROGRAM COMMITTEE
Henri-Pierre Charles, CEA-LETI, FR
Albert Cohen, INRIA, FR
Koen De Bosschere, University of Gent, BE
Nikil Dutt, University of Irvine, USA
Heiko Falk, TU Hamburg-Harburg, DE
Carlo Galuzzi, Maastricht University, NL
Soheil Ghiasi, UC Davis, USA
Armin Größlinger, University of Passau, DE
Jan Haase, Helmut-Schmidt-Universität, DE
Frank Hannig, University of Erlangen, DE
Jörg Henkel, University of Karlsruhe, DE
Timothy Jones, University of Cambridge, UK
Ben Juurlink, TU Berlin, DE
Andreas Krall, TU Vienna, AT
Akash Kumar, TU Dresden, DE
Rainer Leupers, RWTH Aachen, DE
Luis Miguel Pinho, Polytechnic Institute of Porto, PO
Anca Molnos, CEA-LETI, FR
Andy Pimentel, University of Amsterdam, NL
Todor Stefanov, Leiden University, NL
Sander Stuijk, TU Eindhoven, NL
Jean-Pierre Talpin, INRIA, FR
Jürgen Teich, University of Erlangen, DE

High Confidence Software and Systems (HCSS) Conference

Call for Presentations

The Sixteenth Annual

High Confidence Software and Systems (HCSS) Conference

May 10-13, 2016

Annapolis, Maryland, USA

http://cps-hcss.org

 

Introduction

 

The sixteenth annual HCSS Conference will be held May 10-13, 2016 at the Historic Inns of Annapolis in Annapolis, Maryland. You are invited to submit a proposal to present a talk at this year’s conference. As in previous years, you are also invited to participate in a poster session. See details below for more information.

 

Background

 

Our security, safety, privacy, and well-being are all increasingly dependent upon the correctness, reliability, resilience, and integrity of software-intensive systems of all kinds, including cyber-physical systems (CPS). These systems must be capable of interacting correctly, safely, and securely with humans and the physical world even while they operate in changing, difficult-to-predict, and possibly malicious environments. New foundations in science, technology, and methodology continue to be needed. Moreover, these methods and tools have to be transitioned into mainstream use to build and assure these systems—and to move towards more effective models for acceptance and certification.

 

Conference Scope, Goals, and Vision

 

The High Confidence Software and Systems (HCSS) Conference, now in its second decade, draws together researchers, practitioners, and management leaders from government, universities, and industry. The conference provides a forum for dialogue centered upon the development of scientific foundations for the assured engineering of software-intensive complex computing systems and the transition of science into practice. The technical emphasis of the HCSS conference is on mathematically-based tools and techniques, scientific foundations supporting evidence creation, systems assurance, and security. The HCSS vision is one of engaging and growing a community—including researchers and skilled practitioners—that is focused around the creation of dependable systems that are capable, efficient, and responsive; that can work in dangerous or inaccessible environments; that can support large-scale, distributed coordination; that augment human capabilities; that can advance the mission of national security; and that enhance quality of life, safety, and security.

 

Conference Themes

 

We invite submissions on any topic related to high-confidence software and systems that align with the conference scope and goals listed above. In addition, the 2016 HCSS Conference will highlight the following themes:

 

  •   Measuring Security: If we could accurately measure the security provided by a computer system, we could drive dramatic improvements in cybersecurity. For example, such measurements could form the basis for computing return on security investments, enhancing our ability to prioritize spending and assess risk. Unfortunately, no one really knows how to effectively measure the security of a system. The most relevant measure seems to be some notion of friction — the time or complexity cost of breaking in. Various approaches approximate this measure: red teams, process-compliance (SDL), design evaluation (Common Criteria), bug-bounty programs that leverage crowdsourcing (bugcrowd.com), DARPA’s cyber-grand challenge, and various software metrics. This topic focuses on the state of the art in assessing the security of software: where are we now, where should we be, and how can we get there? What are the various individual factors that might contribute (in a manner weighted by mission context) to an aggregate measure?

 

  •   Proofs That Cross IP Boundaries: Recent advances in proof engineering and machine-checked proofs of program correctness indicate the potential feasibility of system assurance and trust frameworks that emphasize the use of machine-checked proofs as evidence that a component or system satisfies its specification.  In such frameworks, proof-based evidence could be reviewed by stakeholders external to the manufacturing organization and could potentially enable greater trust in systems constructed from components contributed by multiple vendors. However, the wealth of high-level information encoded in these proof artifacts often causes intellectual property concerns to limit their use to a single entity.  As software supply chains that involve multiple organizations become more common, we need scalable, composable approaches to proof that can simultaneously protect vendor IP.

 

  •   Programming and Reasoning With Uncertainty: Current software frequently manipulates values that are known to be imprecise: sensor readings, the output of machine learning algorithms, likelihood estimates, etc.  Technologies like differential privacy bring another type of uncertainty in the form of noise added to prevent data leakage.  Moving target defense enhances system security by increasing attacker uncertainty.  And unknown environmental factors and the actions of other entities bring uncertainty to cyber physical systems.  This topic is focused on logics, languages, and type systems that provide a principled means of dealing explicitly with this uncertainty.

 

  •   Verification of Autonomous and Adaptive Systems: Autonomy and adaptability are making their way into critical systems. These forays include systems designed to be resilient in the face of attacks or changes in the operating environment, as well as low-level, high-frequency adaptations such as control loops. The lack of a static model presents new challenges for verification. These systems base decisions on non-deterministic events, making reasoning more difficult.  They also frequently include machine learning components, which have guarantees that are not easily captured by most languages for specifying system invariants.  This topic is focused on languages, logics, and reasoning principles for constructing specifications and proofs of such systems.

 

Conference Presentations

 

The conference program features invited speakers, panel discussions, poster presentations, and a technical track of contributed talks.

 

Technical Track Presentations

 

The technical track features two kinds of talks:

 

  •   Experience reports. These talks inform participants about how emerging HCSS and CPS techniques play out in real-world applications, focusing especially on lessons learned and insights gained. While experience reports do not have to be highly technical, they should emphasize substantive reflection on all aspects of experience, building on data and direct experience. Experience reports can focus on topics such as transitioning science into practice, architecture and requirements, use of advanced languages and tools, evaluation and assessment, team practice and tooling, supply-chain issues, and so on.

 

  •   Technical talks. These talks highlight state-of-the-art techniques and methods for high-confidence software systems with an emphasis on how those techniques and methods can be used in practice. Presenters of these talks should strive to make their material accessible to the broader HCSS community even as they discuss deep technical results in areas as diverse as concurrency analysis, hybrid reasoning approaches, theorem proving, separation logic, analysis, synthesis, analytics, various modeling techniques etc.

 

If you are interested in offering a talk—or nominating someone else to be invited to do so—please upload an abstract of one page or less for your proposed talk or a one paragraph description of your nominee’s proposed talk by Friday, December 18, 2015 to http://cps-vo.org/hcss16/presentation/cfp. Abstracts and nomination paragraphs should clearly indicate why the talk would be relevant to HCSS and which, if any, of this year’s themes the talk would address. Notifications of accepted talks will be made by Friday, January 15, 2016.

 

Poster Presentations

 

If you are interested in participating in the poster session, please upload an abstract of your proposed poster theme with title by Friday, December 18, 2015 to http://cps-vo.org/hcss16/poster/cfp. Abstracts should clearly indicate why the poster is relevant to HCSS and which, if any, of this year’s themes the poster would address. Only a limited number of posters will be accepted due to space availability. All posters for display should be printed in a 3’x4’ size format. Notifications of accepted posters will be made by Friday, January 15, 2016.

 

The conference organizers will print posters free of charge if design content is electronically submitted by Friday, April 29, 2016. After April 29, poster session participants will be responsible for the printing and delivery of their own posters. Content designs of accepted posters can be submitted electronically in either Adobe InDesign or PDF formats. The conference organizers will provide easels and basic setup for all poster displays. Poster session participants should contact the conference organizers in advance if additional materials or props are desired.

 

Additional Information

 

Further instructions for electronically submitting camera-ready abstracts, final slide presentations of accepted talks and poster designs will be provided in the notification message that will be sent on Friday, January 15, 2016. Abstracts of accepted talks and posters will be printed in the 2016 HCSS Conference proceedings.

 

Important Dates

 

Friday, December 18, 2015 – Abstracts of proposed talks and poster topics submission deadline

Friday, January 15, 2016 – Notifications of acceptance/rejection

Monday, April 4, 2016 – Camera-Ready abstracts due

Friday, April 29, 2016 – Poster files due

Tuesday, May 10, 2016 – Presentation files due

May 10-13, 2016 – HCSS Conference

 

Planning Committee

 

Co-Chairs

Kathleen Fisher, Tufts University

Stephen Magill, Galois

 

Steering Group

John Hatcliff, Kansas State University

John Launchbury, DARPA

Brad Martin, National Security Agency

Ray Richards, Rockwell Collins

Bill Scherlis, Carnegie Mellon University

Frank Taylor, National Security Agency

 

Organizer

Katie Dey, Vanderbilt University

 

Sponsor Agency

NITRD HCSS Coordinating Group

CFP: IDEA 2016

************************************************************************

                         2nd International Workshop

  Integrating Dataflow, Embedded computing and Architecture, IDEA 2016

                      Vienna, Austria, April 11, 2016

                    http://caes.ewi.utwente.nl/idea2016

                     in conjunction with CPS week 2016

                        http://www.cpsweek.org/2016

— Selected papers will be considered for publication in ACM ToDAES —

*************************************************************************

 

 

*** IMPORTANT DATES ***

 

Submission deadline: January 8, 2016

Author notification: March 4, 2016

Workshop: April 11, 2016

 

 

*** CALL FOR PAPERS ***

 

The dataflow model of computation (with SDF, CSDF, and DDF as primary

representatives) offers a powerful perspective on parallel computations

that may be conditioned in terms of data dependencies. It dates back to

the nineteen sixties and has applications in the design of real-time

stream-processing systems, especially in the area of digital signal

processing. The dataflow model of computation fits the characteristics

of embedded and cyber-physical systems, with a strong emphasis on both

the functional and temporal aspects of data processing systems. Dataflow

is gaining renewed popularity, stimulated by the trend towards multi-core

and multi-processor architectures, with an influx of work ranging from

using dataflow as a programming paradigm, for performance analysis, or

for design optimization. Topics of interest for IDEA 2016 include, but are

not limited to:

 

– Dataflow architectures and dataflow as a programming paradigm for multi-core

  and multi-processor systems, for embedded systems and for cyber-physical

  systems.

– Tools for compilation, evaluation, optimization or synthesis of applications

  for heterogeneous and homogeneous multi-processor systems.

– Real-time scheduling, analysis, response time modeling, schedule synthesis.

– Variants of the dataflow model of computation, capturing e.g. dynamic

  execution behavior, stochastic dataflow.

– Dataflow theory, relations between dataflow and other models of computation,

  relations between dataflow variants.

– Dataflow in multi-disciplinary design, applications of dataflow in control,

  integrating dataflow and control theory.

– Case studies of general interest describing the application of dataflow in

  embedded computing and cyber-physical systems, ranging from automotive

  systems, and avionics, to high-tech systems, smart buildings and smart grids.

 

*** Submission guidelines ***

 

IDEA 2016 invites two types of submissions: full papers and interactive

presentations.

– Full paper submissions will be considered for publication in a special section

of ACM ToDAES and should follow the guidelines of the journal; see below.

– Interactive presentations can be anything from a poster to a demonstration of

software or a prototype. Interactive presentation proposals should be submitted

in the form of a 2-page abstract.

 

Submissions should be made electronically, via EasyChair:

https://easychair.org/conferences/?conf=idea20160.

Detailed submission guidelines can be found at the IDEA 2016 homepage.

 

*** PUBLICATION IN A SPECIAL SECTION OF ACM ToDAES ***

 

All accepted full paper submissions will be considered for publication in a

SPECIAL SECTION of ACM Transactions on Design Automation of Embedded Systems,

ACM ToDAES, todaes.acm.org. Full paper submissions for IDEA 2016 should follow

the ACM ToDAES author guidelines. Authors of papers accepted for IDEA 2016 are

expected to present their work at the workshop. After the workshop, revised

versions of the accepted workshop papers will undergo a second review round to

decide upon acceptance for the special section of ACM ToDAES.

 

 

*** GENERAL CHAIR ***

 

Twan Basten, TU Eindhoven, NL

 

*** PROGRAM CHAIRS ***

 

Orlando Moreira, Intel, NL

Robert De Groote, U Twente, NL

 

*** TECHNICAL PROGRAM COMMITTEE ***

 

Benny Åkesson, CISTER, Portugal

Marco Bekooij, NXP, U Twente, NL

Pieter Cuijpers, TU Eindhoven, NL

Marc Geilen, TU Eindhoven, NL

Michael Glaß, U Erlangen-Nürnberg, Germany

Kim Grüttner, OFFIS, Germany

Christian Haubelt, U Rostock, Germany

Alix Munier-Kordon, LIP6, France

Peter Poplavko, VERIMAG, Grenoble, France

Gerard Smit, U Twente, NL

Jean-Pierre Talpin, INRIA, France

Stavros Tripakis, Aalto, Finland & UC Berkley, USA

Xue-Yang Zhu, SKLCS, Beijing, China

 

*** ORGANIZING COMMITTEE ***

 

Alok Lele, TU Eindhoven, NL

Waheed Ahmad, U Twente, NL

 

*** SPONSORS ***

 

3TU – NIRICT – http://www.3tu.nl/nirict/

ALMARVI – http://www.almarvi.eu/

Reminder: Progress Report

DO submit your progress report through GSMS before or on the 12th November 2015.

CFP: 19th International Workshop on Software and Compilers for Embedded Systems

CALL FOR PAPERS

19th International Workshop on Software and Compilers for Embedded Systems

SCOPES 2016

May 23-25, 2016
Schloss Rheinfels, St. Goar, Germany

http://www.scopesconf.org

A next edition of the workshop on Software and Compilers for Embedded Systems  (SCOPES) will be organized in 2016. The workshop will feature a combination of research papers and research presentations (details see below). The papers and presentation abstracts will also be published in the ACM digital library. The workshop is held in cooperation with ACM SIGBED and EDAA.

AIM AND SCOPE

The influence of embedded systems is constantly growing. Increasingly powerful and versatile devices are developed and put on the market at a fast pace. Their functionality and number of features is increasing, and so are the constraints on the systems concerning size, performance, energy dissipation and timing predictability. To meet all these constraints, multi-processor systems on a chip (MPSoCs) are becoming popular in embedded systems. In order to meet the performance and energy constraints of embedded applications, heterogeneous  architectures incorporating functional units optimized for specific functions  are commonly employed. This technological trend has dramatic consequences on the parallelization, mapping, compiler and design technology used to develop these  systems.

The SCOPES workshop focuses on the software generation process for modern  embedded systems. Topics of interest include all aspects of the compilation and mapping process of embedded single and multi-processor systems. This includes  (but is not limited to):

– models of computation and programming languages;
– performance analysis techniques for models of computation;
– automatic code parallelization techniques;
– mapping and scheduling techniques for embedded multi-processor systems;
– code generation techniques for embedded single- and multi-processor architectures;
– design-space exploration techniques for use in the HW/SW codesign process;
– techniques to exploit the dynamic behavior in embedded applications;
– interactions between operating systems and compilers;
– techniques for compiler aided profiling, measurement, debugging and validation of embedded software.

WORKSHOP STRUCTURE

The workshop structure (presentations followed by intensive discussions) allows for an interactive atmosphere in which industrial and academic representatives can exchange new ideas and trends in the area MPSoC mapping and code generation.

SUBMISSION INSTRUCTIONS

SCOPES accepts two types of submissions (details can be found on scopesconf.org):

Research papers
Research papers should present original research results not published or submitted for publication in other  forums. Accepted papers will be published via the ACM digital library and they will be scheduled for a presentation  during the workshop. Research papers should not exceed 10 pages in ACM format (single-spaced, 2 columns, 9pt font; for instructions visit the ACM website). Papers must be submitted in PDF format using the SCOPES paper submission website. To permit blind review, submissions should not include the author names.

Research presentations
Research presentations should present research results relevant to the topics addressed by the workshop. These presentations may be based on research results that have previously been presented in other forums. Accepted presentations will be scheduled for a presentation during the workshop. Authors of accepted research presentations will be given the opportunity to publish a 4 page abstract in the workshop proceedings (available through ACM digital library). Publication in the proceedings is optional and the authors may decide not to do so. Authors that are interested in giving a research presentations at the SCOPES 2016 workshop should submit a 4 page abstract in ACM format (single-spaced, 2 columns, 9pt font; for instructions visit the ACM website). Abstracts must be submitted in PDF format using the SCOPES paper submission website. Author names should be included on these abstracts.

VENUE

The workshop will take place in the beautiful “Schloss Rheinfels” hotel at St. Goar, Germany. Schloss Rheinfels is a castle at one of the nicest places within the Rhine valley, itself a world heritage site. Among a set of hotels focusing on wellness, the hotel is voted yearly as being part of the top 3 conference hotels in Germany. There is a beautiful view from the hotel onto the river Rhine.

IMPORTANT DATES

Research papers
Full research paper submission:              February 14, 2016
Notification of acceptance:                     March 18, 2016
Final paper submission:                          April 3, 2016

Research presentations
Abstract submission research presentations:     February 14, 2016
Notification of acceptance:                     March 18, 2016
Final abstract submission:                       April 3, 2016

GENERAL CHAIR
Henk Corporaal, Eindhoven University of Technology, NL

PROGRAM CHAIR
Sander Stuijk, Eindhoven University of Technology, NL

PUBLICITY CHAIR
Peter Marwedel, Dortmund University of Technology, DE

PROGRAM COMMITTEE
Henri-Pierre Charles, CEA-LETI, FR
Albert Cohen, INRIA, FR
Koen De Bosschere, University of Gent, BE
Nikil Dutt, University of Irvine, USA
Heiko Falk, TU Hamburg-Harburg, DE
Carlo Galuzzi, Maastricht University, NL
Soheil Ghiasi, UC Davis, USA
Armin Größlinger, University of Passau, DE
Jan Haase, Helmut-Schmidt-Universität, DE
Frank Hannig, University of Erlangen, DE
Jörg Henkel, University of Karlsruhe, DE
Timothy Jones, University of Cambridge, UK
Ben Juurlink, TU Berlin, DE
Andreas Krall, TU Vienna, AT
Akash Kumar, TU Dresden, DE
Rainer Leupers, RWTH Aachen, DE
Luis Miguel Pinho, Polytechnic Institute of Porto, PO
Anca Molnos, CEA-LETI, FR
Andy Pimentel, University of Amsterdam, NL
Todor Stefanov, Leiden University, NL
Sander Stuijk, TU Eindhoven, NL
Jean-Pierre Talpin, INRIA, FR
Jürgen Teich, University of Erlangen, DE

E M B E D D E D S Y S T E M S W E E K

————————————————————————-
Call for Papers, Tutorials, Workshops
————————————————————————-

E M B E D D E D    S Y S T E M S    W E E K

Pittsburgh, PA, US, October 2-7, 2016
www.esweek.org

=========================================================================
++ CASES ++ CODES+ISSS ++ EMSOFT ++ Symposia ++ Workshops ++ Tutorials ++
=========================================================================

————————————————————————-
Embedded Systems Week is . . .
————————————————————————-
ESWeek is the premier event covering all aspects of embedded systems
and software. By bringing together three leading conferences (CASES,
CODES+ISSS, and EMSOFT), several symposia (like ESTIMedia, RSP) and
hot-topic workshops and tutorials, ESWeek presents attendees a wide
range of topics unveiling the state of the art in embedded systems
design and HW/SW architectures.
http://esweek.acm.org/esweek2016_flyer.pdf
Registered attendees are entitled to attend sessions of all
conference CASES, CODES+ISSS, EMSOFT.
Symposia, workshops and tutorials require separate registration.

————————————————————————-
Timeline
————————————————————————-
– Paper Abstract Submission:              April 1, 2016
– Full Paper Submission:                  April 8, 2016 (Firm Deadline!)
– Tutorial Proposals:                     April 8, 2016
– Workshop Proposals:                     April 8, 2016
– Conference: October 2-7, 2016

————————————————————————-
CASES: International Conference on Compilers, Architecture,
and Synthesis for Embedded Systems
————————————————————————-
CASES is a forum where researchers, developers and practitioners exchange
information on the latest advances in compilers and architectures for
high performance embedded systems. In addition to our core areas of
technical interest including embedded system architectures, compilers and
embedded systems software, memory architectures, architectures targeting
power, reliability and security, and emerging application domains, we
especially encourage papers that address architectural synthesis and
compiler techniques for heterogeneous and accelerator-rich architectures.
http://esweek.acm.org/esweek2016_cases.pdf

CASES Program Chairs:
Siddharth Garg, NYU Polytechnic School of Engineering, US
Laura Pozzi, University of Lugano, CH

————————————————————————-
CODES+ISSS: International Conference on Hardware/Software Codesign
and System Synthesis
————————————————————————-
The International Conference on Hardware/Software Codesign and System
Synthesis is the premier event in system-level design, modeling,
analysis, and implementation of modern embedded and cyber-physical
systems, from system-level specification and optimization down to system
synthesis of multi-processor hardware/software implementations. The
conference is a forum bringing together academic research and industrial
practice for all aspects related to system-level and hardware/software
co-design. High-quality original papers will be accepted for oral
presentation followed by interactive poster sessions.
http://esweek.acm.org/esweek2016_codes+isss.pdf

CODES+ISSS Program Chairs:
Andreas Gerstlauer, University of Texas at Austin, US
Andy Pimentel, University of Amsterdam, NL

————————————————————————-
EMSOFT: International Conference on Embedded Software
————————————————————————-
The ACM SIGBED International Conference on Embedded Software (EMSOFT)
brings together researchers and developers from academia, industry, and
government to advance the science, engineering, and technology of
embedded software development. Since 2001, EMSOFT has been the premier
venue for cutting-edge research in the design and analysis of software
that interacts with physical processes, with a long-standing tradition
for results on cyber-physical systems, which compose computation,
networking, and physical dynamics.
http://esweek.acm.org/esweek2016_emsoft.pdf

EMSOFT Program Chairs:
Petru Eles, Linkoping University, SE
Rahul Mangharam, University of Pennsylvania, US

————————————————————————-
Paper Process
————————————————————————-
This year ESWeek will introduce a two-stage review process in order
to further increase quality. Papers passing the first stage need to
revise their work within a short time frame of around two weeks.
Further details will be published at least two months before the
submission deadline. Like always, all accepted papers come with a
talk and a poster presentation. Each accepted paper requires one
full conference registration.

————————————————————————-
Call for Workshop Proposals
————————————————————————-
ESWeek 2016 will host several workshops on Oct. 6/7 and is soliciting
proposals for new and recurring workshops. ESWeek workshops are
excellent opportunities to bring together researchers and practitioners
from different communities to share their experiences in an interactive
atmosphere and to foster collaboration for new and innovative projects.
We invite you to submit workshop proposals on any topic related to the
broad set of research, education, and application areas in embedded systems.

Workshop Chair:
Tulika Mitra, National University of Singapore, SG

————————————————————————-
Call for Tutorial Proposals
————————————————————————-
ESWeek 2016 is looking for high-quantity, timely tutorials to enrich its
technical program. Tutorials offer a unique opportunity where presenters
can interact closely with attendees and attendees can gain in-depth
knowledge on a specific topic. Tutorials on all topics related to
embedded system design, analysis and development are welcome. ESWeek 2016
tutorials will take place on Oct 2nd, and can be either be half day or full
day, lecture style or hands on labs. We invite you to submit tutorial
proposals before the deadline of April 8, 2016.

Tutorials Chair:
Sharon Hu, University of Notre Dame, US

————————————————————————-
Organization
————————————————————————-
ESWeek General Chairs
Joerg Henkel, KIT Karlsruhe, DE (General Chair)
Lothar Thiele, Swiss Federal Institute of Technology, Zurich, CH (Vice General Chair)
ESWeek Local Arrangement Chair:
Alex K. Jones, University of Pittsburgh, US

_______________________________________________

CALL FOR PAPERS ECRTS 16

CALL FOR PAPERS ECRTS 16
Submission deadline:  25 February 2016 (firm deadline)
——————————————————————————-

28th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
Toulouse, France, 5-8th July 2016

Organized by the Euromicro Technical Committee on Real-Time Systems

Conference web site: ecrts16.ecrts.org
——————————————————————————-

THEME AND TOPICS OF INTEREST

ECRTS is the premier European venue for presenting research into the
broad area
of real-time and embedded systems.  Along with RTSS and RTAS, ECRTS ranks as
one of the top three international conferences on real-time systems.
Papers on
all aspects of real-time systems are welcome. These include, but are not
limited
to:

APPLICATIONS: consumer electronics & multimedia; process & industrial
control;
smart infrastructure; healthcare; aerospace; automotive; telecommunications;
cyber-physical systems.

INFRASTRUCTURE AND HARDWARE: communication networks; embedded devices;
hardware/software co-design; power-aware & other resource-constrained
techniques; multi/many-core architectures for real-time & safety; time
synchronization; wireless sensor networks.

SOFTWARE TECHNOLOGIES: middleware; operating systems; runtime environments;
virtualization and temporal isolation; software architecture; programming
language & compiler support; component-based approaches.

SYSTEM DESIGN AND ANALYSIS: modelling and formal methods; probabilistic
analysis; quality of service support; reliability, security and
survivability;
mixed-criticality systems; scheduling and schedulability analysis;
worst-case
execution time analysis; validation and verification techniques.

SUBMISSION OF PAPERS

Full papers must be submitted electronically through our web form in a pdf
format.  Details on submission format and constraints will be announced
shortly. Note that the submission deadline is a firm deadline and will
not be
extended.  A selection of the best papers will receive outstanding paper
awards, and will be highlighted as such in the conference proceedings. These
papers will form the shortlist for a best paper award, which will be
presented
at the conference. At ECRTS’16, we aim to be more inclusive and thus
accept a
larger number of high quality papers than in recent years.

CONFERENCE HIGHLIGHTS

Following a successful tradition at ECRTS there will be a number of
successful
Satellite Workshops including: OSPERT-Operating Systems Platforms for
Embedded
Real-Time applications, WCET-Worst-Case Execution Time analysis,
WATERS-Workshop on Analysis Tools and methodologies for Embedded and
Real-time
Systems, and RTSOPS-Real-Time Scheduling Open Problems Seminar. A special
session will provide a platform for presenting and revisiting Industrial
Challenges, issuing Call for Actions, and presentation of Work in Progress.
Separate Calls for Contributions will be issued later for these. Please
visit
the website at ecrts16.ecrts.org for details.

——————————————————————————-
Submission deadline:  25 February 2016 (firm deadline)
Workshops:  5 July 2016
Conference:  6-8 July 2016

——————————————————————————-
ORGANIZERS

PROGRAM CHAIR
Nathan Fisher
Wayne State University, Detroit, USA
fishern@wayne.edu

GENERAL CHAIR
Christian Fraboul
IRIT-ENSEEIHT, Toulouse, France
christian.fraboul@enseeiht.fr

REAL-TIME TECHNICAL
COMMITTEE CHAIR
Gerhard Fohler
TU Kaiserslautern, Germany
fohler@eit.uni-kl.de

——————————————————————————-
PROGRAM COMMITTEE

Tarek Abdelzaher, University of Illinois at Urbana-Champaign (USA)
Benny Akesson, CISTER/INESC-TEC, ISEP (Portugal)
Sebastian Altmeyer, University of Luxembourg (Luxembourg)
James H. Anderson, The University of North Carolina at Chapel Hill (USA)
Sanjoy Baruah, The University of North Carolina at Chapel Hill (USA)
Marko Bertogna, University of Modena (Italy)
Konstantinos Bletsas, CISTER/INESC-TEC, ISEP (Portugal)
Vincenzo Bonifaci, IASI-CNR (Italy)
Tam Chantem, Utah State University (USA)
Robert I. Davis, University of York (UK) & INRIA-Paris (France)
Jean-Dominique Decontignie, EPFL/CSEM (Switzerland)
Marco Di Natale, Scuola Superiore S. Anna (Italy)
Rolf Ernst, TU Braunschweig (Germany)
Gerhard Fohler, TU Kaiserslautern (Germany)
Sathish Gopalakrishnan, The University of British Columbia (Canada)
Nan Guan, Hong Kong Polytechnic University (Hong Kong SAR, China)
Song Han, University of Connecticut (USA)
Arne Hamann, Robert Bosch GmbH (Germany)
Leandro Soares Indrusiak, University of York (UK)
Jinkyu Lee, Sungkyunkwan University, (Korea)
George Lima, Federal University of Bahia (Brazil)
Cong Liu, University of Texas – Dallas (USA)
Martina Maggio, Lund University (Sweden)
Julio Luis Medina, University of Cantabria (Spain)
Claire Pagetti, ONERA (France)
Rodolfo Pellizzoni, University of Waterloo (Canada)
Linh Thi Xuan Phan, University of Pennsylvania (USA)
Isabelle Puaut, University of Rennes I / IRISA (France)
Peter Puschner, Vienna University of Technology (Austria)
Sophie Quinton, INRIA-Grenoble Rhone-Alpes (France)
Christine Rochange, IRIT, University of Toulouse (France)
Wilfried Stiener, TTTech (Austria)
Lothar Thiele, Swiss Federal Institute of Technology Zurich (Switzerland)
Marcus Volp, University of Luxembourg (Luxembourg)

8th Workshop on Rapid Simulation

!!! DEADLINE EXTENDED: Nov. 8 !!!
CALL FOR PAPERS
8th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools –
in Prague, Czech Republic, 18 January, 2016
Held in conjunction with the HiPEAC Conference  (http://www.hipeac.net/conference)
Confirmed Keynote Speakers: 
– Khaled Benkrid, ARM
– Jurgen Teich, University of Erlangen-Nuremberg
– Tim Kogel, Synopsys
=====================================================================

 

Goal of the Workshop :
The focus of the RAPIDO workshop is on methods and tools for rapid simulation and performance evaluation in embedded and high performance system design. Given continuous advances in chip technology, it is to be expected that future-generation processors will integrate numerous units on a single die, including multiple (heterogeneous) processor cores, multiple levels of (shared/private) caches or memories, and dedicated accelerators, which will be glued together through a network on-chip (NoC).
The design space is huge though and several design metrics should be considered as well for selecting the optimal system configuration. Despite several years of research, the early stage design phase still requires to be supported by innovative design methodologies and tools for simulation, exploartion and performance evaluation. RAPIDO seeks for original research papers that face this challenge for embedded and high performance computing systems.

 

Topics of interest :
Topics of interest include, but are not limited to:
  • Rapid simulation techniques targeted at novel architectures: Multi-cores, 3D-architectures, FPGA based heterogeneous Multi-cores/MPSoC, …
  • Variability and power/energy consumption in performance estimation and simulation techniques.
  • High-level abstraction modeling, e.g., Transactional Level Modeling (TLM), Analytical Modeling, Trace-Driven Simulation …
  • Design space exploration (DSE) for heterogeneous high-performance and embedded systems.
  • Dynamic binary translation for fast simulation and DSE
  • Experience reports using existing simulators and tools
  • Benchmarking and simulator validation
  • Early stage prototype of innovative architectures
Important dates:
Submission deadline: Nov 8, 2015 (!!!EXTENDED!!!)
Notification to authors: Nov 24, 2015
Final version of accepted papers: Dec 3, 2015

 

Paper submission :
Electronic paper submission requires a full paper, up to 6 double-column ACM format pages, including figures and references. Up to 2 extra-pages can be requested for free to the organizing commettee (gianluca dot palermo at polimi dot it). Please use the following template when preparing your manuscript: http://www.acm.org/sigs/publications/proceedings-templates
The paper submission will be conducted using the EasyChair conference manager. Papers should be submitted in PDF format. You will find the submission site at:  https://easychair.org/conferences/?conf=rapido16

 

Accepted papers will be published in the ACM digital library.

 

Organizers:
Gianluca Palermo, Politecnico di Milano
Daniel Gracia Pérez, Thales Research and Technology France
Morteza Biglari-Abhari, University of Auckland
Smail Niar, University of Valenciennes
Daniel Chillet, Université de Rennes 1
Adam Morawiec, ECSI, France