posted by user: mpstew || 6827 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
ICDSDI 2026   2026 3rd International Conference on Digital Systems and Design Innovation
Tokyo CFP-RCVE 2026   2026 4th International Conference on Robotics, Control and Vision Engineering
ICCUE 2026   2026 13th International Conference on Civil and Urban Engineering (ICCUE 2026)
Tokyo-RSAI 2026   2026 International Conference on Robotic Systems and Artificial Intelligence (RSAI 2026)
ICBMM 2026   2026 The 10th International Conference on Building Materials and Materials Engineering (ICBMM 2026)--SCIE
JLSA CFP 2026   Call for Papers – Journal of Law, Society and Authority (Vol. 15, Issue 2, September 2026)
ICEEA 2026   2026 16th International Conference on Environmental Engineering and Applications (ICEEA 2026)
CFP Fashion Highlight n.8 2026   CFP Fashion Highlight Issue 8 : DIGITAL DESIGN & BEYOND: RETHINKING CRITICAL DIGITAL FASHION TRAJECTORIES
[CfP] SMARTCOMP PhD Forum 2026   IEEE SmartComp 2026 PhD Forum Call for Contributions