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

MODELSWARD 2025   13th International Conference on Model-Based Software and Systems Engineering
AICiViL 2024   2nd International Conference on AI & Civil Engineering
LLM-Finance 2024   The IEEE International Workshop on Large Language Models for Finance
IJBBR 2024   International Journal of BRIC Business Research
ECMFA 2025   21st European Conference on Modelling Foundations and Applications
AICiViL 2024   2nd International Conference on AI & Civil Engineering
CAV 2025   37th International Conference on Computer Aided Verification
ACM SAC DBDM Track 2025   CFP: ACM SAC DBDM Track
LOPSTR 2024   LOPSTR 2024 -- Deadline extended to May 19th
DataMod 2024   12th International Symposium DataMod 2024: From Data to Models and Back