posted by user: mpstew || 6548 views || tracked by 10 users: [display]

ACES-MB 2012 : CfP MoDELS 2012 Workshop on Model Based Architecting and Construction of Embedded Systems

FacebookTwitterLinkedInGoogle

Link: http://www.easychair.org/conferences/?conf=acesmb12
 
When Sep 30, 2012 - Sep 30, 2012
Where Innsbruck, Austria
Submission Deadline Jul 26, 2012
Notification Due Sep 3, 2012
Categories    architecture   verification   languages   model-driven development
 

Call For Papers

In conjunction with ACM/IEEE 14th International Conference on Model Driven
Engineering Languages and Systems - MoDELS 2012.

The development of embedded systems with real-time and other critical constraints raises distinctive problems. In particular, development teams have to make very specific architectural choices and handle key non-functional constraints related to, for example, real-time deadlines and to platform parameters like energy consumption or
memory footprint. The last few years have seen an increased interest in using model-based engineering (MBE)techniques to capture dedicated architectural and non-functional information in precise (and even formal) domain-specific models in a layered construction of systems. MBE techniques are interesting and promising for the following reasons: They allow to capture dedicated architectural and non-functional information in precise (and even formal) domain-specific models, and they support a layered construction of systems, in which the (platform independent) functional aspects are kept separate from architectural and non-functional (platform specific) aspects, where the final system is obtained by combining these aspects later using model
transformations.

The objective of this workshop is to bring together researchers and practitioners interested in model-based engineering to explore the frontiers of architecting and construction of embedded systems. We are seeking contributions relating to this subject at different levels, from modelling languages and semantics to concrete application experiments, from model analysis techniques to model-based implementation and deployment. Given the criticality of the application domain, we particularly focus on model-based approaches yielding efficient and provably correct designs. Concerning models and languages, we welcome contributions presenting novel modelling approaches as well as contributions evaluating existing ones.

Related Resources

CFP-CIPCV-EI/SCOPUS 2026   The 2026 4th International Conference on Intelligent Perception and Computer Vision
IJCTCM 2026   International Journal of Control Theory and Computer Modelling
Tokyo-RSAI 2026   2026 International Conference on Robotic Systems and Artificial Intelligence (RSAI 2026)
MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
Tokyo CFP-RCVE 2026   2026 4th International Conference on Robotics, Control and Vision Engineering
CEAC 2026   Springer--2026 The 6th International Civil Engineering and Architecture Conference (CEAC 2026)
CFP_DIAGRAMS 2026   First Call For Papers | DIAGRAMS 2026
ICBMC 2026   2026 11th International Conference on Building Materials and Construction (ICBMC 2026)
CfP_Kinship Conference 2026   CfP: Kinship Structures, Dynamics, and Inequalities
Artnodes. CFP Un-disciplinary 2026   Artnodes Journal. Node 39. Un-disciplinary