posted by user: mpstew || 7752 views || tracked by 25 users: [display]

ACES 2010 : 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems

FacebookTwitterLinkedInGoogle

Link: http://www.evolve-itea.org/public/publications/2010-MoDELS_ACES-MB_CfP.pdf
 
When Oct 3, 2010 - Oct 5, 2010
Where Oslo, Norway
Submission Deadline Jul 15, 2010
Notification Due Aug 24, 2010
Categories    embedded systems   real-time   architecture   verification
 

Call For Papers

In conjunction with MoDELS 2010, Oslo, Norway--

Objective

The objective of this workshop is to bring together researchers and practitioners interested in model-based engineeringto 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 applicationexperiments, 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. We target in particular:

− Architecture description languages (ADLs). Architecture models are crucial elements in system and software development, as they capture the earliest decisions which have a huge impact on the realisation of the(non-functional) requirements, the remaining development of the system or software, and its deployment.

We are particularly interested in examining:
􀂃 Position of ADLs in an MBE approach;
􀂃 Relations between architecture models and other types of models used during requirement engineering
(e.g., SysML, EAST-ADL, AADL), design (e.g., UML), etc.;
􀂃 Techniques for deriving architecture models from requirements, and deriving high-level design models from architecture models;
􀂃 Verification and early validation using architecture models.
− Domain specific design and implementation languages. To achieve the high confidence levels required for critical embedded systems through analytical methods, in practice languages with particularly well-behaved semantics are often used, such as synchronous languages and models (Lustre/SCADE, Signal/Polychrony, Esterel), super-synchronous models (TTA, Giotto), scheduling-friendly models (HRT-UML, Ada Ravenscar), or the like. We are interested in examining the model-oriented counterparts of such languages, together with the related analysis and development methods.
− Languages for capturing non-functional constraints (MARTE, AADL, OMEGA, etc.)
− Component languages and system description languages (SysML, MARTE, EAST-ADL, AADL, BIP, FRACTAL, Ptolemy, etc.).

Related Resources

MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
CyPhy 2019   Model-Based Design of Cyber Physical Systems
CTCM 2019   5th International Conference of Control Theory and Computer Modelling
ModComp 2019   6th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2019
EI RACE 2020   2020 Asia-Pacific Conference on Robotics, Automation and Communication Engineering (RACE 2020)
DMAP 2019   5th International Conference on Data Mining and Applications
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
IEEE ICET--Ei & Scopus 2020   2020 IEEE The 3rd International Conference on Electronics Technology (IEEE ICET 2020)--Ei Compendex & Scopus
ME 2019   Models and Evolution Workshop