活动简介

The aim of this workshop is to discuss and advance the state-of-the-art, research and development in the area of resource-aware systems, and to promote the study of both fundamental and practical aspects of component-based design of such systems. The workshop addresses researchers from different disciplines in academia and industry, as well as practitioners, who share interests in resource-aware system design. The focus is on techniques and experiences drawn from current component-based design practice, as well as on emergent topics.

征稿信息

重要日期

2017-05-14
摘要截稿日期

征稿范围

Any submission whose content is relevant to the area of resource-aware system design and long-lived systems will be considered, but any submission whose subject matter is related to one of the following topics will be particularly welcome:

Modeling and Specifying Resource-aware Systems

  • models for software components and component interaction: real-time, safety-critical, embedded, or mobile systems
  • specification of extra-functional properties of components
  • resource models
  • componentization of legacy code
  • certification of components and software architectures
  • architecture description languages for resource-aware systems
  • service-oriented architectures

Analysis Techniques

  • formal techniques for verification and validation of component software: model-checking, abstraction, code synthesis, model-based testing, monitoring, debugging, model extraction
  • static analysis techniques
  • compositional theories of refinement
  • resource-usage impact on quality of service (QoS) attributes

Platform-aware Design

  • run-time mechanisms and middleware
  • scheduling and resource management
  • component-driven hardware-software co-design

Tools and Case-studies

  • applications, experience reports and case studies in component software
  • tools for resource-constrained system development

Experience reports with long-living technical systems out of different domains
Model-Driven Development for long-living systems
Product Lines Architectures, Software Architectures for long-living systems
Testing of Long-Living Systems
Evaluation and Analysis of Software Architectures
Adaptable, Evolvable Software and Hardware Architectures, Execution Models and Runtime Platforms
Development Methods, Processes and Tools for Long-living Systems
(Heterogeneous) Networking Environments
Coupling of Devices and Enterprise Applications

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    07月04日

    2017

    07月08日

    2017

  • 05月14日 2017

    摘要截稿日期

  • 07月08日 2017

    注册截止日期

主办单位
IEEE Computer Society
联系方式
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询