MBDEFP 2011 - Workshop on Model-Based Design with a Focus on Extra-Functional Properties

In the last decade there has been a rapid growth of embedded electronic controls for safety-critical applications in avionics, automotives, industrial automation, medical instrumentation, power generation etc. The size and complexity of these systems are growing exponentially. Model-based design has proved a viable approach to develop quality hardware and software for such large systems. Current state-of-the-art model-driven development tools focus predominantly on functional behavior. However, many different extra-functional properties, such as resource constraints, safety and Quality-of-Service issues, energy efficiency, etc. must be taken into account. The developer has to ensure that the generated code complies with the requirements concerning these extra-functional properties. This workshop aims to discuss recent results of integrating extra-functional properties into model-driven development tools. The workshop covers fundamental results, their application in methods and tools as well as concrete implementations and use cases.

http://www.fortiss.org/company/events/mbdefp-2011....