ACESMB 2013 - International Workshop on Model Based Architecting and Construction of Embedded Systems

The design of embedded systems with real-time and critical constraints raises distinctive problems. On the high-level engineering side, after many actors in the industry, working on complex, distributed, embedded systems, identified the software crisis to be often rooted in a system crisis, model-based system engineering is becoming the norm in the industry. The formalization of system engineering models and approaches is considered to be a major factor for further gains in productivity, quality and time-to-market for embedded systems. On the low-level design side, specific architectural choices have to be made as early as possible and non-functional constraints such as real-time deadlines must be handled. Model-based engineering techniques (1) provide means to capture this architectural and non-functional information using domain-specific models, and (2) separate functional aspects (platform independent) from architectural and non-functional aspects (platform specific). These aspects are combined later via model transformations but managing the feature interactions among the functional and non-functional aspects remains a key issue.
This full-day workshop is an opportunity to share and discuss advances and current research on model-based techniques that contribute to better architecting and construction of embedded and cyber-physical systems. Model-based approaches yielding efficient and provably correct designs will be emphasized