Sponsors

PragmaDev TUKL_LOGO_FELD_LINKS_4C
logo-82dd7098a95178e255b6b9649048447a logo_hu logo-SDL_Shadow_162x84

Conference Artifacts

Slides and photographs of the conference are available here.

If you have any artifacts (slides,links,photographs) that you like to share with the other participants please send them to markus.scheidgen@gmail.com or share a dropbox folder with him.

Proceedings

The proceedings are now online LNCS 9369

General Information

The SDL Forum is held every 2 years and is one of the most important open events in the calendar for anyone from industry and academia involved in System Design Languages and modelling technologies. It is a primary conference for discussion of the evolution and use of these languages. The most recent innovations, trends, experiences and concerns in the field are discussed and presented. System and software modelling, specification, and analysis of distributed systems, embedded systems, communication systems, and real-time systems are addressed.

The SDL Forum Society that runs the Forum is a non-profit organization established by language users and tool providers to promote the Specification and Description Language (SDL), Message Sequence Charts (MSC) and related System Design Languages (including but not limited to UML, ASN.1, TTCN, SysML, URN, MOF, XSD, RDF, Modellica, and 3DCIM), to provide and disseminate information on the development and use of the languages, to support education on the languages and to plan and organize the “SDL Forum” series and events to promote the languages.

Model-Driven Engineering in the Focus of Smart Cities.

In the future smart city, new information and communication technologies (ICT) will be integrated in more and more buildings, streets and institutions. The challenge will be to allow all citizens a seamless access to relevant information, to sustainably and economically use the available resources, to master the growing claims of networked mobility infrastructures and to organize a modern, citizen-friendly administration.

Modelling the structure and behavior of those kinds of complex systems of different domains (like traffic management, energy supply, urban development, etc.) with the target of analyzing and controlling them in their combination requires adequate description, computation, testing, and general software techniques to place ICT successfully.

Thus, the use of models serves no end in itself but should ideally allow for automatic derivation of complex control software out of models which have been evaluated and improved by applying these techniques. In addition practical problems of performance, scalability, robustness, and security of such systems come into the focus of interest immediately.

Models in the Smart City area which combine IT domain with other ones have to be naturally raised in an interdisciplinary way. In particular, the development of domain-specific modeling languages ​​provides interesting challenges here.

Topics

  • Model-based Development of Smart City Systems and Services: model-based development of sensor data processing, processing of heterogenous data, open data, location-based services, city models, disaster management and simulation, e-mobility, smart traffic, smart metering, internet of things, M2M, ubiquitous computing, etc.
  • Industrial application reports: industrial usage reports, standardization activities, tool support and frameworks, domain-specific applicability (such as telecommunications, aerospace, automotive, control, etc.). Such reports should focus on what is effective (and ineffective) in applying a technique preferably backed up by some measurements. A report should not just describe an implementation, though new application areas are of interest.
  • System engineering models: semantics of system models, refinement of system designs into hardware/software implementations, integration of system and software design models, non-functional aspects (such as performance, quality of service, real-time aspects, security, etc.) in system models, multi-core models.
  • Model-driven development: analysis and transformation of models, reuse approaches, verification and validation of models, systematic testing based on and applied to models.
  • Evolution of development languages: domain-specific language profiles especially for dependability, modular language design, language extensions, semantics and evaluation, methodology for application.

Important Dates

abstracts deadline Mon 25th May 2015
abstract and paper deadline Mon 1st Jun 2015 Mon 15th Jun 2015
notification of acceptance Mon 29th Jun 2015 Mon 6th Jul 2015
camera-ready deadline Mon 20th Jul 2015
early bird registration Mon 14th Sep 2015
conference Mon 12th Oct 2015 – Wed 14th Oct. 2015

Call for Papers as downloadable PDF.