活动简介
The development of systems (software and hardware) in the industrial domain needs to address the requirements of trustworthy high quality systems, their integration into existing larger systems as well as the enhancement of and development with legacy systems. Such technical systems range from small embedded devices up to PC-class systems, and their specific requirements regarding software development have to be aligned with the need to ensure the quality of the system (e.g., availability, safety, trustworthiness at large) over many development iterations and thus, over a long period of time.
Current development methods/processes with their technologies and accompanying tools do not yet fully support long-living technical systems. There are still gaps in the different development phases as well as the lifecycle of the above mentioned systems. The traceability information starting with the requirements up to the last phase of the system lifecycle needs to be enhanced to reach to better assessments/estimations of the quality of long living technical systems. The implications of the software architecture with its architectural elements on long-living systems have a big potential to lead to improved lifecycle predictability.
征稿信息
征稿范围
Any submission whose content is relevant to the area of resource-aware system design 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
全部留言
重要日期
-
会议日期
06月10日
2016
至06月14日
2016
-
06月14日 2016
注册截止日期
联系方式
- Paul Pettersson
- pa******@mdh.se
留言