MMB 2006 will be associated with two workshops in parallel tracks allowing for an exchange of ideas between different but related research communities.
The two associated workshops are:
- ITG FA 6.2 Workshop on Model-Based Testing
In recent years testing techniques have lost their negative image of being vague and not provable compared to verification and model-checking approaches. The reason for that is a more and more mature technology, which is often based on profound modeling and specification techniques. However, the growing size of new applications for pervasive computing, web-based eCommerce, embedded system technologies and the demands for shorter time-to-market mean that many issues still remain open, and a combination of model-based and specification-driven testing techniques can help us to address them.
more...
- GI/ITG Workshop on Non-Functional Properties of Embedded Systems
Non-functional properties are of fundamental relevance for realtime embedded systems software and imply a number of design decisions. Typical cases are, e.g, synchronization, protection, isolation, sharing, interaction, energy, timeliness, and dependability. As cross-cutting concerns of the entire software system, non-functional properties may have serious drawbacks on software maintenance in general and component reuse in particular. Current research focuses on how to express, model, unitize, and enforce non-functional properties and to keep them logically separated from the (functional) component code.
more...
