posted by user: mpstew || 6005 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

HLLMICDT 2025   Harnessing Large Language Models for Innovations in Cancer Diagnosis and Treatment
ICCUE 2025   2025 12th International Conference on Civil and Urban Engineering (ICCUE 2025)
MODELSWARD 2026   14th International Conference on Model-Based Software and Systems Engineering
ICESR 2025   2025 11th International Conference on Environmental Systems Research (ICESR 2025)
OMMM 2025   Second CFP - Interdisciplinary Workshop on Observations of Misunderstood, Misguided and Malicious Use of Language Models
ICBSTS 2025   2025 6th International Conference on Building Science, Technology and Sustainability (ICBSTS 2025)
MoDIoT 2025   MoDIoT 2025 - 1st International Workshop on Model-Based Development for the IoT
ICAMC 2025   2025 11th International Conference on Architecture, Materials and Construction (ICAMC 2025)
LOPSTR 2025   Logic-based Program Synthesis and Transformation
NEESS 2025   2025 International Conference on New Energy and Energy Storage Systems