26 August 2016
Domain Specific Modeling - Theory and Practice
Over the last decades, the complexity of systems we study and design (such as Cyber-Physical Systems) has grown exponentially. To manage this complexity, industry and academia now explicitly model different aspects of the structure and behaviour of systems, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s).
Dedicated modelling formalisms, also known as Domain Specific Languages, are used increasingly to maximally constrain the modeller to the problem at hand, reducing the cognitive gap and enabling optimal, domain specific, model manipulations such as application synthesis. In particular for product families, using generative (transformation) techniques, numerous success stories are reported in industry.
Model Based Systems Engineering in general, and Domain Specific Modeling in particular have proven useful in a wide range of application domains: Interactive Systems, Real-Time Systems, Web 2.0 design, Business Architecture, Modern Computer Games, Industrial Automation, Hardware and Software Co-design, Mechatronics, Business Process Modeling, Requirements Engineering, and Process Design, etc.
Hand in hand with these industrial successes, academia have been developing foundations, systematic approaches, techniques, tools, frameworks and processes to turn Model Based Systems Engineering into a true engineering discipline. This builds on existing work in language semantics, simulation, model checking, and model-based testing.
Given the plethora of scattered developments (theories, techniques and tools) in this exciting field, practitioners as well as students and researchers lack an integrated vision of the model based systems engineering domain. This includes insight into the limitations of domain-specific modeling such as limited support for version control, language evolution and debugging. This in contrast with the ample support for these features in general purpose (programming) languages.
DSM-TP 2016 is hosted by the Software Modeling and Verification Group (Genève, Switzerland) (SMV) at the Université de Genève, Switzerland. The Summer School is organized in close collaboration with the Modelling, Simulation and Design lab (Antwerp, Belgi
This sixth International Summer School on Domain Specific Modeling - Theory and Practice is aimed at researchers, teachers, practitioners, and students (typically PhD. level) who intend to study or work with Domain Specific Modeling.
The purpose is to learn about foundations as well as best practices in a friendly and stimulating environment. There will be ample opportunities to discuss with other participants and with the lecturers. These lecturers are experienced and active professionals, leaders in their field, whose academic and industrial background covers the broad range of topics of the School.
A certificate of attendance will be provided (participation in all sessions is required).
Upon request, students can be formally evaluated (including assignments to be submitted after the Summer School) and may earn the equivalent of 3 ECTS credits (valued at +-90 hours of time, including an examination).
The conditions are the following:
Attend the summer school (+- 40 hours), and submit the daily quizzes.
Submit of all additional assignments for ECTS accreditation (+- 50 hours) in a time span of the following semester.
Pass the defense of your assignments over conference call.
Important note: in order to get these credits accredited, your university has to accept them (These will need to be approved by your university (do contact your local Erasmus coordinator for information about the procedure to follow). At request, we will provide the necessary information for your university.
EUR 500: Online through Mobility Online. Open from April onwards. The application deadline for early registration is 31 July, the application deadline for late registration is 9 August 2016.
Registration is now OPEN! Please use the registration link.
5 full days of attendance to the Summer School
Breakfast, Lunch, and Coffee breaks on Summer School days
Social event: visit to CERN on the 24th August at 16:00: There will take place an afternoon visit to CERN to meet the place where we can find the most powerful particle accelerators with the most complex scientific instruments to study the the basic constituents of matter. This will be an opportunity to meet the organization that puts together physicists and engineers to probe the fundamental structure of the Universe. Besides it is also the place where the Web was born (see the NeXTcube that Tim Berners-Lee used for his first web server).
Social event: a cruise on the lake with a dinner on board
Moreover, it is possible (and you are encouraged) to present a scientific poster on your research topic.
The registration fee is:
early registration (until 31 July) EUR 500 EUR 700
late registration (until 9 August) EUR 600 EUR 800
A cancellation fee of EUR 50 will be held if the registration is cancelled before the early registration deadline to cover administrative costs. After the registration deadline EUR 100 will be kept.
Make sure that you book your flight and hotel early! The University offers some rooms (not included in the price): 300 EUR for accomodation at Cité Université, with easy access to DSM-TP venue by bus. Please go here for more information.
EUR 600: late registration (until 9 August) EUR 600 EUR 800