2017年IEEE国际嵌入式系统设计工业经验研讨会 IEEE International COMPSAC Workshop on Industrial Experience in Embedded System Design

活动简介

Autonomous systems in the industrial domain are facing a continuously growing importance. The systems range from differently sized embedded devices up to server computers. The integration of such systems into a complex system-of-systems, the defined interaction of these systems with their environment as well as with other autonomous systems are important questions in the design and development of large industrial systems.

Current high end computing platforms enable more functionality to be placed in an autonomous embedded system. In addition, connectivity is enabled by different and very affordable communication modules. Thus, more and more embedded systems are counted among systems in the internet-of-things domain. Such systems gather and deliver many different data elements which in the end are forming a huge data stream. Such massive data amounts need to be addressed with big data tools and methods.

The additional complexity of industrial systems composed of the above mentioned smaller modules is a new challenge in the Industry 4.0 arena. Adapted software development methods/processes with their technologies and accompanying tools need to be analyzed. In addition, the models of such systems, on a higher structural level, need to be adapted and further developed as well. Especially their integration towards simulation models for a complete system test are needed to predict any errors early in the development cycle.

征稿信息

征稿范围

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