IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design (MoBE-RTES 2010, in conjunction with IEEE ISORC Symposium)
Carmona (close to Sevilla), Spain, May 4th, 2010
Abstract: Model-Based Engineering (MBE) is evolving into a fully-fledged engineering discipline, with well-established standards, industrial-strength tools, and emerging theoretical foundations. Models are being used to specify the artifacts, structure, and behavior of complex and mission-critical systems in various domains. MBE provides the ability to, design, analyze, validate, and implement such systems using much higher levels of abstraction and computer-based automation than traditional approaches to software development. One of the most challenging domains for which MBE is a natural fit is the development of Real-time and Embedded Systems (RTES). The focus of this workshop is identifying the critical challenges in the RTES domain and how MBE techniques and standards can be used to overcome them.
Short minutes: (Statistics: 8 submitted papers, 7 accepted papers and more than 20 participants). We have had very high quality submissions. Authors have discussed the use of MARTE with respect to safety analyses and to the architectural specification of systems. Some authors achieved the same result even if they adopted a different methodology: MARTE could improve a model-based safety analyses – thus integrating safety analyses in a model-engineering approach. Feedback by participants, authors and conference organizations has been positive.
First workshop on Distributed Architecture modeling for Novel Component based Embeded system (DANCE'2010). Tauzer, Tunisia, Mai 30th, 2010
Abstract: Distributed systems research covers a wide spectrum of applications ranging across embedded real/time systems, commercial transaction systems, transportation systems, and military/space systems. Such systems are subject to some paradigms including coordination due to the absence of centralization, and too much uncertainly result of hardware of software behaviors, heterogeneity and son forth. Indeed, such systems raise several issues not found in single processor systems. The main difficulty arises when considering dependability, security, adaptability and resources constrained computing. This area requires computing systems to run software in an efficient and trustworthy way. That is, in order to be able to design complex architectures in reasonable time, novel and effective design methodologies are needed to automatically build applications from high-level descriptions to take into account what needs to be deployed on hardware. To remedy this weakness, combining both model and component seems to be a very promising cocktail for building solutions to this problem.